22/12/01 12:08:48.53 2j+KSHjn.net
>>286-289
>私もそれほど詳しくないが
誤 それほど
正 まったく
>カリー＝ハワード同型対応＋ラムダ計算＋圏論
>＝→現在進行形の計算機科学の数学
と言ってたのが前世紀末
龍田真さんも、いいお歳
1はde BruijnのAutomath プロジェクトも知らなそう
ていうか、de Bruijn、読めなそうwww
22/12/01 12:08:48.53 2j+KSHjn.net
>>286-289
>私もそれほど詳しくないが
誤 それほど
正 まったく
>カリー＝ハワード同型対応＋ラムダ計算＋圏論
>＝→現在進行形の計算機科学の数学
と言ってたのが前世紀末
龍田真さんも、いいお歳
1はde BruijnのAutomath プロジェクトも知らなそう
ていうか、de Bruijn、読めなそうwww