2020-12-22から1日間の記事一覧
最小手数で夫婦3組の川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------make && ./river_marrige 17make: 'all' に対して行うべき事はありません.Tue Dec 22 21:16:32 2020Q…
最小手数で夫婦3組の川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------make && ./river_marrige 17make: 'all' に対して行うべき事はありません.Tue Dec 22 21:16:32 2020Q…