あのタイの洞窟から少年たちを救い出したのはソフトウェア無線が一役買っていた。Maxtechという無線でアナデバのAD936xを使っている。

Daring Thailand cave rescue: The technology behind it

という記事を読んだ。あのタイの洞窟に閉じ込められた少年たちの救出劇は記憶に新しいが、その無線にはソフトウェア無線（SDR)が使われていた、というもの。

具体的にはMaxtechという製品で、

http://max-mesh.com/

メッシュネットワークを使ってホップ通信（届かないところには無線機を介して通信）をし、数十MHzから6GHzにもわたる広い帯域の中で一番通信できるところを探して通信する（通信状態が悪ければ帯域を狭めたりもする）。

これはなかなか救命用の無線としてすごいと思います。

http://www.analog.com/jp/applications/technology/sdr-radioverse-pavilion-home/wideband-transceivers/ad936x-family.html

そのテクノロジーの中心となるのがアナログデバイセズのAD9364。

http://www.analog.com/jp/products/ad9364.html

主な性能は

• 12ビットDACとADCを内蔵した、RF 1×1のトランシーバ
• 帯域：70MHz～6.0GHz
• TDDとFDD動作をサポート
• 調節可能帯域幅（BW）：200kHz以下～56MHz
• デュアル・レシーバ：6つの差動または12つのシングルエンドの入力

だそうだ。

評価ボード：

こういうのって、なかなか商用通信（携帯電話・WiFi/BT)に対して数がでないけれど

大事なアプリケーションですね。

東山魁夷展 本当の「あお」に出会う @京都国立近代美術館を観てきた。本当に青い！（小並感）唐招提寺の障壁画が良かった！

名前は知っているけれど、絵はそんなにじっくり見たことなかった東山魁夷さん。

作品をたくさんみたけれど、思った以上に青かった！これはいいなあ。全然知らなかった。

唐招提寺の障壁画もあって、鳥が良かった。

松屋で鶏のバター醤油炒め定食を食す。ものすごいバター＋ニンニク感。

実はあんまりバター醤油って得意じゃない、、、がこれはニンニクが相当強めでバランスがとられていておいしくいただきました。

KITTE名古屋のスパゲティ・ハウス ヨコイでミラカンセット（エビフライ・ドリンク付き）を食す。

あんかけスパの元祖というヨコイさんで昼食。なかなかおいしかった。

「呪い殺しの村」（小島正樹さん）を読んだ。確かにこれは3冊の小説にアイデアを分けられそうなやりすぎミステリ！（やりミス）

扼殺のロンド、を読んで、あまりのアイデアの詰め込み方に注目していた小島さんの小説を読んだ。今回も本当にやりミスだわ、、、あらすじは

「東北の寒村で受け継がれる三つの奇跡（千里眼・予知・呪殺）。

探偵の海老原はその解明に挑む。

一方、東京では警視庁の管理官、鴻上が不可能犯罪事件に対峙していた。

犠牲者はその寒村の出身だった。鴻上は寒村に向かい、海老原と出会う。

四半世紀前に起きた、少女の神隠し、そしてさらに過去の復讐劇が関係しているのか、、、

」

というもの。

いやこれ、普通の小説家なら3本に分けられるトリックを惜しげもなく使っているよ！

しかも最後のやつ、、、あれもうお腹いっぱいなところに盛り込んできた（雪だるまのやつ）。

本当にやりすぎミステリでおもしろい！

この作家さん、追っていきます。

#仮面ライダービルド 最終話、第49話の話数の数式667^2=444889,6667^2=44448889,66667^2=4444488889など48が間に挟まれることの証明。

仮面ライダービルド、最終話の話数を表す数式は、67,667,など下表の第一列を二乗すると、第二列のように49の間に48、4488、・・・が挟まれるというものだった。

こちらのリンクも参照。

#仮面ライダービルド　最終話、第49話の話数を表す数式は6667^2=44448889からだんだん6がなくなっていって最後に7^2=49になる。48話から49話への移り変わりかな。

これはどうやって証明できるかというと、

まず一般に第一列は

6*(10^n+10^(n-1)+・・・1）+1

とかける。ところでかっこの中は初項1で比が10の等比級数。

なので、

6*(10^(n+1)-1)/(10-1)+1 = 2*(10^(n+1)-1)/3 +1=2*10^(n+1)/3+1/3

これを二乗する。

(2*10^(n+1)/3 +1/3）^2

= (4/9)*10^(2(n+1)) + (4/9)*(10^(n+1)) +1/9

ここで、(10^(2(n+1))-1)/9  = (1+10+・・・10^(2n+1)）

(10^((n+1))-1)/9  = (1+10+・・・10^n)

なので、

4*10^(2(n+1))/9= 4*(1+10+・・・10^(2n+1)）+4/9

4*10^((n+1))= 4*(1+10+・・・10^n）+4/9

となる。

なので、結局

(6*(10^n+10^(n-1)+・・・1）+1）^2

=4*(1+10+・・・10^(2n+1)）+4*(1+10+・・・10^n）+1

となる。

つまり、1から10^nまでの係数は8で、それ以上だと4。

ただし最後の桁は1足されるので9、ということになる。

「教会堂の殺人」を読んだ。あのリーマン予想の証明に近づいた数学者が皆殺しされるミステリ。

リーマン予想もそうですが、囚人のジレンマ、ゲーム理論が効果的に使われている作品。

あの密室はやだ、、、、私だったらどうするだろう。

このシリーズ、最初の探偵役が全く違った役割にどんどんなるというかなり珍しい作品です。

しかもシリーズの重要人物が次々脈絡もなく、、、、

これ次どうすんだろう、、、

#仮面ライダービルド 最終話、第49話の話数を表す数式は6667^2=44448889からだんだん6がなくなっていって最後に7^2=49になる。48話から49話への移り変わりかな。

最終回はこれでした。前回の48話からだんだん49話になるという凝った作り。

しかし1年間、私もずっとこのビルド見続けてきて数式解説とかして、かなり楽しかったです。

数十年ぶりに物理に触れた気がします。

1話から49話までの数式解説まとめモーメント

仮面ライダービルド　数式解説まとめ

神明社@名古屋でお参り。

名古屋お参りシリーズの最後です。

麺屋はなび ＠名古屋でDX台湾まぜそばを食す。

名古屋駅から見える広告看板で気になっていたお店にようやく行ってきた。DX台湾まぜそばを注文。

これはなかなか豪華。しっかり混ぜていただく。なかなかおいしい。辛さを普通にしたのですが、もっと辛くすればよかった（卓上に唐辛子もラー油も山椒もあるので辛くはできますが）。

れんげ一杯の無料追い飯も可能なんですが、一杯食べたいので白ご飯は別途オーダー。

すき家でニンニクの芽牛丼を食す。

もう暑くてバテバテなのでスタミナの付きそうなニンニクの芽牛丼を注文。

ニンニクの芽の食感が非常にいいです。

ただもう少し辛さを、ということでキムチも追加投入しました。単品でも結構辛いのは辛いんですが。

探偵AIのリアル・ディープラーニングを読んだ。あの○○○○○○○○殺人事件の早坂吝さんとは思えない本格？近未来？ミステリ

フレーム問題、シンボルグラウンディング問題などを織り込んだAIミステリで、作者があの！援交探偵シリーズの早坂さん。全く作風変えてる！（まあユーモアミステリなのは一緒ですが）

人工知能の研究者だった父を亡くした高校生の輔。父は探偵と犯人のAIの2つを遺していた。犯人が持ち去られ、探偵AIと共に父の死を調査する輔。

そこに見え隠れするテロ集団オクタコア。AIの相以と輔は父の死の謎を解明できるのか？というもの。これはすごく面白くてまだまだ続編ができそうです。チューリングマシンや中国語の部屋の問題も出てる。

「検察側の罪人」（文庫版 上下）を読んだ。検事の対立、だけでなく正義とは？や時効問題を取り扱う巨篇。

木村拓哉さんと二宮和也さんがW主演する映画が公開されるということでその前に読んでおこうと思い購入。これはなかなかに重い話、、、

最上検事は23年前、住んでいた寮で親しくしていた中学生の娘さんが殺害され、どう考えても怪しい容疑者は逮捕されずに時効を迎えたという苦しい過去がある。

そして現在、蒲田の老夫婦殺人事件の容疑者の一人としてあがったのが過去の容疑者だった松倉。今度こそ法の裁きを受けさせると覚悟を決める。

一方、若手で最上に心酔する沖野検事は、その松倉の取り調べを行うが、厳しい取り調べを進めていくうち、どう考えてもこの事件の犯人だとは思えなくなってくる。

松倉は否認し続けるが、唐突に証拠が発見され、またもう一人の容疑者の居場所が不明になる。

そして最上と沖野の決裂が、、、二人のそれぞれの正義とは？

というもの。

取り調べと対立のシーンは読んでいて息苦しくなる、、、そして最上の下した正義に考えさせられる。が、これを木村さんかー、かなり冒険的な役どころですね。撮り方によっては違うだろ！になってしまうかも（あまりに同情的に描くと、という意味）。

二宮さんは結構あのままで沖野かも。

映画「インクレディブルファミリー」観てきた。イラスティガール超かっこいい！Here comes elastigirlも超かっこいい！そして肉まん太郎が謎、、、

ママことエラスティガールが大活躍でめちゃくちゃかっこいい！バイクアクションもあんなバイク変形ある？というすごいやつ。

そしてエンディングでかかるこのテーマ曲がすごい。

まあ同じくお父さんのテーマもかっこいいけど。

ママとジャックジャックだけでもう大満足の超面白い映画でした。

悪役も今風（前回もそうだったけど、このシリーズ悪役が凝ってる）。

でも最後のシーンではなんか涙が、、、家族がまとまるとかに弱いのだ、、、

それはともかく同時上映の短編の肉まん太郎。Baoというタイトル。

謎のシュールな展開で、最後のは、どう考えたらいいのか？

もともとあの子がいたのか、それとも、、、

どっちにしろお母さんが作る酢豚が超うまそうで、すぐにこのあと味仙で食べてきました。

＃仮面ライダービルド 第４８話の話数を表す数式はn>=48ならnと9/8nの間に必ず素数がある、というもの。nと2nの間に素数があるのはエルデシュが高校生で証明した。(ベルトラン・チェビシェフの定理)

こちらを参照。

http://www.geocities.jp/ikuro_kotaro/koramu/5175_a4.htm

エルデシュの話はこちらに。

自然数nと2nの間には必ず素数が存在する、、、ってエルデシュが高校生のとき証明したって！

そして私の知ってる最良のものは、n≧89693のとき、 nとn(1+1/log(n)^3)の間に必ず素数があるというもの。

http://math.colgate.edu/~integers/s52/s52.pdf

でもこれがあるからあんまり意味ないか、、、

チェビシェフ・シルベスターの定数。

http://mathworld.wolfram.com/Chebyshev-SylvesterConstant.html

nとn+αの中に必ず素数がありますが、そのα=0.092…

これまでの数式解説まとめはこちら。

仮面ライダービルド　数式解説まとめ（モーメント）

屋上（島田荘司さん）を読んだ。久々の大ネタだ！しかも御手洗潔シリーズ！

水晶のピラミッドとかアトポスとか眩暈とかネジ式ザゼスキーとかあの辺が大好きなのですが、最近はあまり大ネタがないので寂しかった、、、ここで（海外じゃないのでそこまででかくはないですが）かなりの大ネタが来た。

あらすじは、グリコの看板を思わせる機械仕掛けの看板がある街が舞台。その隣にある銀行で自殺などするはずのない女性行員が飛び降りて死んだ。それは単なる始まりで、次々と同じく行員が飛び降りていく。誰もが自殺などするはずがない、、、

一方、全くついていない男、田辺のモノローグと、サンタクロースの扮装のバイトをしている菩提のエピソードが挟まれ、、、

そしてとうとう4人目の飛び降り死者が現れる。

ここで御手洗潔さんと石岡さんが登場（これはちょっとびっくり。御手洗シリーズだったのかと）

真相を明らかにする、というもの。

これは島田さんも書いているように絵画的。トリックの絵をちょっと描いてみよう。

うん、絵心がなさ過ぎてなんのネタバレにもなってない。安心だ！

映画「オーシャンズ8」を観てきた。何も考えずに楽しめる娯楽作！潜水艦のおもちゃはそこか！

実はチャーリーズエンジェルとか好きなので、オーシャンズシリーズ一切観てないけど絶対面白いはずだ、と思って観てきた。期待通りの娯楽作品。

アン・ハサウェイがあまりにアホっぽい役？と思ったら全然違う展開に。

ああ、それでオーシャンズ8か。

今風の映画らしく、国籍もバラバラ（インド、中国含む）。

サンドラブロック、ケイトブランシェットはさすがの貫禄だが、ヘレナ・ボナムカーターは途中まで頼りなげで誰か気づかなかった。こちらもさすが。

一番かわいいのはリアーナですな。でも妹もメンバーに入れてあげてほしい。。。

そしてメットガラは本当にやってる。

https://www.vogue.co.jp/tag/event/metgala

同軸の磁石の鍵がよくわからなかった、、、

こういうやつの応用かな、、、

https://www.lock-information.com/type-lock/magnet-cylinder/

あと黄色い潜水艦があそこでくるかという。そこはなかなか面白かった。

確実に続編ができそうなお話。

プーシキン美術館展 旅するフランスの風景画＠国立国際美術館 を観てきた。やっぱりフランスの風景はいいなあ。コレクション展もよかった。

モネの草上の昼食（もっと有名な同タイトルのマネじゃないです！）が日本初公開。

それもいいですが、やはりフランスの風景がすばらしい。

先日、名古屋市美術館で印象派展を観てきたところなので、それと相補的で面白かった。

中之島の国立国際美術館で開催されてます。

それと同時開催のCollection展も面白かった。覗き穴の先には、、、

（あと脳とトランジスタも）

松屋で茄子とネギの香味醤油ハンバーグ定食を食す。夏にぴったりのさっぱり酸味。

味はいいのですが、いかんせんナスが少なすぎる、、、この3倍くらいほしい（なす好き）。

ただ、調理がイマイチでハンバーグが熱すぎ、ソースが冷えすぎでした。

それを差し引いてもなかなかおいしいと思う。

若宮八幡社＠名古屋でお参り。

縁結びで有名だそうです。

針供養の塔があった。

冨士神社＠名古屋でお参り

今週は名古屋に来てます。冨士神社でお参り。名古屋城の石が残っている。

梅田の阪急三番街のレゴのブリックミュージアムを観た。宝塚歌劇団や西宮えびすの福男、箕面の滝のレゴ！

北館B1Fのキディランドにあるのかな？と思ったら違っていて1Fにあります。

まず西宮えびすの福男に爆笑した。これをレゴで作るとは、、、

そして箕面の滝。

そしてこれが一番観たかった、宝塚歌劇！

どれもすごいです。これが無料で観られるとは。

名古屋市美術館に至上の印象派展 ビュールレ・コレクションを観に行ってきた。絵画史上、最強の美少女を観に。

かなりでかくぶち上げたキャッチコピーですが、なかなかよかったです。

クロード・モネ《睡蓮の池、緑の反映》も。撮影可能でした。

衣装を着て撮影もできる。

この仮面をつけた少女の絵も常設展示で展示されてました。

#仮面ライダービルド 第47話の話数を表す数式はarctan(1/73)+arctan(1/132)=arctan(1/47)

arctan(1/73)+arctan(1/132)=arctan(1/47)は、例えば
http://xn--w6q13e505b.jp/formula/arctan.html
を参照。

映画「ミッションインポッシブル フォールアウト」を観てきた。トムクルーズが最初から最後まで頑張る映画、、、あの年齢ですごいが、ヘリの事故と重なったのは少し気の毒。。。

とにかく最初から最後までトムクルーズが走り回る。パリでの無茶苦茶なバイクのカーチェイス、イギリスでの屋根の全力疾走、流石にいい年齢のトムさんだが気の毒なほど走り回る。

まあ、ストーリーはあってないようなもので、、、なんでプルトニウムがあんなチャチな容器に入ってんだとか、放射線が漏れまくっているとか、原子爆弾が72時間で作れるとか、、、

でもそんなことはあまり関係ない。

最後のヘリのシーンは実際にトムが操縦しているということですが、まあ、、、必ずしも自分でやらなくても良いんじゃないかとか思ったり。でもそれがこだわり。

ヘリの事故があったばかりなので、間違いなくテレビでやっていたら自主規制されていたと思いますが、映画は関係ないですよね、、、（亡くなられた方のご冥福をお祈りします）

東京医大の入試点数シミュレータ（男女で点数が変わる）をカシオの高精度計算サイト keisan.casio.jp にUP!

東京医科大学のむちゃくちゃな試験の点数つけが話題になってる。

https://www.nikkei.com/article/DGXMZO33909440X00C18A8CC1000/

こちらに調査資料全文が出てる。

https://www.huffingtonpost.jp/2018/08/07/tokyo-medical-university-report_a_23497243/

まあ、これも計算式が出てるのでシミュレーションはできる、、、なのでやってみた。

こちら。

東京医大の入試点数シミュレータ

点数の圧縮としてはなかなかよくできてる、、、よくこんなことを思いつくというかなんというか、、、

王将で期間限定の若鶏となすの旨辛味噌炒めを食すが、、、店がはずれか鶏が死ぬほど硬い。。。

ナスも鶏も辛味噌も好きなので絶対気に入ると思っていたが、

某大阪のお店、めちゃくちゃ忙しいのはわかるけれどものすごく待った挙句、

めちゃくちゃ硬い鶏肉に、、、ちゃんとしたお店で再挑戦したいところ。

「人魚の眠る家」（東野圭吾さん）を読んだ。脳死判定とBMI(ブレインマシンインターフェース）を取り扱った作品

幼い娘がプールで溺れ、「おそらく脳死」状態になった。母・薫子と別居している父・和昌は一度は臓器提供のために脳死判定をしようとしたが、一転翻意。

和昌の経営する会社で開発を行っている、体の不自由な方が腕を動かせたり目の見えない方が障害物を判定したりする技術、BMIや自発呼吸をさせる器具（横隔膜ペースメーカー。実際にある。https://www.thoracic-kyoto-u.gr.jp/doctor/research/breath_physiology.html）を用いて脳死状態の娘をまるで生きているように動かすことを試みる。。。というストーリー。

幼い子供の脳死判定、臓器移植などを取り扱った重いテーマで、東野さんにしては珍しい。 読んでいるといろいろ考えさせられる。最後は、、、まあこれはそうしないと仕方がない。

映画化もされるそうです。

なか卯で4種チーズの親子丼を食す。うーん、ちょっとチーズ感強すぎかな。

決してまずくはない、けどちょっとチーズ感強すぎかな、という印象。

私はすき家のチーズ牛丼好きですが、あれはタバスコが付いてきていい辛みが付くから。

もう少しアクセントがあるともっと美味しくなるかと（ブラックペッパーが付くらしいと後で聞いた。店員さんに忘れられてた、、、）

ココイチで地域限定の鶏ちゃんカレー（けいちゃん）を食す。七味付き。

甘辛の鶏・キャベツがよくご飯に合う。七味もついてきたのでかけるとさらにおいしい。

食べたのは5辛なのでちょっと色濃いめ。

浜寺公園に行ってきた。ばら庭園なども観たが、、、あまりの暑さにすぐ退散。

この辺までくる用事があったので初めて浜寺公園に行ってみた。

涼しかったらのんびりできそうな公園なんですが、暑い！

噴水の周りも影がない！

もうちょっと涼しくなったらまた来よう。

映画「カメラを止めるな！」を観てきた。評判通りめっちゃ面白かった。満員の館内が一体感を持って盛り上がった。

桂川のイオンではちょっと前から上映されていて人気ということを聞いてましたが、今回は昨日から上映が始まったTOHOシネマズなんばで観てきた。

もうこの土日はチケット完売で、私もようやくとれたのが最前列だった。。。

内容はもう評判通りの面白さ。

ネタバレを聞かないように早めに観たほうがいいというのもよくわかる（ばれても面白さが無くなるわけじゃないけど、驚きが無くなるかも）ジャンルが何かもネタバレになるのかな。

ということで私もネタバレは書かないけれど、後半は満員の館内がどっかんどっかん受けまくっていた（って笑いが起きることもネタバレか、、、）全員が一斉に笑うのは結構壮観。

ポン！が鉄板でした。

そしてみんなが笑っているけど私一人えづいているシーンとか、、（私はあれはだめなんですよ）

監督の娘役さんが私の知っている人に瓜二つで驚く（年齢が違うので別人、、、）のと、カメラ助手の女性がかわいいのと、女性プロデューサの顔の比率に驚愕する、、、

写真の伏線とかを観るとやっぱりジャンルは家族愛かも。。。

まあとにかくいいものを観た感が半端ない。

皆さんもぜひ。なかなかチケットとれないかもですが。

松のやで開花丼を食す。店舗限定の他人丼かな。

松のやは店舗限定で豚丼などを出している。これもそのバリエーションの開花丼。

卵とじの豚丼ですが、かなりの濃い味でした。名前からして関東の味付けなのかな？

博多火炎辛麺赤神 京都店で特製火炎辛麺、辛さと野菜増しを食べる。

この前はノーマルでしたが、今回は辛さと野菜（もやし）増しで。痺れは普通。

これくらいなら全然大丈夫な辛さでした。この上行ってみようかな。

水餃子も追加で。

中華五苑で石焼麻婆豆腐を食べた。

ここは本当に熱々で、山椒も別に瓶で持ってきてくれるのでいいですね。

餃子も食べました。