t_wの輪郭

世の情報学部生は型付きラムダ計算をやっとるらしく、やはり情報技術においては後輩に勝るものなしだなと。

ワシが学生の頃はラムダ計算のラの字もなかった。