2010-01-01から1年間の記事一覧

ICFPc2010参戦記

会社の先輩に誘われて参加。 Common Lisp と英語が共通言語のチーム。コミュニケーションはIRCとgitのコミットログ。 私は、Common Lisp書けない、ICFPc 初参加、月曜は会社で新人研修、なので、見学者扱い。 記録: 0点 任意の燃料を生成するための工場の生…

スレの勢い、スレ検索を追加しました。

勢いで並びかえれば、いま盛り上がっているスレがすぐわかります。 スレ検索 http://eva-lu-ator.net/~gemma/ktkr2/jump.html FC2ブログでのご利用方法 ”テンプレートの設定”をします。 ”テンプレート管理”になります。ページをグイッと下に進めると、 ”スタ…

やったー2chまとめサイトエディター2.0できたよー\(^o^)/

2chまとめサイトエディター2.0 ここがすごい 豪華なエディター 画像の大きさをマウスでグリグリ 見やすいテーブル表示。検索、ならびかえも。 キャッシュでスイスイまとめがはかどる。 自動リンク、安価で並び替えもバッチリ。 実装 Gauche, YUI2, Sqlite3 3週間…

計算モデルと論理とゲーデルの不完全性定理

ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)=プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみが…

SchemeコードバトンをGaucheでCGIにしてみた

Scheme コードバトンまとめページ - ひげぽん OSとか作っちゃうかMona- より、英単語暗記補助ツールを作るお題。 最初はコマンドプロンプトで「この単語を知っているか? Y/N/Q」だけの単純なプログラム(67行)だったのが、 10人以上のバトンを経て、今はすご…