--------------
ここんとこ，心理的なストレスなのか，
よくお腹を下す．
ひょっとして，蒟蒻畑 の過剰摂取が原因か．．．
--------------
終電まだ，あとちょっと，と思い，余裕をかましてたら，
会社のビルのエレベータが止まっている時間ということをわすれていた．
あわてて，9 階から，舘ひろし 柴田恭平 のような身のこなしで，
くるくると階段を降りていく．
駅では，駆け込み乗車で，終電に間に合う．
無理すれば，家まで歩けない距離でもないけど．．．
いや，歩けないなぁ．
--------------
--------------夜中に帰ってきて，数日前に買ってきたプリンが残ってたので食べる．
--------------
日付が変わったころに終電で帰ってきたが，
奥さんが起きてた．
奥さんがチラシにのってた，暗号を差し出してきた．
□＋
□＝
□
＋ ☓ ｜
□ □ ４
＝ ＝ ＝
□ □ □
上記の
□に 1 から 9 までの数字を入れよ．
とのこと．下から２列目の ”＝”は厳密には "‖”の向きに書いてた．
まぁ，当てずっぽうに， 1 から 9 までの数字をいれても解けるのだが，
ある程度，理論的に解いて，奥さん にエエところを見せる．
自分で解きたい人は以下，読み飛ばしを．
* 以下では 横方向を”行”，縦方向を”列”と呼んでいます．
まず，
２列目の "☓" 演算に注目．
１〜９の掛け算をやって，生成物が ９以内になる数字は限られてる
しかも，１を掛けると，同じ数字が生成されるので，
同じ数字を埋めちゃいけないということに対してアウト．
そんな消去法から，２列目は
２☓３＝６
もしくは
３☓２＝６
であることがわかる．
--------
３列目に関して，引き算結果はマイナスになってはいけないので，
５，６，７，８，９
が候補．
６は上記で候補から外れる．
７も，３が生成されるという意味で，上記で３がアサインされてるのでダメ
８については，４が重複するのでダメ
なので，５ or ９が候補として残る．
３列目が
5−４＝１
だと仮定すると，１行目の式で，”５”を作り出すための
パターンを考えなきゃいけない
１＋４（順不同）
２＋３（順不同）
のいずれかとなる．
４はすでにアサイン済
２＋３に関しては，冒頭の２列目に対してのアサイン上，ダメ．
なので，３列目の演算は
9−４＝５
となる．
この時点で，整理すると
□＋２＝９
＋ ☓ ｜
□ ３ ４
＝ ＝ ＝
□ ６ ５
のパターンＡか
□＋３＝９
＋ ☓ ｜
□ ２ ４
＝ ＝ ＝
□ ６ ５
のパータンＢのいずれか
パターンＢの場合は１行目で
６＋３＝９となるので，すでにアサインされている６が出てくるのでダメ
なので，パターンＡの
□＋２＝９
＋ ☓ ｜
□ ３ ４
＝ ＝ ＝
□ ６ ５
が確定し，
７＋２＝９
＋ ☓ ｜
□ ３ ４
＝ ＝ ＝
□ ６ ５
となる．
ここまでくると
７＋
２＝
９
＋ ☓ ｜
１ ３ ４
＝ ＝ ＝
８ ６ ５
となって，完成！
という具合に，ヨメにドヤ顔で説明．
