クワインとフェルマーの最終定理 - λx. x K S K ＠はてな(更新を滞るとずっと侵略されているように見えてしまうので，むりヤリ記事をひねり出すことにしました) さて，今年も 12 月 25 日が近づいてまいりました．皆さんご存知の「ク」で始まるあの日です． そう，クワイン (W. V. Quine) の命日ですね． ということで，今回はクワインの話です．プログラミングを嗜む人であれば，クワインというと， を二度書け！ を二度書け！ のような「実行すると自分自身を出力するプログラム」を思い浮かべますが， 今回はそういう話ではありません． 彼が残した短い記事を紹介します． といってもだいぶアレンジしているので，興味のある人は元の文献 *1 を読んでください． もうすぐお正月．初詣ではおみくじでその年の運勢を占ったりしますが， みくじ棒の入った筒を振って出た数字から大吉やら凶やらが書かれた紙と交換することがあります． みくじ棒を再利用できるように中から出
