型付きラムダ計算
2023/9/27 23:48:00
あれ
2023/10/4 21:53:00
世の情報学部生は型付きラムダ計算をやっとるらしく、やはり情報技術においては後輩に勝るものなしだなと。
ワシが学生の頃はラムダ計算のラの字もなかった。
『型付きラムダ計算 構文論 再入門 1/2： カリー／ハワード対応のために』
2023/9/29 6:37:00
世の情報学部生は型付きラムダ計算をやっとるらしく、やはり情報技術においては後輩に勝るものなしだなと。
ワシが学生の頃はラムダ計算のラの字もなかった。