計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記
ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)＝プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明＝プログラム , （ {、 { ヽ.ｰ､､ ＼､__ぃ._ゝ⌒ヾ iヾ）}､_ ﾝ_ｰ-_二ｰ-, 〉 {厶 _､ヽ _ ヽ._＞'´ ／ /,ィ／ / ハYﾍい ,. -- 〃⌒ r−-､ ィ´ 〃 ,ｲ/7' ,ｲイ/ 小ヽ 丶、 ,. ‐ '´ﾊ i ″｀ヽ、 、ヽ、 ／幺ィ {从{小込v' jｩ仏厶川ﾘ} YV, 小 Vj. |丶 ヽ ｀ ｰ-ミー--'_,辷三彡
検索インデックスを作ろう 後編 (Hadoopで転置インデックス) - Gemmaの日記
Hadoopで転置インデックスを作る。 Hadoopのインストールについては以下を参照。 Hadoopのインストールとサンプルプログラムの実行 Running Hadoop On Ubuntu Linux (Single-Node Cluster) 転置インデックスとは、本の巻末にある索引のことだ。 例えば、るるぶは巻末に転置インデックスがついていて、目的地のページを素早く探せる。 "金閣寺 ・・・ P.15" "銀閣寺 ・・・ P.15,P.16,P.57" "高台寺 ・・・ P.11" 前編の単語リストは、文書ID => 単語、単語、単語 だったが、 後編の転置インデックスは、単語 => 文書ID、文書ID、文書ID と、 単語リストをひっくり返す(転置)。 MapReduceの手順 1.文書のURIを並べたテキストファイル http://localhost/rfc/rfc1.txt
はてなインターン1週間のまとめ - Gemmaの日記
まずはじめに、京都は美人が多い。 はてなのジョエルテスト ソース管理システムを使っているか？ Yes. gitを使っている １オペレーションでビルドを行えるか？ Yes. 毎日ビルドを行うか？ Yes. 障害票データベースを持っているか？ Yes. gitと連携する内製ツールをつかっている。 新しいコードを書くまえにバグを修正するか？ Yes. 更新可能なスケジュール表を持っているか？ Yes. はてなグループを使っている。 仕様書を持っているか？ Yes. テスト駆動開発なので、テストが動く仕様書。 プログラマは静かな労働環境にあるか？ Yes. 買える範囲で一番良い開発ツールを使っているか？ Yes. テスト担当者はいるか？ Yes. プログラマを採用するときにコードを書かせるか？ YES YES YES! 「廊下での使い勝手テスト」を行っているか？ Yes. 満点。 はてなの開発 サ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
