タグ

2013年10月20日のブックマーク (2件)

  • うっかりチューリング完全になっちゃったもの

    Accidentally Turing-Complete ― Andreas Zwinkau 来なら、チューリング完全となるべきではなかったものがある。これは、そのようなうっかりチューリング完全になってしまったものの例である。 C++テンプレート 当初はチューリング完全を目指していなかったが、C++テンプレートはチューリング完全になってしまった。その証明は、この論文にある(PDF) x86 MMU x86のpage fault handlingは、単純なマシンの実装に使える。原理としては、page faultが1 wordをスタックに積み、それによりアンダーフローを起こして別のトラップを生成する。この仕組みは、「減算して0以下ならば分岐」処理を実現する。チューリングマシンを実装するには十分である。デモ動画、講演動画 マジック・ザ・ギャザリング マジック・ザ・ギャザリングはカードゲームであ

  • 【考察】クリエイターにお金を払えないのが当たり前の自治体が存在する理由

    ※コメは閉じました http://togetter.com/li/578484 にたいする反応としてまとめました。 【個人の感想】 ・民主党とかオンブズマンとか悪者になってるけど、結局国民の中にそういう論理があるんだよね・・・ ・あと相場を作っても(例えば建設物価に価格を載せるとか)入札でダンピングを強制されてしまう。あるいはボランティアでタダでヤレとか言われる。 続きを読む

    【考察】クリエイターにお金を払えないのが当たり前の自治体が存在する理由
    Hoo
    Hoo 2013/10/20