[B! アルゴリズム] 3命令のCPU処理で済む高速なうるう年判定アルゴリズム - Faith and Brave - C++で遊ぼう
https://b.hatena.ne.jp/entry/s/faithandbrave.hateblo.jp/entry/2026/08/21/102716
しゅごい！＞＜
これのZ3に探させるコードをC#に移植しようとしてなんもわからんになった・・・＞＜
よくわかんないけど、この数値でもできた！＞＜
gistに置いた＞＜
Z3でなんか閏年の判定を高速化するための定数を求めるやつのC#版＞＜
https://gist.github.com/orange-in-space/17561d0c3739aa288ea7e12c9f34263d
600年版＞＜