2020-12-09から1日間の記事一覧
最小手数で農夫 山羊 狼 キャベツ の川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------make && ./river 10 make: 'all' に対して行うべき事はありません.Wed Dec 9 06:27:19…
最小手数で農夫 山羊 狼 キャベツ の川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------make && ./river 10 make: 'all' に対して行うべき事はありません.Wed Dec 9 06:27:19…