t_wの輪郭

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