うっかりチューリング完全になっちゃったもの
Accidentally Turing-Complete ― Andreas Zwinkau 本来なら、チューリング完全となるべきではなかったものがある。これは、そのようなうっかりチューリング完全になってしまったものの例である。 C++テンプレート 当初はチューリング完全を目指していなかったが、C++テンプレートはチューリング完全になってしまった。その証明は、この論文にある（PDF） x86 MMU x86のpage fault handlingは、単純なマシンの実装に使える。原理としては、page faultが1 wordをスタックに積み、それによりアンダーフローを起こして別のトラップを生成する。この仕組みは、「減算して0以下ならば分岐」処理を実現する。チューリングマシンを実装するには十分である。デモ動画、講演動画 マジック・ザ・ギャザリング マジック・ザ・ギャザリングはカードゲームであ
「諦めずにやり続ける」と「すっぱりやめる」は隣り合わせにある【寄稿コラム】
ferret編集長の飯髙です。 一般的には、諦めずやり続けることが正しいとみなされ、賞賛されるケースが多い。ただ、果たしてそれは正しいのだろうかという疑問がある。 本当に重要なのは、諦めずにやり続けたことが評価されている訳ではないということである。 そうでなければ「あの時辛かったけどやり続けて今がある」という言葉にはならない。それは今がうまくいっているからこそ言える言葉だ。 その人が本当に、勝算もなく、ただ必死にやったから結果になったのか、といえばそれは稀なことだろう。自分がやっていることに対し、その人は疑問がない状態にするまで、しっかりと思考を巡らせ、解無き解に対して問い続けているにちがいない。 「継続」は結果を求め続けているからこそ可能なのだ。 だからこそ、「やり続けて今がある」という言葉を鵜呑みにして、「やっぱりやり続けることが正しい」と何も考えずに続けてしまうことには疑問を持たざる
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
