日々の流転

λ. 今日は朝から酷かった。中高が体育祭だか何かでムチャクチャ混んでいて、バス停で30分も待たされた。

λ. システムプログラミング

fib(100)は64bit整数でも足りません。

long long で64bitなら、long long long で96bitとかどうよ?

λ. 萩野服部研

遅々として進まず。

λ. Introduction to Game Theory!

.

λ. Redhat Linux 8.0 將中華民國國旗刪除

紅眠の愛の秘密日記(2002-10-06)より

λ. こんなのがあると冥王星は惑星を失格して、カロンと一緒に２重小惑星系にされてしまうかも。

む、そしたら冥王星のセーラー戦士はどうなるんだ……(笑)

【2006年10月追記】 とか言っていたら本当に惑星失格になってしまったな。

λ. 『型理論』 龍田真

『型理論』

龍田真

κ208で発掘。薄くまとまっていて良い感じ。

【2008-09-03追記】 もとになった連載がCiNiiで読めることに気づいた。

• 型理論I
• 型理論II
• 型理論III
• 型理論IV

λ. 買った本

『コンパイラ構成論—Pascalを用いた設計と構築』

R.ハンター(R. Hunter)[著] 安村通晃[訳]

『大学で学ぶ数学』

河添健[著]

何となく、手元に一冊置いておいても良いかなと思って