utf8の話が参考になった。
ついでにExtlibのUTF8のソースも読んで理解を深めた。
文字コード超研究# #require "extlib";;
/opt/local/lib/ocaml/site-lib/extlib: added to search path
/opt/local/lib/ocaml/site-lib/extlib/extLib.cma: loaded
# open UTF8;;
# let moji2 = "\xc3\x86";;
val moji2 : string = "\195\134"
# print_string moji2;;
Æ- : unit = ()
雨と仕事のタイミングがあわなくて二週間くらい放っといたら雑草が凄いことになってた。
パプリカと加茂茄子
トマトとゴーヤの花
草刈りすんのにいいのはないかな。
とりあえず、草刈りフォークを買ってみる。
早起きして、チャリで畑に行って草刈りする習慣をつける
22072009 life
富士サファリに行ってきた。
リスザルに餌やり。
サファリはナビカーとかいうのを借りた。キリンとシカの餌やりがついてる。シカセンベーはまぁどうでもいいけど、キリンに餌をあげられるのは良い。のそっと近づいてきてムシャッと食べるのね。あと舌の色が青っぽいというか黒っぽいというか。
ナビカーだとアスファルトを外れて、オフロードコースを走ることが出来る。ライオン、トラとかバイソンの間近まで接近できて迫力満点なのでお薦め（というか全然違う）。前日にライオンにバンパー噛まれたらしく、歯形が残っていた。
レストランのライオンのオムライス。作りが丁寧で驚いた。というより、写真と違いすぎると子供が泣くんだろうな。
帰り道で娘に何が一番良かったか聞いたら、「モルモットの抱っこ」とのこと。
21072009 life
数学読み物
ISBNって誤り検出できるようになっているのね。あとバイナリプロトコルの話が楽しかった。
読み流した。
21072009 life
タオイズム。面白かった。
33の成功するヒッピーの話と44の「おわかりかな」が特に良かった。
それから、一通り読んでから2のタオの詩を読むのがよい。
昔、インフラ整備をしてた時に、よいインフラ整備のやりかたとは現場にインフラ整備のためにビジネスロジックが変更されているのを意識させないで、ただあるがままに流れた結果になることなのかなと思ったことがあって、それって、昔読んだ老子かなんかの良い政治とはみたいな話だなぁと。
ゴーヤの成長速度には驚く。
小さいまま、黄色くなってしまった。こういうのは種取りに使うといいらしい。
枝豆。少しモギって茹でてみたら美味しかったので、そろそろ全部収穫するか。
近所のホームセンターで秋用の茄子とかキュウリの苗が出回っているという情報を得たのでさっそくいったのだけど、モロヘイヤの苗しかおいてなかった。売ってるのはカインズのほうかな。
明日また行ってみる。
19072009 life
欲しいものリストには入れてあって買うかどうか悩み中だったのだけど目次みたら欲しくなったのでポチッた。
14072009 life
先日、はじめての現代数学を読んだとき、ゲーデルの不完全性定理がいまいちつかめんとか書いてた。
で、数学ガールの三作目がまさにゲーデルの不完全性定理をあつかったものらしく、今から楽しみ。
06072009 life
GH 草取りフォーク SF-12
手打鋼付 立鎌ホー（大） 09010
育つ雑草
フィボナッチのうさぎ―数学探険旅行
タオは笑っている (プラネタリー・クラシクス)
ふつうのコンパイラをつくろう 言語処理系をつくりながら学ぶコンパイルと実行環境の仕組み
数学ガール (数学ガールシリーズ 1)
数学ガール フェルマーの最終定理 (数学ガールシリーズ 2)
ムナーリの機械