地雷系女子葵ちゃん・C【14 Minesweeper Variants 2】 

ものすごい勢いでマインスイーパーが攻略されているっ！ 葵ちゃんはほむほむ側なの好き

8:21 疑心暗鬼のことを「ギシアン」と略すことができるの、日本語の奥ゆかしさを感じた。

投稿主のイラストはキャラクターの特徴を捉えているから好き

破竹の勢いと言いつつも爆発させてはいけない、それがマインスイーパー

このゲーム詰まないように「？」を表示するシステムのこと考えてると脳が沸騰する

3:06の歌部分が好きすぎる

このルール前作のコネクトから正統進化してて楽しい

8:20 葵ちゃんと疑心暗鬼したいね 嘘　茜ちゃんとしたい

9:13のクリアしたときにリボンつきになってるの細かい

更新早くて嬉しい

前作まとめから来ました。さくさくクリアしてクレバーなお二人がかわいいです！マインスイーパーなのに完全なパズルゲーというコンセプトが面白いですね　自分でも買ってプレイしてみます

うぽつです〜！ 今作Aのルールで頭焼かれてるから早く葵ちゃんにも焼かれて欲しい()

葵ほむらは茜まどかのことが好きと。なるほど。

途中まではついていけていたのですが 右側の処理で無理ってなりましたｗ

頭を長方形…fez…ｺﾚﾅﾝﾔ?

うぽつです～

thm 1: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-WLTYUc4rEFU.htmlsi=FEPpjc6scaQ0YBx1&t=317 の時点で二通りに絞られる: def: 右側二列を，上から4マス／2マス／6マス／4マスに分割し，領域A／B／C／Dと名付ける。 また，ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-WLTYUc4rEFU.htmlsi=FEPpjc6scaQ0YBx1&t=317 の時点で領域Cに於ける地雷が確定しているマスを（♡）と名付ける。 lem 0: 領域Dの安全マスが一つ確定する。このマスを（S）とする。 proof) ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-WLTYUc4rEFU.html までの議論から分かる。□ 以下では，lem 0で確定する安全マス(S)の情報が？だと仮定して議論を進める。 即ち，ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-WLTYUc4rEFU.html の状態で thm 1を示すものとする。 lem 1: 領域Aおよび領域Dには少なくとも一つの安全マスが存在する。 よって領域B+Cには高々二つの安全マスしか存在しえない。 proof) 領域AおよびDはL字型であるから，長方形規則より少なくとも一つは安全マスが存在する。 後半の主張は，安全マスが高々4つしか存在しないことから従う□ lem 2: 領域B+Cの安全マスは二つであるならば，そのうちの二つは横方向に続く。 proof) 安全マスが二つあると仮定する。 背理法で示すため，横方向に続かないと仮定する。 このとき，二つの安全マスは縦方向に続いているか，離散しているかである。 B+Cの既に確定しているマス（♡）の右側が安全の場合: 二つの安全マスが縦方向に続いている場合は，（♡）の上下何れかが安全であると換言される。 いずれの場合についても，lem 1より領域B+Cの残るマスは全て地雷であるが，この配置は長方形規則に矛盾する。 よって横方向および縦方向に続かず，離散していると仮定してよいが，このときB+Cには少なくとも三つの安全マスが存在し，lem 1に矛盾する。 （ここの証明には，コネクト性に注意して場合分けを行なえばよい。下側の方向にコネクトする場合は，領域B+Cの右側の列にある2, 4の情報とを用いれば三つの安全マスの必要性が分かる。） ここまでの議論により，この場合は，二つの安全マスは横方向に続く。 B+Cの既に確定しているマス（♡）の右側が地雷の場合: B+Cの領域を（♡）を中心として上と下に分割する。 このとき，いずれか一方については，コネクト性より各列に少なくとも一つずつ地雷が存在する。 このとき長方形規則より二列とも地雷であることが帰納的に従うため，（♡）の上側または下側は全て地雷である。 上側全てが地雷の場合，領域B+Cに残るマスは（♡）の下側の二つのみであり，証明するべき含意命題の前提よりこれらは安全である。 しかし，これは背理法の仮定に矛盾する。 下側全てが地雷の場合，領域B+Cに残るマスは（♡）の上側の四つであり，背理法の仮定から各行に一つずつ安全マスが存在する。 このとき（♡）の上側の四マスの各行につき，一つずつ地雷が存在するが，長方形規則より（♡）の上側が全て地雷であることが帰納的に従ってしまう。 このことは証明するべき含意命題の前提に矛盾する。 何れにせよ矛盾したため，この場合は，この二つは横方向に続く。 □ lem 3: 領域B+Cの安全マスは二つである。 また，領域AおよびDの安全マスは一つである。 proof) 左から三列目，領域B+Cの右側を見ると，地雷の情報が幾つか読み取れる。 この情報から，特に2・4の数が書かれているマス（情報☆）の隣接する部分に少なくとも一つの安全マスが存在する。 lem 1より領域B+Cの安全マスは高々二個であるから，二つ無い場合は，この一つのみということになる。 これは，長方形規則に矛盾し，領域B+Cの安全マスが二つであることが従う。 後半の主張は，lem 1より分かる。□ lem 4: 領域B+Cの安全マスは，横方向に続く二マスのみであり，（情報☆）の右側にある。 proof) lem 2およびlem 3から従う。□ lem 5: 領域Bは全て安全である。 proof) lem 4から領域Bは全て安全であるか，全て地雷のいずれかである。 もし地雷であるとすると，長方形規則から領域Bの上側は安全であり，下側はlem 4より安全である。 これはコネクト性に矛盾する。よって領域Bは全て安全である。□ lem 6: 領域Cは全て地雷である。 proof) lem 4とlem 5から従う。□ lem 7: 領域Dの安全マスは一つであり，その位置は確定する。 proof) 一つであることはlem 3で示している。 位置については，lem 6と長方形規則に注意すると，領域Cに隣接するマス（？の右隣りのマス）が安全でなければならないことから分かる。□ lem 8: 領域Aの安全マスは一つであり，その位置は二者択一である。 proof) lem 5とコネクト性に注意すると，二者択一であることが分かる。 いずれの場合も矛盾はしない。□ proof of thm1) lem 5, 6, 7, 8より，領域A以外は確定しており，領域Aの状態は二者択一であることから従う。□ thm 2: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-WLTYUc4rEFU.htmlsi=FEPpjc6scaQ0YBx1&t=317 の時点で，領域Bの安全マスを全て解放すると，状態が一意に確定する。 proof of thm 2) 領域Bに安全マスが存在することはlem 5より分かっている。（特に全マスが安全である） その周囲の左右および下側の情報はlem 5および6より確定しているため，ともに？でなければ，領域Bの上側の情報が得られることになる。 ここでもし領域Bの安全マスの情報が全て？であるとすると，lem 8より，この問題は一意に解が決まらないことになる。 よって，少なくとも一つは？ではなく，題意は示された。□

最初の挨拶かわいい

頭を長方形、マインクラフトかな？

サムネマインスイーパーにあるまじき形しててバカ笑った

4:19 ここ普通に右5上6の旗の右上右下を確定させた方が手っ取り早そう

交わした約束忘れちゃったwwwwwwwwww

3:07 約束忘れちゃった葵ちゃん…；； 6:12 陣内智則さんのコント「英会話」ネタだｗｗｗ 5:19 ここからめっちゃ難しそうだったのに解き切るのもう流石としか言いようがない！

この動画がきっかけでまどマギ見てきました 自分でも意味がわからないです

破竹の勢いは誘爆しとんのよ

実はアルファベットは26種類しかないんじゃよ…… (14+α)×2の時点で被りまくるのは目に見えてだ

5:00 頭FEZにして遊ぶのか ｺﾚﾅﾝﾔ？

1:14 ここ前作のコネクト要素 2:12 ここから応用、画面端はやってるうちに定石化するとはいえ この世界に生まれ落ちてから1マス埋めるまでの過程がエグすぎる 5:32 ネタバレ、一所懸命に考え抜いて空けたマスが「？」で脳みそが破壊される(既プレイヤーは1000回以上は体験してるやつ)

この手の動画は、開発者さんには悪いと思いつつ都度止めて自分で考えて楽しむことも多いのですけれど、相変わらず証明の丁寧さが良くて止めて解くより聞いてる方が楽しい〜

ㅤㅤㅤことのはㅤ 円環の -姉妹百合- か

茜まどかの次は葵ほむらか

え？何で最後溶けたのか理解できない！？

3:06 忘れたんかい！

寂しいと大爆発する地雷は地雷と呼べるのか？

ありがとね〜〜好き

この動画見ながら前作のT ' やってたら、コネクトと長方形に引っ張られて間違えたじゃねぇかよ！！！

うぽつです!

ナンバリングが1の方のマインスイーパのルールと合わさることあるのかな? あるなら茜ちゃん出てくるのかな?

このルール説明だと正方形ＮＧに見えるじゃんかよぉ！(※この動画見るまで正方形ＯＫって気づかなかった)

投稿お疲れ様です。画風が違いそうな葵ちゃんですね、翻訳時から約束交わすボイロが居そうだと思っていました 個人的には14mv1のコネクトよりは簡単かな。隣接するだけで情報が薄い14mv1のコネクトは苦手です 次のステージの葵ちゃんはどうなるのだろうか...

0:56 正方形は長方形、定期

最後に考えるとこで2x6の幅広長方形おいてあるのいやらしい

おもしろい。

ふにゃふにゃおうたパートすき

不調で寝てたら葵ちゃんの動画来てた…

ほむ〜😤

頭を…長方形にする…？(五角形を見ながら)

うぽつです！

うぽ

ガハハすき

0:01