SAT ソルバで数独を解く方法 - まめめも
数独は非常に SAT に変換しやすい問題です。全部参考文献 *1 に載っている内容ですが、なるべくわかりやすく説明してみます。ちょっと長いです。 SAT とは まず SAT をごく簡単に説明します。すでに SAT を知っている人はここは読み飛ばしてください。 命題論理式の形の一つに乗法標準形のというのがあります。変数か変数の否定 (リテラルと言います) を or だけでつないだ式 (節と言います) を and だけでつないだ論理式のことを言います。つまり以下みたいな形です。 ( a1 or !a2 or ... or an) and ( b1 or !b2 or ... or !bn) and ... and (!z1 or z2 or ... or !zn)SAT は「a1 や zn などの変数にうまく true か false を代入して、上の式全体を true にできるか」という問題
コンプガチャの確率マジックを中学生にも分かるように説明するよ - てっく煮ブログ
コンプガチャが話題になっています。コンプガチャにハマりやすい理由として「最初は当たりやすいが、だんだん確率が低くなる」という指摘があります。なぜ「確率が低くなる」という現象おきるのでしょうか。この記事ではコンプガチャの裏側にある確率マジックを分かりやすく解説します。サイコロの面を全部そろえるゲームいちばん身近な確率といえばサイコロです。サイコロを使ったこんなゲームを考えてみます。サイコロ コンプのルール サイコロを 1 回振るには 10 円が必要。 6 つの面をすべてを出せば、ペットボトル飲料をプレゼント。「サイコロの 6 つの面をすべてコンプしよう」というゲームなので、シンプルな「コンプガチャ」といえます。このゲーム、あなたなら参加しますか？6 つの面を全部だせばよいので、運がよければ 6 回（60円）でペットボトルが手に入ります。なんだかお得そうです。ためしにやってみると・・・サイコロ
数学の世界
数学と言うと「計算ばかり」と無味乾燥な学問だと感じている人が 多いと思いますが，やっているのは生身の人間なので， それはそれで一人一人に人間ドラマがあります． このページで少しでもそのドラマを感じ取って 数学に興味を持ってくれたらと思います． 目次 解析学を作った人々（歴史） 数学の授業に登場した人々（一覧） 専門の教科書でお目にかかった人々（一覧） 微分方程式の授業 動くグラフたち 振動するグラフたち 3Dのグラフたち カオスで遊ぼう ---------------------------------------- お勉強コーナー (お勉強したい人はクリックして) -------------------------------------- フーリエ級数早わかり 複素積分早わかり 数学無駄話 役にたたない話の寄せ集め 小森 (komori@wi
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
システム・エンジニアの基礎知識
