t_wの輪郭

推論規則
LK の推論規則融合推論規則