（２）候補数を消去する
⑬「Sashimi Fish」の成立を調べる
「Sashime Fish」なる言葉、初めて聞く言葉だと思います。マーちゃんも、最近学んだ「手筋」です。ミシチャンさんのホームページで初めて見ました。実はこのブログを書くに当たって、実に多くのことを教えていただき、又参考とさせて頂いています。
ホームページアドレスは以下の通りです。
http://www.geocities.jp/master_mishichan/
「複数の候補数に渡って調べる」範疇で「XY-wing」や「浜田ロジック」の成立等を調べてきましたが、ここからは「ある特定の候補数について調べる」に逆戻りします。「単独の候補数」から「複数の候補数」と言う流れに反しますが、ここからの話はより難易度が増しますから、その面ではより後半に登場させるので良いのではないかと思います。まず「X-wing」の証明の見直しから話を始めます。図１を見てください。
図１
候補数を例えば５としましょう。図１でａ行には２列と８列にのみ候補数５が存在します。その２つをＡとａと表しています。この様に、あるユニット内に候補数が２個しか存在しないとき”対をなす”と呼べばａ行でＡとａは対をなしています。
又ｇ行でも候補数５は対をなして存在し、Ｂとｂです。このＡとＢが同一列の２列に存在し、ａとｂが同一列の８列の存在しますから、「X-wing」が成立し２列（水色印のマス）と８列（黄色印マス）から候補数５を消去出来るのでした。
その理由を以前とは異なる理屈で説明します。
図２
図２でもし黄色印マスで５が確定したとしましょう。具体的にｉ８＝５とします。ここが５と確定すれば８列にもはや５は存在できませんから、ａとｂは消去されます。
図３
図３でａが消えましたから、ａと対をなすＡは必ず成立。ｂも消えましたから、ｂと対を成すＢも必ず成立。同一列内で、ＡとＢが成立するのは矛盾である。だから黄色印マスには５は存在し得ない、となります（部分的に背理法を用いています）
水色印マスには５が存在し得ない事も同様な理屈ですから、省略しますが、ここで重要な事は、ａとｂを見る事が出来るマスには５は存在し得ないと言う事実です。
この理屈は次のような場面で応用が利きそうです。
図４
候補数５は図４の様に存在してるとしましょう。この配置では「X-wing」は成立していません。しかし、先に述べた理屈に準じて、ａとｂの両方を見れる位置に存在するマスがあれば、そのマスの候補数は、図２・図３のｃと同じ働きをするはずです。具体的には図５を見てください。
図５
図５で黄色印マスはａとｂの両方を見る事が出来ます。（前に書いた事のおさらいですが、黄色印マスはａと同じユニットに属し、ｂとも同一のユニットに属します）
この黄色印マスで５が確定するとaとｂは成立しなくなり、云わばその反動としてAとBが成立し、矛盾が起こります。だから黄色印マスに５は存在しえず、ここから候補数５を消去できます。
以上の一連の手筋を「Sashimi Fish」と呼ぶそうです。この観点に立つとまだまだ候補数を消去出来る「手筋」がありそうです。次々回ブログでは「Finned Fish」を紹介し、その先ではマーちゃんが気が付いた「手筋」を紹介します。その前に問題を一題。
例題 図６の局面で「Sashimi Fish」が成立しています。それを指摘し、局面を一歩先に進めて下さい（問題は、ミシチャンさんのブログから引用しています）
図６
