[B! アルゴリズム] 3命令のCPU処理で済む高速なうるう年判定アルゴリズム - Faith and Brave - C++で遊ぼう
https://b.hatena.ne.jp/entry/s/faithandbrave.hateblo.jp/entry/2026/08/21/102716

しゅごい！＞＜

これのZ3に探させるコードをC#に移植しようとしてなんもわからんになった・・・＞＜

わかんないからGeminiさんに移植してもらったら、記事と全然違う数値になった・・・＞＜

よくわかんないけど、この数値でもできた！＞＜

試しに500年にしたらこうなった＞＜