日々の流転

λ. 昼起きてぼーっとしてたら悩んでた証明ができちゃった。有理数までは証明できてて無理数に拡大するにはどうしたら良いかと悩んでたんだけど、最初から背理法使えば良かったのね。こういうのって、何て言うか、快感。

λ. 来週の月曜にテストが終るまでは課題以外のプログラミングは自粛しよう。

λ. Matrixの落とし穴

ちょっと行列の計算ではまった。気付けばどうってことないけど、結構落し穴かも。

irb(main):001:0> require 'matrix'
true
irb(main):002:0> Matrix[[2, 5], [1, 3]].determinant
6
irb(main):003:0> Matrix[[2, 5], [1, 3]].inverse
Matrix[[0, 0], [0, 0]]
irb(main):004:0> require 'mathn'
true
irb(main):005:0> Matrix[[2, 5], [1, 3]].determinant
1
irb(main):006:0> Matrix[[2, 5], [1, 3]].inverse
Matrix[[3, -5], [-1, 2]]

λ. 借りた本

「アリストテレス倫理学入門」

J.O.アームソン(J.O.Urmson)[著] 雨宮健[訳]

「哲学の謎」

野矢茂樹[著]

「哲学ファンタジー」 / 原題「5000 B.C. and Other Philosophical Fantasies」

レイモンド・スマリヤン(Raymond Smullyan)[著] 高橋昌一郎[訳]

「シンプルな情熱」 / 原題「PASSION SIMPLE」

アニー・エルノー(Annie Ernaux)[著] 堀茂樹[訳]

「いつまでバグを買わされるのか - 平気で欠陥商品を売る業界の内幕」 / 原題「The Software Conspiracy - Why Software Companies Put Out Faulty Products, How They Can Hurt You, And What You Can Do About It」

マーク・ミナシ(Mark Minasi)[著] 植木不等式[監訳]

λ. 買った本

ジャンプ No.33

-

「風の大陸」第二十部　水面下

竹河聖[著]

λ. 図書館

今日知ったんだけど、鎌倉市図書館ホームページってのがあるのね。図書館に出向かなくても蔵書検索が出来る…と思いきや、結構アレゲ。大体「入力文字は、Shift JISでお願いします。」って何だ?　accept-charsetを指定しろよ…

λ. バイト

ところで、夏休みのバイトはどうしよう。誰か、楽で身入りの良い仕事下さい。(^^;;　RubyとかGimpとか関係だったら言うことなしです、はい。

λ. グリフ = 文字 ?

そういうわけで、「グリフ = 文字」モデルでは不十分だと現在では考えられているわけです。何故不十分かと言えば、グリフでない単位を「テキスト処理単位」(つまり「文字」)としているスクリプトや、同じ「テキスト処理単位」が、語頭、語中、語尾で異なるグリフとなるようなスクリプトが実際にあるためね。しかも、ある「テキスト処理の単位」の語頭形のグリフと、他の「テキスト処理単位」の語中形のグリフが同じ…なんていう事すらある。もっとも、残念ながら僕にはそういうスクリプトは読み書きできないんだけどね。(そうそう、アラビア語を選択したかったのは、そのあたりの実際を知りたいという不純な動機もあったのだ。)