2020-12-01から1ヶ月間の記事一覧
最小手数で宣教師と人食いの川渡り2 （人数をまとめない）を制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------make && ./river_missio 18gcc -Wall -O3 -I. -L. -o river_missio riv…
最小手数で夫婦３組の川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------make && ./river_marrige 17make: 'all' に対して行うべき事はありません.Tue Dec 22 21:16:32 2020Q…
最小手数で宣教師と人食いの川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------make && ./river_missio_num 14 gcc -Wall -O3 -I. -L. -o river_missio_num river_missio_num…
最小手数で農夫 山羊 狼 キャベツ の川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------make && ./river 10 make: 'all' に対して行うべき事はありません.Wed Dec 9 06:27:19…
