t_wの輪郭

『『計算論理学』講義資料』直観主義論理
あれ