2006-03-24 C++コンパイラ停止性の判定 programming language http://www.radiumsoftware.com/0603.html#060323 「仮に C++ のテンプレートがチューリング完全であるとすると,チューリングマシンの停止問題より,テンプレートのインスタンス化が有限実行時間内に完了するかどうかを判定することはできない」という話題。 停止問題がこんな形で現れるとは、なぜか非常に愉快になる話題である。