https://minesweeper.kariya.cc/ja/icon.png 必ず解けるマインスイーパー開発ブログ 2024-01-21T09:00:12.282Z https://minesweeper.kariya.cc/ja/ kariya Hexo https://minesweeper.kariya.cc/ja/youtube-short-movie/ 2024-01-20T23:53:33.000Z 2024-01-21T09:00:12.282Z

<p>デモ動画を上げてみました。<br>「自作マインスイーパーがヒントを次々消していくのをプレイする紹介動画」<br><a

https://minesweeper.kariya.cc/ja/unsolvable-example/ 2024-01-12T21:54:19.000Z 2024-01-13T07:11:44.910Z

<p>マインスイーパーでよくある詰んでいるパターンを試してみました。<br><a

https://minesweeper.kariya.cc/ja/sat-encoding-of-int-sum/ 2024-01-05T22:29:59.000Z 2024-01-09T03:42:12.666Z

<p>SATは命題論理式をCNFという標準形で受け取ります(変数かその否定の論理和を論理積でつなげたもの)<br><mjx-container class="MathJax" jax="SVG" display="true"><svg

https://minesweeper.kariya.cc/ja/how-to-ensure-solvability/ 2024-01-05T06:46:04.000Z 2024-01-09T03:42:12.666Z

<p>SATソルバーを使用しています（SATの説明は別記事予定）<br><mjx-container class="MathJax" jax="SVG"><svg style="vertical-align: -0.025ex;"

https://minesweeper.kariya.cc/ja/technical-articles/ 2023-12-31T23:21:55.000Z 2024-01-09T03:42:12.666Z

<p>使用している技術などをまとめます</p> <h1 id=""><a href="#" class="headerlink" title=""></a><a href="/how-to-ensure-solvability/"

https://minesweeper.kariya.cc/ja/whats-special-rules/ 2023-12-31T22:50:35.000Z 2024-01-09T03:42:12.666Z

<p>通常のマインスイパーのルールに加えて次のようなルールがあります<br>また新ルールを開発中です</p> <h1 id="地雷が３個並ばない"><a href="#地雷が３個並ばない" class="headerlink"

https://minesweeper.kariya.cc/ja/how-to-play/ 2023-12-31T22:49:56.000Z 2024-01-09T03:42:12.666Z

<h1 id="「問題生成」ボタンを押します"><a href="#「問題生成」ボタンを押します" class="headerlink"

https://minesweeper.kariya.cc/ja/welcome/ 2023-12-31T22:29:00.000Z 2024-01-09T03:42:12.666Z

<h1 id="自作マインスイーパーのサイトです"><a href="#自作マインスイーパーのサイトです" class="headerlink" title="自作マインスイーパーのサイトです"></a>自作マインスイーパーのサイトです</h1><h2