Apple、Google、Microsoft、MozillaがWebブラウザ拡張機能改善グループ結成 - ITmedia NEWS
https://www.itmedia.co.jp/news/spv/2106/07/news064.html
よくわかんないけどたぶんこの 閏年を論理演算を使わずに判定するやつは、一般的な(?)数式では書けないっぽい?><
https://mstdn.nere9.help/@orange_in_space/103587434690012918
つまり、"「素数に一般項はない!」"という誤った主張をひっくり返すのに、『n番目の素数を返すコンピュータープログラム』がひとつでもあればそれでひっくり返せるのか、それとも一般項って言葉ってなんかもっと難しい意味があるのか?><;