gcd(80, n) > gcd(50, n) でうるう年が分かるらしい そもそもうるう年とは？ Java Haskell 最大公約数ってなんだっけ？ なんとなく2000年代の周りを調べてみる さあ証明の時間だ nが400である倍数のとき nが400の倍数ではないが、100の倍数であるとき nが100…