タグ

2008年7月26日のブックマーク (2件)

  • Route 477(2008-06-12)

    ■ [lisp] 純Lispは関数5つだけでどうやってチューリング完全になるのか? Wikipediaの「純Lisp」の項を見ると、5つの基関数だけでチューリング完全だよーみたいなことが書いてある。 でも実際にはcar/cdr/cons/eq/atomだけじゃ分岐も再帰もできなくね?という疑問をどっかで見て、リンクされてる論文を 見てみたりもしたけどよく分かんなかったのだけど、 id:kazu-yamamotoさん の講演資料を見てようやく分かった。 5つの関数 car cdr cons eq atom 2つの特殊形式 quote cond 関数定義の機能 lambda label (defineのこと) 要するに、condとかは特殊形式だから「5つの基関数」には入らないと(笑)。まぁそりゃそうだけどさ。 117 https://www.google.co.jp/ 48 http://

    Route 477(2008-06-12)
  • SEって、パソコン越しの会話ばっかだよね?|【Tech総研】

    SEって、直接対面で話すより、メールとかネット上の会話のほうが饒舌だよね? なんで直接、話をしないんだろう。よっぽど、パソコン越しの会話が好きなのか? 対面で話すのが苦手なのか? 今回もきたみりゅうじがぶった切ります。 し~んと静まりかえるオフィス。カタカタと響くキーボードを叩く音。一見、誰も無駄口をたたくことなく働いてるふうなのですが、実はその裏ではピュンピュンとメールが飛び交ってたりなんかして。 「○○さんって普段無口なんだけど、メールだとよくしゃべる気がするんだよね」 「○○さんって、すぐに“その件はメールで”とか言うよね。なんなのアレ」 そんなセリフ、何度か耳にした人もいるのではないでしょうか。なぜSEさんは「メールで」と言いたがるのか。前述のセリフに潜む「対人スキルが低いからパソコン越しの会話に逃げてんじゃないの」的な、そんな理由によるものなのか。はてさて、それは以降の物語をご覧