このブログについて AI による研究所 先日の「世界一受けたい授業」で AI で何ができるようになるかという話題がありました。AI で研究所のようなことをやるとすると、AI が実験設備を作って AI が実験をしてその結果を AI が発表するということだと思います…

プログラミング言語版不完全性定理(8) 第2不完全性定理の証明を書き直していきます。 証明関数 論理式と証明図をプログラミング言語のコードとして表すことができるシステムについて考えます。このシステムで論理式が証明できるかどうかを調べるプログラミン…

導入が難しそうと思ったのですが、「X68000の開発環境について #x68k - Qiita」を見るとやはりクロスコンパイラを使うのが良さそうです。C++ のクロスコンパイラがあるようなので、C++ に変換することを考えます。C++/CLI から .NET Framework のウィンドウ…