AIアラインメント税(参:…

jrf> AIアラインメント税(参: [cocolog:96128710](2026年8月)・[cocolog:96108909](2026年8月)の秩序からすれば、最終的には計算機を差し押さえることが必要なのであり、それは究極的には軍の役目なのだ。

学会が真実の探求を止める権限を持つとは、短絡すれば、学会が直に軍に命令できるのを許すようなものだ。そうあってはならない。あくまで、軍を動かすのは政府の役割でないといけない。学会は政府の諮問機関に留まるべきなのだ。

だからおそらく Lean のライブラリへの登録などを学会に直接禁じられるようにさせるというのは方向が違う。ライブラリへのブロックを民間が・国家ができることのほうがきっと大事なのだと思う。学会はライブラリの階層を決めることぐらいはしてもいいのかもしれないが。