t_wの輪郭

証明図

2025/10/21 13:28:00

『南山大学　理工学部システム数理学科　シークエント計算』証明木

『南山大学　理工学部システム数理学科　シークエント計算』

2026/6/10 9:00:00

https://www.ss.nanzan-u.ac.jp/dep/sequent.html

証明証明図

証明木

2025/10/21 13:28:00