t_wの輪郭

Feedlyでフォローするボタン
あれ

factoring

2024/3/17 12:32:00

factoringとは、導出において重複したものを消す操作のこと

『論理学第11回「導出原理」萩野 達也』