Home / Apr 2025


Yoshiya@kt3kApr 1, 2025

入力となる式が2つ必要な推論規則の扱いが難しい・・・、これがあることで証明がすごくごちゃごちゃした感じになってしまうし、読みづらくなってしまう・・・

プログラミングだと、こういう状況あまり無い気がするなぁ・・・