ひらめきのおやつ１
-
@Hannibal さん
２７の方？？？きれいですがわかりません。読んでる本（複数）に詰まるごとに考えてみます。
古事記中巻のお歌
興味津々!(^^)!
書紀の文章なら下手の横好きで色々言えるのですが、仮名は(;'∀')
でも興味津々
そう言えば服部四郎さんの論文集が今年になって上梓されました。
日本祖語の再建：岩波書店
去年早田 輝洋さんの『上代日本語の音韻」が同じ岩波から出たことに関係があるのでしょうか？
-
@riffraff さん
《古事記中巻のお歌興味津々!(^^)!》とのこと、いつか機会があればご案内したいと思います。
日本書紀もあちこち読んでおかないとこの歌謡は読み解けない可能性が大です。
ぶっちゃけ、日継ぎの皇子、天皇霊、みたまのふゆ、それを具現化する神威の刀剣、皇統のレガリア、皇統としての根本と梢、吹き出す息吹、太刀からも剣からも吹き出るみたまのふゆ、日継ぎの皇子を呼ばわる大風、冬から春への歓喜、新大王、などなど…喚起される多重化されたイメージが一点に集中されている歌謡だと思いました。※使われている仮名には特に大きな問題点はないようでした。わかってしまえば。
※上代の歌謡ですから、平安時代以後の古文を習った、学校古文だけでは苦しいこともわかりました。上代の癖があります。
-
@Hannibal さん
書紀の方が読みやすくて、古事記はどうもと言う日本語音痴ですが(;'∀')
時間が許すときにお願いいたします。pekori
-
@riffraff さん
かしこまりました。
枝葉を落として剪定したものを用意したいと存じます。暫くお時間をください。
-
天秤４回で、持ってきた卵が確かに有精卵２７個と無精卵２７個であることをヤマネに納得させる方法について下に記します。
天秤４回での卵２７個づつの証明方法
ヒントは以下のようなものでした。
＝＝【再掲】＝＝８＜３＋６
３＋６＜１０
１０＜３＋８
３＋１０＜６＋８＝＝＝＝＝＝＝＝
このヒントはあとで使うものとします。さて、有精卵の重さを W 、無精卵の重さを w とします。また、W-w = ε とします。
次に、有精卵であることをヤマネに納得してもらう卵を 3個、 6 個、 8 個、 10 個、にグループ分けし、それぞれのグループ内の卵の重さの合計に、A3、B6、G8、D10 と名前をつけます。
次に、無精卵であることをヤマネに納得してもらう卵を 3個、 6 個、 8 個、 10 個、にグループ分けし、それぞれのグループ内の卵の重さの合計に、a3、b6、g8、d10 と名前をつけます。
また、α3、β6、γ8、δ10を次のように定義します。
α3 = A3 - a3
β6 = B6 - b6
γ8 = C8 - c8
δ10 = D10 - d10
まずヤマネに納得させたいことは以下の事項です。
すなわち、α3 = 3ε
β6 = 6ε
γ8 = 8ε
δ10 = 10ε上を天秤の結果から示すことが出来れば、a3、b6、g8、d10、の各グループに含まれる全ての卵は無精卵であり、A3、B6、G8、D10の各グループに含まれる全ての卵が有精卵であることが明らかです。
では、もう少し考察を続けましょう。定義によりε＞0ですので、以下の４本の不等式は、常に成り立ちます。
8ε＜3ε＋6ε
3ε＋6ε＜10ε
10ε＜3ε＋8ε
3ε＋10ε＜6ε＋8εこれを雛形にして、以下の４本の不等式を考えます。
γ8＜α3＋β6 ……①
α3＋β6＜δ10 ……②
δ10＜α3＋γ8 ……③
α3＋δ10＜β6＋γ8 ……④仮に上の４本の不等式が成立していれば、以下のような推論で、α3 = 3ε、β6 = 6ε、γ8 = 8ε、δ10 = 10εが結論されます。すなわち。
①②③より以下が成り立ちます。 γ8＋ε≦α3＋β6
α3＋β6＋ε≦δ10
δ10＋ε≦α3＋γ8
この３式の辺々を足し加えて
α3＋β6＋γ8＋δ10＋3ε≦α3＋α3＋β6＋γ8＋δ10
が得られ、右辺と左辺の共通項を整理すれば、
3ε≦α3＝A3 - a3
が得られます。α3は定義により3εを越えませんから、
3ε＝α3
がわかりました。
残る目標は、β6 = 6ε、γ8 = 8ε、δ10 = 10ε ですが、既にα3が3εであると確定していますので、まずはβ6について考えます。
①②④を整理していきましょう。γ8＜α3＋β6 ……①
α3＋β6＜δ10 ……②
α3＋δ10＜β6＋γ8 ……④すなわち、
γ8＋ε≦α3＋β6
α3＋β6＋ε≦δ10
α3＋δ10＋ε≦β6＋γ8α3＝3εでしたから、
γ8＋ε≦3ε＋β6
3ε＋β6＋ε≦δ10
3ε＋δ10＋ε≦β6＋γ8辺々を加えれば、
γ8＋ε＋3ε＋β6＋ε＋3ε＋δ10＋ε≦3ε＋β6＋δ10＋β6＋γ8
整理して
β6＋γ8＋δ10＋9ε≦β6＋β6＋γ8＋δ10＋3ε故に
6ε≦β6
が得られます。β6は定義により6εを越えませんから、
6ε＝β6
がわかりました。残る目標は、γ8 = 8ε、δ10 = 10ε ですが、既にα3が3εであり、β6が6εであると確定していますので、②よりδ10が10であること、③よりγ8が8であることが直ちに確定します。
ここまでで、①②③④から、α3 = 3ε、β6 = 6ε、γ8 = 8ε、δ10 = 10εが結論されることがわかりました。すなわち、①②③④を天秤の結果として示すことが出来れば、a3、b6、g8、d10、の各グループに含まれる全ての卵は無精卵であり、A3、B6、G8、D10の各グループに含まれる全ての卵が有精卵であることがヤマネにたいして証明されます。
①②③④は、以下の天秤の結果に等価です。
a3＋b6＋G8＜A3＋B6＋g8 ……①'
A3＋B6＋d10＜a3＋b6＋D10 ……②'
a3＋g8＋D10＜A3＋G8＋d10 ……③'
A3＋b6＋g8＋D10＜a3＋B6＋G8＋d10 ……④'以上です。
ぜんぜん直感的ではないですね。
天秤４回で、持ってきた卵が確かに有精卵２８個と無精卵２８個であることをヤマネに納得させる方法があれば是非教えて下さい。
-
@Hannibal さん
宜しくお願いします。!(^^)!
-
@Hannibal さんが発言 :
「...ぎっ...こん」挿し絵……………何度みてもわからないです
「閃け！」のコメントにシーソーの話があったので、それを読んだ時に浮かんだ絵です。
最初に左が重かったのに、さらに乗るモグラが出て「ぎっ、こん」右が重くなりました。
なんでかなあと思ったら、左に乗っているのが、ちっこいモグラだったのです。
ああだからか、と納得しました。それだけです（笑
-
★★★★★★★★★★
★・・正解発表・・★
★★★★★★★★★★まずは出典からです。
出典
●Another Cool Coin-Weighing Problem‖(Tanya Khovanova's Math Blog)
http://blog.tanyakhovanova.com/2018/08/another-cool-coin-weighing-problem/
次に想定解です。
想定解
出典のコメント欄にも解がのっています。それと同じものに私なりの解説をつけます。
まず、無精卵を１、２、３、４、５、６、７と名付けます。有精卵を①②③④⑤⑥⑦とします。
天秤を１回だけしか使うことが許されなかったとしましょう。
このときには、有精卵を１個、無精卵を１個、たしかに持ってきたことを以下のようにヤマネにたいして証明できます。
天秤で軽い方を不等式の記号のすぼまっているほうで表すこととします。
天秤は
１＜①
をヤマネに提示します。
これで１は確かに無精卵で①は確かに有精卵であるとヤマネに示すことができます。
では、天秤の２回目はどうすればよいでしょう。
何か新しい情報を得るために簡単な方法のひとつが以下ですが、これがヒラメキとしてほしいわけです。
１＜①
に、左右の皿に【２個づつ乗せたら】１②③＞①２３
と、天秤の傾きが逆転したことをヤマネにみせたときに、ヤマネにとっては新しいわかりやすい情報が手にはいります。これがヒラメキとしてほしいわけです。
左の皿が重くなった、ところが右の皿には有精卵が少なくとも１個あることが、１回目の天秤の結果でわかっています。左の皿が重くなったのですから右の有精卵の個数１よりも大きい個数２が左の皿に乗せられた、このことをヤマネは理解できます。左の皿の無精卵１の他に乗せられた②③が確実に有精卵であること、そして、同時に、右の皿の２３はともに無精卵であることも同時に、ヤマネにはわかります。
では天秤三回目はどうしましょうか。
試みに今までのやりかたを踏襲してみましょうか。左右の皿に更に二個づつ乗せて天秤の傾きを再逆転させてみましょう。
１＜①
１②③＞①２３
１②③４５＜①２３④⑤再び天秤の傾きが変化しましたが……これでは④⑤が有精卵、４５が無精卵とヤマネにとって確定しただけで、他の６７⑥⑦の卵については何もデータがなく、失敗です。そもそも天秤に乗せてすらいませんし。
ここで最後のヒラメキがほしいわけです。
３回目の天秤でヤマネに提示すべきは以下のようなものでした。
①②③４５６７＜１２３④⑤⑥⑦
上で天秤２回目まででヤマネにわかっていることは、①②③が有精卵で１２３が無精卵であることです。
左の皿に少なくとも３個の有精卵があるはずですから、それよりも重い右の皿には４個の有精卵がなくてはいけません。④⑤⑥⑦がそれです。又、このとき、４５６７にひとつでも有精卵があったら左の皿が軽くなることはないですので従って４５６７は全て無精卵、これがヤマネにもわかるわけです。以上で解説を終わりました。
何かご質問があればどうぞ。なお、一連の手続きは、以下のような骨組みになっています。
０＜１
１＜２
１＋２＜４右辺の和が７なのですね。
-
@Hannibal さん
新しいパズルの紹介ありがとうございました。
私はまだ解けていませんが、だいぶヒントをもらったので、
そのうち道が見えてくるのではと思います。ちなみに、私の思考の道筋は、（ヒントは気にせず）現在のところこのようになっていました：
が指摘したように、１４個全ての卵の情報をエンコードするには３回の計測は不足しているので、コードは不均一に割り当てられているはず。おそらく７有精卵・７無精卵の組合わせは、他にない固有の性質を持つのでは。その性質を３回の天秤操作でデモンストレーションすることができるのでは？ です。今回の場合、いつもの偽コインと天秤のパズルと違って、予め操作者に偽コインが分かっています。この点で、天秤は計測のために使うという考えを離れ、デモンストレーションであると考えようとしていました。７ー７の組合わせのまず目立つ特徴は、有精卵と無精卵の数が同一である点です。そして、パズルの解が要請することによれば、そこからのズレ、例えば、８ー６になると、「デモンストレーション」は失敗しなければなりません。このイメージは、なにか全体が仮想の天秤に載っていて、７－７のときのみ釣合いを示めすかのようです。このような仮想の天秤とは...
というところです。
でした！
-
@Hannibal さん
分かったかも知れません！！
最後に出ている３つの不等号を見て、ようやくですが。端から確定させていく方法でしょうか。
考え方が正しいとすれば、４回の天秤操作で、１５ー１５の有精卵・無精卵が証明できそうです。
あ、だから、２^n-1なんですね。ようやくここまで追いついたようです（泣
でも実際は２７ー２７が可能な方法があるんですね...。＃ ＃＃ ＃＃ ＃＃ ＃＃＃＃ ＃＃＃＃
-
本牟多能比能美古意富佐邪岐意富佐邪岐波加勢流多知母登都流藝須惠布由布由紀能須加良賀志多紀能佐夜佐夜
「古事記」の中巻の応神天皇記にある歌謡です。パズルですね。@Hannibal さんのヒントから私に分かったのは、
布由布由（恩頼恩頼？冬冬？）
佐夜佐夜（鞘鞘？さやさや？）
意富佐邪岐 意富佐邪岐繰り返しです。パターンマッチで攻めます。
直感素人読みです。本牟多能（ほむたの）
比能美古（日の御子）
意富佐邪岐 意富佐邪岐（いとさじき、いとさじき）
波加勢流多知母（流せる太刀も）
？？？
-
今のところ判明しているデータです。天秤ｎ回で有精卵Ｘ個、無精卵Ｘ個の一覧となります。真のベストエフォートとは限りませんけれども。
ｎ=１,Ｘ=１
ｎ=２,Ｘ=３
ｎ=３,Ｘ=９今は n = 4, X = 27 の解が判明していて、最大数が 3^(n-1) である可能性があるわけですね。
不思議なことに通常の偽コインパズルと似た 3 の累乗が出てくるんですね。
（もしこれが最大数系列なら） f(n) = 3 * f(n-1) というロジックの存在を示唆！？
-
ソムさん、開眼おめでとうございます。木をみつけましたね。
ひらめきのおやつ１で @ソム さんは、見事に森の描写をしておいででした。
とくに「７ー７の組合わせのまず目立つ特徴は、有精卵と無精卵の数が同一である点」は実はとても大事な点なのです。
大事な理由を隠し発言しておきます
重いほうの有精卵を１個、２個、４個のグループにわけます。それぞれのグループごとの重さをＡ[１]、Ａ[２]、Ａ[４]としましょう。同様に、軽いほうの無精卵を１個、２個、４個のグループにわけます。それぞれのグループごとの重さをＢ[１]、Ｂ[２]、Ｂ[４]としましょう。
そして、
Ｃ[１]=Ａ[１]-Ｂ[１]
Ｃ[２]=Ａ[２]-Ｂ[２]
Ｃ[４]=Ａ[４]-Ｂ[４]
とします。また、簡単のため有精卵と無精卵との重さの差を １ とします。（問題の本質を変えないようにしながら重量単位の変更をしたわけです。）
するとヤマネにとって定義から明らかに
-１ ≦Ｃ[１]≦ １
-２ ≦Ｃ[２]≦ ２
-４ ≦Ｃ[４]≦ ４なのです。
あとは、この定義のもとで、３個の変数Ｃ[１]、Ｃ[]２ 、Ｃ[４]についての３本の不等式をヤマネにみせることで、ヤマネがＣ[１]=１
Ｃ[２]=２
Ｃ[４]=４であると納得するように、そのような不等式の３本組をみつけるパズルとなります。
そこで、
０＜１
１＜２
１＋２＜４
の３本組の不等式に範を求めるわけです。すなわち、ヤマネにみせる三回の天秤の計測結果が
０＜Ｃ[１]
Ｃ[１]＜Ｃ[２]
Ｃ[１]＋Ｃ[２]＜Ｃ[４]
であるならば、-１ ≦Ｃ[１]≦ １
-２ ≦Ｃ[２]≦ ２
-４ ≦Ｃ[４]≦ ４
のもとで、Ｃ[１]=１
Ｃ[２]=２
Ｃ[４]=４
であることがヤマネにもわかるわけです。このように、Ｃ[]を作ることができることが、問題をシンプルにしているわけです。
天秤の回数が多くなっていったときに何個づつの有精卵:無精卵までヤマネに証明できるかについては、厳密な意味で解き明かされているわけではありませんが、今のところ上記の【Ｃ[]を作成しそれが満たすべき不等式の発見する】といった方法になっています。
というわけでした。本質を見抜かれていましたね。
-
おっと @ソム さん
ビックリするお知らせです。天才たちが下記を発見してくださいました。
天秤の回数をｎ，卵をｍ個づつで、ヤマネに対して確かに証明できるときに、
Yamane（ｎ，ｍ）=１ とします。そうでなければ0とします。以下が判明しています。
Yamane（１，１）=１
Yamane（２，３）=１
Yamane（３，９）=１
Yamane（４，２７）=１
Yamane（５，９５）=１ アーッ
Yamane（６，３０５）=１
ｎが大きくなるにつれて自由度が増えて新機軸の発生が起こっているようです。
私が解けたのは
Yamane（３，９）=１
Yamane（４，２１）=１くらいなもので、
Yamane（４，２１）はベストではない、Yamane（４，２７）=１だと教えてもらい衝撃をうけました。
-
あっ、そうそう、そうです、そうでした。@ソム さん
＞私に分かったのは、
布由布由（恩頼恩頼？冬冬？）
佐夜佐夜（鞘鞘？さやさや？）
意富佐邪岐 意富佐邪岐
繰り返しです。パターンマッチで攻めます。はいっ！！
おっしゃる通りに目につく繰り返し、これに今回は着目したのが私にとって大きな前進でした。（手をつけはじめてから、もう数年になります。解釈を作っては捨て作っては捨て……今回は捨てるには忍びないほどの着想が降りてきました。）
繰り返しは歌謡だからなのですが、繰り返し以外にも、この歌にはドッサリと密度高くコントラプンクトが歌いこまれていることに気がつきました。これは良い兆候です。歌謡らしさが出てきましたので。
なお、「波」は〈は〉の万葉仮名です。
★この歌謡については、いづれトピックをたてさせて頂きたいと思います。詳しくはそちらで申し上げましょう。
-
一晩明けました。
@ソム さん
＞布由布由（恩頼恩頼？冬冬？）
コントラプンクトで恩頼も冬もともに歌謡に登場しても構いません。
ソムさんの天才性が〈恩頼〉を抽出したことにたまげています。
キモなのです。
-
