数学って抽象化の歴史だよね、って思った。

適度な歯応えを残しつつも、しっかりと火を通すのは難しい。

http://www.symantec.com/enterprise/security_response/weblog/2007/02/hello_screen_saver_sayonara_fi.htmlわろた。

すごいことは大変いいことなんだけどさ。 黒田寿男(数理システム) (交渉中)川合史朗 (交渉中)山下伸夫 (交渉中)まつもと ゆきひろ 3分で締め切りの悪夢が蘇える。

よくよく考えてみると、3月は何日か遊びに行ったりする日は自由にレイアウトできるけど、それ以外の日はかなり忙しいという状況になりそう。ぼくのはるやすみはどこですか？Practical Common Lisp をゆっくり読みたい。

DreamHost のサーバーに何か障害/変更があった場合、逐一詳細を確認できる DreamHost StatusはマストRSS。こういう情報が素早く提供されていると助かるね。DreamHost Status

土日だと思ってた。大学まで行ってから気がついた。

もうテストが目前ということで、現実逃避に拍車がかかっている。Practical Common Lisp のイントロダクションの章を翻訳してみる。Web 上に全文公開されてるからちょっとくらい勝手にやっても問題ないよね。30% くらいやった。公開するのは、そうだな、気が…

Utilisp、KLICの作者である近山教授の研究室 KLIC をインストールしてちょっとだけ動かしてみた。いまのところ Prolog とうりふたつに見える ようつべとニコ動で話題になっている動画(ナローバンドはつらいよ 今日の晩御飯をどうするか

5桁の問題を解こうとすると、だいたい1時間くらいかかっていたのを改良して、2秒くらいまでチューニングした。つまり、約1800倍速くなった。最初は遅い原因が、データを線形リストで扱っているところにあるとあたりをつけて、ランダムアクセスできるように配…

google:切符番号問題でググると、1444の答え、というタイトルのページが引っかかったので、自分のプログラムに1444を入力してみたところ解なしになった!!!うわーなんかアルゴリズムに根本的なバグがあるのか？と思ってそのページを見たら、4と4で44を作ると…

ナイーブな実装をしたら5桁の計算式生成だけで1時間かかったお(,A0,LT,A0)生成する計算式の数がなので、計算量はもっと劇的な勢いで増えていくから当然といえば当然。これから枝をはらって多少はチューニングするけど、そろそろ試験が迫ってきたから時間…

http://karetta.jp/blog/gauche-night

大学の研究室見学(未踏のスーパークリエイタの人に案内してもらえるらし)その後会議

待合せ時間の確認を怠っていたせいで、遅刻してしまった。皆さんごめんなさい。今日は、東京大学は理学部のなんとかかんとか科、五十嵐研究室におじゃましてきた。ちなみに、五十嵐先生は若くてイケメンでメガネ男子な助教授。今日は五十嵐先生は海外出張中…

こんなん見つけた。http://hamachiya.com/mixi_secret_baton/

GDBちゃんと使いかた覚えると便利だね。http://www.j.dendai.ac.jp/~mouri/prog2/tech/gdb/gdb1.html http://www.cc.ariake-nct.ac.jp/~bashi/tips/gdb/sec2.html

テスト勉強とかプログラム書いてるときとか、効率が落ちるとはわかりつつもテレビをつけてしまう。

デフォルトの設定だと、アドレスバーから開いたページとか、検索窓から開いたページが、フォーカスのあるタブに開かれること。アドレスバーから開いたページをフォーカスのあるタブに開いてほしい場面って、フォーカスのあるタブのページを見終わって別のペ…

SICP行こうと思ってたけど、なんか体調不良になってきたので家にいよう。こんだけ生活が乱れてたらそりゃ体調不良になるよなぁ。

入門 GNU Emacs 第3版買うけど。

現在のコード行数 $ wc -l exp-tree.c exp-tree.h formula.c formula.h main.c main.h rational.c rational.h mylib.h 267 exp-tree.c 47 exp-tree.h 160 formula.c 77 formula.h 123 main.c 6 main.h 98 rational.c 20 rational.h 31 mylib.h 829 合計この…

http://www.heiwaboke.com/2007/02/ping.htmlhttp://d.hatena.ne.jp/scinfaxi/20070222/1172071484経由ピングって言う人のほうが多いの？俺のまわりではピンのほうが多い気がする。どっちにしろ、文脈で大体わかるんじゃね。自分はこんな感じ。 用語 発音 pi…

泣ける。Gaimだと複数人の会話でへんなゴミが入るらしい。自分じゃ確認できないからどうしようもない。

つまらんことで Segmentation Fault を連発して2時間ほど無駄にした orz

なんだかんだで、攻殻機動隊関係のサントラはコンプリートしたっぽい。ところで、攻殻機動隊のロゴは S.A.C のよりも S.A.C SSS のほうがかっこよくないですか。

http://t-code.org/scheme-aa.html ､--‐冖'⌒￣￣`ｰ-､ ／⌒` 三ミヽｰ-ﾍ,_ __,{ ;;,, ミミ ｉ ´Z, ゝ ''〃//,,, ,,..｀ミﾐ､_ノリ}j; f彡 なにジョジョ？ _) 〃///, ,;彡'rffｯ､ｨ彡'ﾉ从iﾉ彡 >';;,, ノ丿川j !川｜; :.`7ﾗ公 '>了 ループを末尾再帰で書く意味がわか…

一秒も勉強してない!ボルダリング行ってきた。

ストレスが溜まってそろそろプッツンしそうなので、勉強は進んでないけど明日は久しぶりにクライミングジムに行こう。明後日はSICP読書会行こう。

Ruby Implementations Shootout: Ruby vs Yarv vs JRuby vs Gardens Point Ruby .NET vs Rubinius vs Cardinal : jaYARVすげー。ささださんすげー。