はじめに 仮置きは最強のテクニックだけど邪道です 世界一難しいナンプレの問題の作成に失敗 ナンプレを解くための 13 個のテクニック ナンプレの難しさを定義する まだ発展・改良の余地はあるか? おわりに 補足: 技術的な話 サイトを支える技術 Sat Solver を利用した問題の自動生成 Sat Solver の使用場所 Sat Solver とは ナンプレのルールを連言標準形で表現する ナンプレの問題を Sat Solver で解く 答えが 1 つしかないことを Sat Solver で確認する 連言標準形への変換 Sat Solver の応用例 対称性を用いた問題の複製 はじめに 私は先日、最新技術にキャッチアップするためにレベル別ナンプレ(数独) – 無料問題集 | パズル製作研究所(以下 puzzle.dev)というナンプレのサイトを構築しました。サイトでは自動生成した大量の問題
昔ながらのゲームの1つにクロスワードパズルがある。これは、カギ」と呼ばれる文章によるヒントを元に、タテヨコに交差したマスに言葉を当てはめてすべての白マスを埋めるパズルのことだ。 昔から、新聞や雑誌になどに掲載されていたパズルだが、今ならスマホ用のアプリも充実している。 実はこのクロスワードパズル、たくさん解くほどに、老化による記憶力の低下が防止されることが判明したという。
お知らせ 計算ブロックの足し算と引き算の問題をたっぷり 60 問掲載した書籍をアマゾンで発売開始しました。 サイトには載せていない完全オリジナル問題です。ぜひお買い求めください。 はじめに 今日のパズルは数独 4×4 です。数独 4×4 がはじめての方は 数独のルールと解き方 をはじめに読んでください。過去にアップロードした問題は下の日付ボタンをクリックすると遊ぶことができます�(パズルがリフレッシュされます)。印刷用のPDFファイルは記事の一番下からダウンロードできます。 数独 4×4 は数独いわゆるナンプレの縮小版です。サイズは小さくても見た目ほど簡単でなく、数独の面白い部分は全て含まれています。普通の数独だと時間がかかるので面倒臭いという方にも、このサイズだとサクッと終わらせることができるのでオススメです。また普通の数独が難しすぎると感じた方もぜひ挑戦してみてください。 全てのパズル
お知らせ 計算ブロックの足し算と引き算の問題をたっぷり 60 問掲載した書籍をアマゾンで発売開始しました。 サイトには載せていない完全オリジナル問題です。ぜひお買い求めください。 はじめに 今日のパズルは計算ブロックです。計算ブロックがはじめての方は 計算ブロックのルールと解き方 をはじめに読んでください。過去にアップロードした問題は下の日付ボタンをクリックすると遊ぶことができます�(パズルがリフレッシュされます)。印刷用のPDFファイルは記事の一番下からダウンロードできます。 ナンバープレースいわゆる数独のように縦の列と横の行に一度しか同じ数字が現れないというルールは同じです。計算ブロックはそれに加えて、各領域内の数字同士を計算した結果が与えられています。他のパズルと比べて特に計算能力が必要とされます。 パズルのサイズや計算に使用する演算の種類によって難しさが変わります。掛け算をまだ習っ
お知らせ 計算ブロックの足し算と引き算の問題をたっぷり 60 問掲載した書籍をアマゾンで発売開始しました。 サイトには載せていない完全オリジナル問題です。ぜひお買い求めください。 はじめに 今日のパズルは数字ブロックです。パズルの答えは投稿の翌日に更新します。数字ブロックがはじめての方は 数字ブロックのルールと解き方 をはじめに読んでください。過去にアップロードした問題は下の日付ボタンをクリックすると遊ぶことができます�(パズルがリフレッシュされます)。印刷用のPDFファイルは記事の一番下からダウンロードできます。 数字ブロックはナンバープレースいわゆる数独とよく似たオーソドックスなパズルです。縦の列と横の行そして太い線で囲まれた領域に各数字が一度ずつしか現れないように数字の配置を決めるパズルです。計算を含まないので小学校低学年の子供から遊ぶことができます。他のパズルに比べて特に論理的思考
お知らせ 計算ブロックの足し算と引き算の問題をたっぷり 60 問掲載した書籍をアマゾンで発売開始しました。 サイトには載せていない完全オリジナル問題です。ぜひお買い求めください。 はじめに 今日のパズルはビルディングパズルです。ビルディングパズルがはじめての方は ビルディングパズルのルールと解き方 をはじめに読んでください。過去にアップロードした問題は下の日付ボタンをクリックすると遊ぶことができます�(パズルがリフレッシュされます)。印刷用のPDFファイルは記事の一番下からダウンロードできます。 ビルディングパズルは、ナンバープレースいわゆる数独と同様に縦の列と横の行に一度しか同じ数字が現れないというルールのもとで数字の配置を決めるパズルゲームです。ビルディングパズルは、各数字がビルの高さを表していると考えます。その上で、各方向から見た場合に見えるビルの数、あるいは見えるビルの階数どうしを
私たちのウェブサイトでは、最も簡単なレベルから最も難しいレベルまで、無数の数独パズルを用意しています。すぐにプレイを始めることができます。会員登録やダウンロードは必要ありません。マウス、キーボード、あなたの指(モバイルデバイスの場合)を使ってプレイすることができます。私たちのウェブサイトは、数独パズルをプレイして解くことが大好きな、世界中の数百万人の数独プレイヤーが集まる場所となっています。私たちのウェブサイトでは、数独パズルのプレイヤーが望むすべての物を手に入れることができます。数独パズルを紙にプリントアウトして共有し、パズルを解く時に助けを求めたり、解いた数独パズルの詳細な統計情報を取得することもできます。また、世界中の他の数独プレイヤーと対戦することも可能です。私たちのウェブサイトでは常時パズルがアップデートされているため、常に新しい数独パズルを解いて楽しむことができます。 数独(す
数独。ナンバープレースとか言われているパズルですね。 9x9のマス目があって、マス目はさらに3x3ごとにまとめられています。 そこに、1から9までの数字を入れていきます。 縦、横には同じ数字は1つしかはいりません。また、3x3でまとまったマス目(ブロック)でも同様の制限をうけます。 すべて矛盾なく埋まればパズル成功となります。 というルールはいまさらここで書くまでもなくご存じの方も多いかと思います。 ついこの間これに関して「スパコンで力任せに数独の難しい問題を作る」と題したナンバープレースの問題が発表されましたが、人間の手であっさり解かれてしまいました。 ここではなぜそんなことが起こったのか考えてみたいと思います。 数独はどうやって解くか。 「1から9までの数字が縦、横、ブロックに1度だけ入る」という制限が数独の基本解法の全てです。どんな応用解法も、この制限なしには生まれません。 さらに、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く