https://t.co/GdQ6uGpQKU 一般的に言われる大学数学と情報系で習うそれがえらく違うので資料を漁ってたらこういうものに出会った。そして大学でやった「論理回路」という科目が離散数学の入門科目だったことに今頃気づいた。