t_wの輪郭
re...
refutation
2024/3/17 3:06:00
反駁
refutation
はんばく
導出
反駁
2024/3/17 3:06:00
refutation
導出を用いた背理法証明
『プログラミング言語論 第9回 論理型プログラミング言語 担当:犬塚』