タグ

2009年7月19日のブックマーク (4件)

  • 【数学】球を切らずに裏返してみた【トポロジー】

    ほら、簡単でしょ? ■"Outside in" at Google Videoより転載■えらい人がトランスクリプトを見つけてくれましたhttp://bit.ly/8ny6PE 自主的に字幕付けてくれてる人もいるみたいで感謝の極みです。うp主も翻訳しますが付けてくれた字幕はそのまま使わせてもらいます ■(7/20追記):ちょ、えらい人翻訳早過ぎwww 最初の1分ちょいしかうp主は字幕付けてません。えらい人お疲れさまでしたm(__)m ■(9/6追記)えらい人の翻訳コメが流れそうなので投稿者コメントに転載しました。ほかのUp品【謎の脱出ゲーム】1 STORY 【謎の身体能力】 sm19137600 荒川修作@芸大講義「噴火し、偏在せよ!」 sm20779727

    【数学】球を切らずに裏返してみた【トポロジー】
    xoinu
    xoinu 2009/07/19
    悔しいが理解できん
  • 転置インデックスを実装しよう - mixi engineer blog

    相対性理論のボーカルが頭から離れないmikioです。熱いわっふるの声に応えて今回はTokyo Cabinetのテーブルデータベースにおける検索機能の実装について語ってみたいと思います。とても長いのですが、最後まで読んだあかつきには、自分でも全文検索エンジンを作れると思っていただければ嬉しいです。 デモ モチベーションをあげていただくために、100行のソースコードで検索UIのデモを作ってみました。Java 6の日語文書を対象としているので、「stringbuffer」とか「コンパイル」とか「倍精度浮動小数」とかそれっぽい用語で検索してみてください。 インデックスがちゃんとできていれば、たった100行で某検索エンジン風味の検索機能をあなたのデータを対象にして動かすことができます。ソースコードはこちら(テンプレートはこちら)です。 でも、今回はUIの話ではないのです。ものすごく地味に、全文検索

    転置インデックスを実装しよう - mixi engineer blog
  • クロージャとラムダ式は同義だ、と主張してみる - 檜山正幸のキマイラ飼育記 (はてなBlog)

    だいぶ前に、クロージャ(閉包)って言葉の意味がわからないと書いたことがあります(「クロージャ、それなに?」)。最近また「クロージャ」って言葉を聞いたのですが、やっぱり何を意味しているのかわかんなくて(詮索する余裕もなくて)落ち着かない気分になりました。これはどうも精神衛生上よくない。 「クロージャ」と「ラムダ式」はまったく同義に扱ってもいいんじゃないのかな。例えばラムダ式 λx.(a*x + b) があるとき、自由変数a, bを具体化するための環境(変数束縛)をラムダ式と一緒にした (λx.(a*x + b), {a : 2, b : 1}) が古典的な意味のクロージャでしょ、たぶん。letを使えば、(let a = 2 b = 1; λx.(a*x + b)) みたく書けるけど、これも結局 (λa.λb.(λx.(a*x + b)))(2)(1) だから1個のラムダ式ですよね。 「クロー

    クロージャとラムダ式は同義だ、と主張してみる - 檜山正幸のキマイラ飼育記 (はてなBlog)
    xoinu
    xoinu 2009/07/19
    コメント欄が面白い
  • 【LEGO】レゴで飛び出る金閣寺を作ってみました【レゴ】

    飛び出る絵の様に、レゴで金閣寺(鹿苑寺)を飛び出させてみました。使用パーツは約 4500ピースです。2:30頃に完成です。2:58頃に開けます。4:35頃に閉じます。今回も神曲をお借りしました。→ sm982882後半の2曲の方はうp主の駄曲で、申し訳ないです。うp主の投稿リスト→ mylist/8727512補足:最初のミクの曲は、ニコニコ技術部といえばこの曲!って時代が昔あったのですです。

    【LEGO】レゴで飛び出る金閣寺を作ってみました【レゴ】
    xoinu
    xoinu 2009/07/19
    すごすぎる