トップ «前の日記(2005-10-12) 最新 次の日記(2005-10-14)» 月表示 編集

日々の流転


2005-10-13 [長年日記]

λ. Logic, Higher-order. Dale Miller

高階論理の概説。よくまとまってる。

Tags: 論文

λ. ラップトップのWindowsが起動しなくなった (1)

ラップトップのWindowsが起動しなくなった。ちょっと前から調子が悪かったんだけど、面倒くさくて真面目にバックアップとってないよ。どうしよう……

とりあえず、RIP で起動して、別マシンのフォルダをcifsでマウントして、ディスクイメージをddしておく。これは特にエラーなしで出来た。

λ. ソフトウェア工学 (3): ファンクションポイント法

今日は児玉公信先生のファンクションポイント法についての講義。 話自体は面白かったが、結局FP数に対して明確な意味があるようには思えないし、また算出方法も経験則以上のものであるようには思えない。工学ってのはこんなものでいいんだろうか?