スポンサーリンク
ナンプレ京 交流掲示板
ログイン会員様限定で発言できる掲示板です。交流掲示板なので仲良くやさしくお願いいたします。
PCのみプッシュ通知に対応しました。新しい投稿があった時に通知されます。プッシュ通知を許可する（新しくウィンドウが開くのでそのウィンドウでプッシュ通知を許可してください）
[1637]ナンプレ 眺めて解こう . (2024-06-25 18:53:38)
次の一手ナンプレ 2024-06-18～22 眺めるヒントです。
[1608]ナンプレ 眺めて解こう . (2024-06-15 00:53:25)
.
論理学 面白いです。
ゲーデルの不完全性定理 ・・ 何かきつにつままれた感がありますが なるほど です。
[1607]tonbee (2024-06-14 23:07:58)
＞ (b)に3が入ると ＡＢともに３になります
言われてみれば・・・
なんで気がつかなかったんだろう。
でも これだから 眺めて解こうさんの説明は面白いんですよね。
ところで 今「まったくゼロからの論理学」という本を借りてきて 論理学の初歩を勉強しています。
すごく面白いです。
論理学が苦手という人におすすめします。
[1606]ナンプレ 眺めて解こう . (2024-06-14 17:38:06)
.
＞(b)に3が入る可能性
その通りです。
この解き方は (b)に3が入らないことが大前提です。
(b)に3が入ると ＡＢともに３になります。
[1605]tonbee (2024-06-13 15:16:09)
眺めて解こう さん
[1593]の説明についてですが 、Yに3が入らないと分かった後 まだ(b)に3が入る可能性が残っていませんか。
[1603]ナンプレ 眺めて解こう . (2024-06-12 21:49:36)
2024-06-11 次の一手ナンプレ
難易度 SE4.5 ヒント：ユニークレクタングルタイプ3
この問題を解くのは２度目（2023-06-12 次の一手ナンプレ ）ですが、
ユニークレクタングルを使わずに解く方法は思いつきませんでした。
難易度は SE4.5 ですが、
これはユニークレクタングルを使うときの難易度で
ユニークレクタングルを使わないときの難易度はわかりません。
[1602]tonbee (2024-06-12 18:18:22)
眺めて 解こう さん コメントありがとうございます。
＞ 推論としてはOKですが、矛盾を含む推論はすべて真（あらゆるセルにあらゆる数字を入れる推論が可能）となるので、結果に意味はありません。
このレベル(論理学？)の話になると 私の知識では ちんぷんかんぷんです。
易しい解説書で勉強してから また考えてみます。
[1601]ナンプレ 眺めて解こう . (2024-06-12 00:33:59)
.
＞一方は 途中で矛盾に出くわす可能性があると思いますが その時は
説明の簡略化のために 意図的に矛盾を入れることはあります。
意図しない矛盾に気付いたときは 無駄な推論が含まれている可能性 や 別の解き方のヒントが含まれている可能性 があるので 考え直します。
[1600]ナンプレ 眺めて解こう . (2024-06-12 00:20:45)
.
単純な矛盾は 矛盾のない推論に書き換えることができます。
[1599]ナンプレ 眺めて解こう . (2024-06-11 23:54:57)
[1597]の推論は Z49 の条件を必要としません。
Z49を使う解き方は [1597]とは違う解き方 となります。
＞Z49 に 気付かずに あるいは無視して・・・
推論としてはOKですが、矛盾を含む推論はすべて真（あらゆるセルにあらゆる数字を入れる推論が可能）となるので、結果に意味はありません。
[1598]tonbee (2024-06-11 17:11:21)
眺めて解こうさん、 [1597]についての質問です。
R8C5のセルを Z とします。 Z49です。 なので a9 d4 となった時点で 背理法が成立して A9 が 決まるかと思います。
Z49 に 気付かずに あるいは無視して Z に49は入らないとして 進めていくと c9となりますが これは OKですか。
ついでに もう一つ 質問。
眺めて解こうさんが 問題を解こうとする時 、「
Aは9か 9ではない のどちらか」というところから出発すると、一方は 途中で矛盾に出くわす可能性があると思いますが その時は別のルートや 別の方法を考えるのですか。
[1597]ナンプレ 眺めて解こう . (2024-06-10 23:49:59)
.
tonbeeさん ご指摘の通りです。
違う手順の説明と混ざってしまいました。
同じ方向のＡＢＣＤでＸが決まることは通常あり得ません。
おかしいなとは感じていたのですが ・・ 時間に追われてて ・・
ありがとうございます。
[1596]tonbee (2024-06-10 22:56:45)
直近の[1595]の説明についてですが、aが9になる という前提なのに さらにCDが どちらか 9になる という のはおかしくないですか。
[1549]ナンプレ 眺めて解こう . (2024-05-12 23:18:57)
投稿 [1546] の補足
「Ｗ９でなければＡ８で Wに８が入らず」は、推論と結論は正しいのですが、背理法です。
「Ｗ９でなければ」を、その一例として「Ｗ８のとき」に言い換えると、「Ｗ８でもＡ８」となり、これは背理法です。
なので、「Ｗ９でなければＡ８・・・」という推論法は忘れてください。
[1547]ナンプレ 眺めて解こう . (2024-05-11 15:13:23)
１つ前の投稿 [1546] の最初の解き方、
「Ｗ９でなければＡ８で Wに８が入らず」という推論は 誤り です。
逆は真ならず ・・ でした。忘れてください ・・ 大変すみません。
[1524]ナンプレ 眺めて解こう . (2024-04-29 01:17:05)
.
2024-04-24 次の一手ナンプレ 難易度 SE2.6
https://nanpre.adg5.com/back_number_itte.php?y=24&m=4&d=24
[1523]ナンプレ 眺めて解こう . (2024-04-29 00:37:30)
.
2024-04-23 次の一手ナンプレ 難易度 SE4.5
https://nanpre.adg5.com/back_number_itte.php?y=24&m=4&d=23
[1521]ナンプレ 眺めて解こう . (2024-04-25 18:01:28)
.
2024-04-22 次の一手ナンプレ 難易度 SE4.5
https://nanpre.adg5.com/back_number_itte.php?y=24&m=4&d=22
２３９が入れるセルだけをマークした図（次図）を作ると、
ｏーー ｏーー ー３ー
ーーー ー３ー ー９２
ーｏｏ ーーｏ ーーー
ーーー ーｏｏ ｏｏｏ
ー９２ ３ーー ーーー
３ーー ー２ー ーー９
ｏーｏ ーーー ｏーー
ｏｏー ーーｏ ９ｏｏ
ｏｏー ｏｏ３ ーーー
比較的簡単に発見できます。
[1520]ナンプレ 眺めて解こう . (2024-04-25 00:08:43)
.
2024-04-21 次の一手ナンプレ 難易度 SE4.5
https://nanpre.adg5.com/back_number_itte.php?y=24&m=4&d=21
４と５が入れるセルだけをマークした図（次図）を作ると、
４ーー ｏーｏ ーーー
ｏーｏ ーーー ーー４
ーーー ４ーー ーー５
ーーー ー５ー ４ーー
ー５ｏ ーｏー ーーー
ーｏー ーｏｏ ５ーー
ーｏー ｏｏー ーｏー
ーーー ｏーＯ ーｏー
ｏーｏ ーーー ーｏー
Ｏに５が入れない（すなわち ４が入る）ことが簡単にわかります。
４ーー ｏーｏ ーーー
ｏーｏ ーーー ーー４
ーーー ４ーー ーー５
ーーー ー５ー ４ーー
ー５ｏ ーｏー ーーー
ーｏー ーｏｂ ５ーー
ーｃー ｏｏー ーｏー
ーーー ｏーａ ーｏー
ｏーｏ ーーー ーｏー
ａ５なら ｂ４ ｃ５ で 下中ブロックに４が入れません。
[1517]ナンプレ 眺めて解こう . (2024-04-23 18:00:49)
.
2024-04-20 次の一手ナンプレ 難易度 SE5.6
https://nanpre.adg5.com/back_number_itte.php?y=24&m=4&d=20
２４が入れるセルだけマークした図を使うと
発見しやすくなります。
ー２ー ーー４ ーーー
ーー４ ２ーー ーーー
ーーー ーーー ４２ー
ーー２ ４ーー ーーー
ー４ー ーｏー ーーＸ
ーーー ーーｏ ｏｏｏ
ｏーー ーｏｏ ｏーー
ｏーー ーーー ーーｏ
ーーー ーｏｏ ーｏー
[1516]ナンプレ 眺めて解こう . (2024-04-23 15:02:09)
.
2024-04-19 次の一手ナンプレ 難易度 SE5.6
https://nanpre.adg5.com/back_number_itte.php?y=24&m=4&d=19
[1511]ナンプレ 眺めて解こう . (2024-04-21 14:53:50)
＞[1510]
問題へのリンクが間違っています（すみません）。正しくは 以下。
2024-04-18 次の一手ナンプレ 難易度 SE4.4
https://nanpre.adg5.com/back_number_itte.php?y=24&m=4&d=18
[1510]ナンプレ 眺めて解こう . (2024-04-19 23:54:45)
2024-04-17 次の一手ナンプレ 難易度 SE4.4
https://nanpre.adg5.com/back_number_itte.php?y=24&m=4&d=17
