2007-07-11から1日間の記事一覧
ナンバープレイス・イラストロジック・ループコースというパズルに共通するのは形式論理のみを使ってそのパズルの解答を求めるということだ。ナンバープレイスで言えば、ある数字がその枠に「入る」か「入らない」かという排中律と、同時に両方が成立しない…
ナンバープレイス・イラストロジック・ループコースというパズルに共通するのは形式論理のみを使ってそのパズルの解答を求めるということだ。ナンバープレイスで言えば、ある数字がその枠に「入る」か「入らない」かという排中律と、同時に両方が成立しない…