t_wの輪郭

証明
『[2026前期火5] 論理学(京都大学文学部 前期 第13回)「走って、止まって、積み上がる」 -...『南山大学 理工学部システム数理学科 シークエント計算』証明木