論理学も学んでいる ３値論理も知っている。 関数型プログラミングも使える。 論理学を勉強したほうがいいな。 これでその通りであることが分かったよね？ 現実世界を正確にモ...