タグ

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

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

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

    ymrl
    ymrl 2013/10/20
  • '10年代のRubyコア用語集

    IRC (あいあーるしー) 「教養チャンネル」とも「衒学チャンネル」とも呼ばれる。ほとんどのタイミングで日史か中欧史か仏教史か英語史の話をしている。たまにRubyの話題になると逆に違和感が… ISeq (あいせく) RubyVM::InstructionSequence のこと。長いので誰も正式名称で呼ぼうとしない。 rubyスクリプトのいくつかある表現型の中でもっとも低レベルな表現。現在、rubyスクリプトからISeqを生成する機能は公開されているが、そのようにして生成したISeqを実行する機能はセキュリティ上の懸念から(作られてはいるが)封印されている。→ AST ID (あいでぃー) 型。rubyレベルでいうSymbolにほぼ相当するもの(ちょっとだけ違う)。objcプログラマーはこれを見てVALUEと混乱しないように。 assn (あさしん) IRCで彼らがアサシンと呼んでいるも

    '10年代のRubyコア用語集
    ymrl
    ymrl 2013/10/20
  • サービス終了のお知らせ

    サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

    ymrl
    ymrl 2013/10/20
    みりんが本みりん、普通だろ……
  • ymrl on Instagram: "焦げた"

    ymrl
    ymrl 2013/10/20
    焦げた
  • ITエンジニアの「退職しました」ブログ相次ぐ ヤフーにグリー、ミクシィも | 企業ニュース | キャリコネ 口コミ・評判の情報サイト

    ネット界隈でちょっとしたブームになっているのが、ブログで「退職しました」と報告すること。「株式会社○○を退職しました」というお決まりのタイトルで、入社から退職までの経緯を綴りながら今後の展望を語る、というものだ。 当初は幅広い職種や経歴の元社員が投稿していたが、最近では入社数年目の若手ITエンジニアの投稿が相次いでいる。 (最新記事はこちら) 勤務数か月のインターンまでもが参入 10月上旬、ヤフーに勤務していた26歳のエンジニアが「退職しました」エントリーを投稿した。2010年に新卒で入社し、メッセージングアプリなどの開発に携わっていたという。学生時代からアプリ開発をしたいと考えており、チャンスをくれた会社に感謝している。 約3年半在籍し、今後はヤフーよりも「ずっと小さい」ベンチャー企業で再びiOS開発者としてやっていくということだ。安定した職場を辞めて「様々な事に挑戦していかざるを得ない

    ITエンジニアの「退職しました」ブログ相次ぐ ヤフーにグリー、ミクシィも | 企業ニュース | キャリコネ 口コミ・評判の情報サイト
    ymrl
    ymrl 2013/10/20
    で、誰?