t_wの輪郭

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