FC2ブログ

シーボの日記

2007年05月 | ARCHIVE-SELECT | 2007年07月

| PAGE-SELECT |

≫ EDIT

バイオインフォでスパイウェア。

6月12日。火曜日。


1時間目。計算数学。


型付きラムダ計算の強正規化性(←ひどく変換で出ない)




≫ Read More

| 日々の出来事。 | 23:20 | comments:0 | trackbacks:0 | TOP↑

| PAGE-SELECT |