ほほぅ論理だてて条件設定した後推論させたのか。Prologは自分が使い慣れていた推論エンジンだったからと言う理由かな。SATソルバでも出来そう。コード発見（https://github.com/cushydom88/lottery-problem/blob/main/lottery.pl）

RySa のブックマーク 2024/06/20 13:17

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4755159858119279040/comment/RySa" data-user-id="RySa" data-entry-url="https://b.hatena.ne.jp/entry/s/www.itmedia.co.jp/news/articles/2406/20/news058.html" data-original-href="https://www.itmedia.co.jp/news/articles/2406/20/news058.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.itmedia.co.jp%2Fnews%2Farticles%2F2406%2F20%2Fnews058.html" data-user-icon="/users/RySa/profile.png">英国の宝くじ「ロト」は27枚買えば“必ず当たる”　英数学者が23年に発見　その方法とは？</a><br><p style="clear: left">ほほぅ論理だてて条件設定した後推論させたのか。Prologは自分が使い慣れていた推論エンジンだったからと言う理由かな。SATソルバでも出来そう。コード発見（<a href="https://github.com/cushydom88/lottery-problem/blob/main/lottery.pl" target="_blank" rel="noopener nofollow">https://github.com/cushydom88/lottery-problem/blob/main/lottery.pl</a>）</p><a class="datetime" href="https://b.hatena.ne.jp/RySa/20240620#bookmark-4755159858119279040"><span class="datetime-body">2024/06/20 13:17</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！