「作れない」とペンローズは言ってますが、なんで？と言うと、ゲーデルの不完全性定理が効いてきてしまうからのようです。理解が追いついてない（つーか追いつく見込みはない…）ので適当な説明をします。不完全性定理（第一のほう）をおおざっぱに言うと、「…

サウンドデモみたいなものは「はてな好み」かなぁと思ってたんだけど今のところそうではないふうですね。自分はまだサウンドデモについては考え中だったのですけれど、kir_royalさんのエントリを見たらもうなんかこれでいいやという気がしてきた。記憶のメモ…