t_wの輪郭

シークエント論理計算論理導出LK
あれ