t_wの輪郭
RSS
型付きラムダ計算
あれ
あれ
2023/10/4 21:46:00
型付きラムダ計算が地獄なんじゃ。
あれ
型付きラムダ計算
後輩
あれ
情報工学
あれ
2023/10/4 21:53:00
世の情報学部生は型付きラムダ計算をやっとるらしく、やはり情報技術においては後輩に勝るものなしだなと。
ワシが学生の頃はラムダ計算のラの字もなかった。
あれ