t_wの輪郭

『『計算論理学』講義資料』型付きラムダ計算本
あれ