t_wの輪郭

LK推論規則
あれ