うっかりチューリング完全になっちゃったもの
Accidentally Turing-Complete ― Andreas Zwinkau 本来なら、チューリング完全となるべきではなかったものがある。これは、そのようなうっかりチューリング完全になってしまったものの例である。 C++テンプレート 当初はチューリング完全を目指していなかったが、C++テンプレートはチューリング完全になってしまった。その証明は、この論文にある（PDF） x86 MMU x86のpage fault handlingは、単純なマシンの実装に使える。原理としては、page faultが1 wordをスタックに積み、それによりアンダーフローを起こして別のトラップを生成する。この仕組みは、「減算して0以下ならば分岐」処理を実現する。チューリングマシンを実装するには十分である。デモ動画、講演動画 マジック・ザ・ギャザリング マジック・ザ・ギャザリングはカードゲームであ
情報大航海に遡る、プライバシー保護ルール作りの迷走
日経コンピュータ2013年10月17日号の特集「『Suica履歴販売』は何を誤ったのか」のあとがきでも書いたのだが、「データ分析とプライバシー」をテーマに記事を書くのは、IT記者として結構ストレスがたまる作業である。 まず、議論がややこしい。「個人情報とは何か」について、専門家の間でも確たるコンセンサスがない。そもそも、プライバシーの権利について、法学者の間で議論が定まっていない。 このテーマで取材すると、取材先の企業からは「細かい話を聞く記者だなあ」と煙たがれる。一方で、記事の中で「データ利活用とのバランスも大事」と書けば、プライバシー保護を重視する匿名諸氏からTwitterなどで罵倒を浴びる。いずれにせよ、あまりいい思いをした記憶がない。 それでもせっせと記事を書いている背景には、データ利活用とプライバシー保護のバランスについて、誰もが「ルール作りは重要」と言いながら、誰も何も決めよう
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
