t_wの輪郭

型付きラムダ計算
あれ