4840. 日曜日

　本日は私は休日で、家の中のやることやって、あとはゆっくりお休みしました。
　昨日は近所のスーパーマーケットに行きましたが、うっかりして米の販売コーナーは見ませんでした。とにかく量は足りているようです。とある理由で透明の蓋付きの深めのフライパンみたいなのを購入しました。まだ使っていません。

　趣味というか勉強方向は、微分幾何学を何としてでも進めないといけません。いくつかの参考書を眺めていて、何となく感じがつかめた感じがするので、先に進めたいと思っています。
　まずは古典的な曲面論から入るのが良いような気がしてきました。数式は分かっているので、その意味づけです。曲線論はなぜか最初から多次元対応です。曲面論は3次元ユークリッド空間中の曲面(それ自体は2次元)の話に限定されているようです。あるいはn-1次元なのかも。

　その次はやはり微分1形式から入って、微分k形式に進む予定です。ここを突破しないと、ゲージ理論に入れないみたいです。
　読んだ本では微分1形式などの分かりやすいイメージは無い、とされています。しかし、対応する共変ベクトルには明確な幾何学的イメージがあります。普通の微積分の微分にも明確な幾何学的イメージがありますから、何とかなるのでは無いかと思案中です。

4839. 奈々の中の人の誕生日

　本日、6月7日はPS4の最新アイマスゲーム、スターリットシーズンに出てくる仮想アイドル、安部菜々(シンデレラガールズ)の声優、三宅麻理恵さんの誕生日だそうです。
　いつものようにスターリットシーズンのPV新着欄で精鋭Pがお祝いのPVを上げています。

4838. 金曜日

　本日は昼食時に職場近所の量販店に出かけることができました。Switch 2は抽選販売中でした。PS4 proとオリジナルPS5の時は梨のつぶてでしたから、ずっと良好な経過だと思います。おそらくですが、大半のゲームファンは欲しいソフトが出たら本体も買う、の姿勢だと思います。私もそうです。

　感じとして国内の警戒した感じが解かれているような気がします。おそらく今回もまた自衛隊に頼ったのでしょう。何が警戒されていたって?、何も起こらなくて良かったです。

4837. 初動はまずまず

　本日もいつも通りで、一日中お仕事で、家庭と職場を往復するのみになりました。

　任天堂の新型ゲーム機、Switch 2は性能の良さが評判のようです。最初の感想は一週間くらいで出そろうと思います。明日はその売り場を見てみます。

4836. 明日は

　本日は普通にお仕事でした。周囲も特に変化が無いように見えます。

　明日は任天堂の新型ゲーム機、Switch 2の発売日だそうです。しかし、私は一日仕事なので職場近所の量販店には行けません。明後日には行けるので、ゲームコーナーの様子を見ようと思います。

4835. いろいろ

　元プロ野球、読売巨人軍の長嶋茂雄氏が亡くなられたそうです。ネットでも追悼の記事が見られます。
　私は川上監督、長島・王の優勝が続いていた時代によくテレビで見ていた記憶があります。とはいっても、当時は関西に住んでいましたから、地元には阪急・阪神・近鉄・南海があって、球場にも時々行っていました。さすがにプロで迫力のあること。ただし、観客はまばら。
　その点、読売と国鉄の関東では大変な人気だったと推察します。

　野球はテレビや新聞を賑わせ、長嶋氏はスターとして祭り上げられ、その役割をよく理解して行動していたと思います。もちろん、実力があればこそです。

　トルコでのウクライナとロシアの直接交渉では、停戦協議なのにロシアからは降伏勧告のような要求が出て、当然ながらその部分は決裂。とにかく協議は続けるようです。

　韓国の大統領選挙が実施されたとのことで、日本の報道では政局が安定する方向に動くとのことです。

4834. 週明けの

　本日は私は普通の勤務日でした。通勤電車も職場近所の様子も普段と変わらず。日本国内は落ち着いている感じです。
　大阪万博は最初のピークを迎えているようです。私は前回は何度か行きましたが、今回はおそらく行くきっかけが無いと思います。

　何となくですが、前回の1970年頃の雰囲気に似ている気がします。戦後の高度成長が一旦落ち着いたところで、いわゆるバブル景気はもう少し後です。まだ町中は昭和の感じだったと思います。
　今回もデフレ期から脱却して、インフレ傾向が目立つのは2～3年前からです。今のところ、我が国の好景気の行く手を阻むものはありません。

　政府が人工知能に力を入れるそうで、何か象徴的な計画が出てくるかどうか、がちょっとした注目点と思います。単に民間活力を生かして、だけの公算が大と思いますが。
　私は今のところ、いわゆる生成AIは遠巻きに見ているだけです。ネットでの評判では、検証まで含めると単なるネット検索と効果は同程度、の感じです。

　この場合の「検索」はデータベースの検索と同義と思われ、その技術は1960年代にはほぼ完成していたと思います。学術分野では文献データベースとして広まり、しかし手元のパソコンで活用できるようになったのは21世紀に入ってからだと思います。

　つまり、今のところ、人間の介入が無ければ役立たず、ということ。その要因を解明するためには、私の考えではもう少し数理論理学に力が入っても良いのでは無いかと思います。
　具体的にはいつものCommon LISPで開始するのが今は適切でしょう。今は詳しい解説が古い本だけなのがちょっと嘆かわしいです。機会を見て、本ブログでも時々話題を取り上げようと思います。

4833. 6月開始

　先週は割と忙しかったので、この土日はゆっくりお休みしました。今週も同様のはずです。ピークは少しその先にある予定です。

　東アジア情勢はウクライナが関係国に加わったのに、周辺各国が異様に静かで、不気味です。
　このまま放置すると、かなり特徴のある地図が完成して、それで良いのかな。
　当然ながら紛争でも起きようものなら、ご近所ですので日本に直接に影響があるはずです。我が自衛隊はやる気満々のようで、ここは文官が何としても踏ん張らないといけない状況と思います。

　で、我が社は今のところマイペースです。一応、新機軸はあるのですが、10年ほど前に廃止した部門を復活させただけに見えたりします。スタッフの新陳代謝はあって、これからだけなのかもしれません。

4832. 国際ニュース

　などと勝手に書いていたら、びっくりするような国際ニュースが2つ。

　日本製鉄とUSスチールの提携は締結が確実の情勢になったようで、マスコミでもネットでも話題になっています。トランプ大統領がわざわざ本社のあるピッツバーグに報告に行ったようです。
　ふむ、鋼鉄と言えば蒸気ですか。蒸気と言ってもエネルギー源の方は米国には豊富でしょうから、蒸気機関の方です。私のおぼろげな記憶では、1950年代の米国の機械産業は、今でも再現が不可能と思えるくらいの隆盛だったはずです。今度はそちらに来るかな。
　複雑なカムやリンクは現代の工作機械で無いと量産できないと思いますから、それと組み合わせて。何が出てくるのか楽しみです。

　もう一つは、ロシア極東のウラジオストックが攻撃を受けたとのニュースです。私はてっきり利害関係のある某国の工作かと思ったら間違いで、何とウクライナの仕業だそうです。どこをどうやったのかな。

4831. 5月はあとわずか

　なんだか過ごしやすい季節となっています。来週後半からは気温が高くなるそうです。

　トランプ関税は米国内での評価が割れているようで、日本の景気感には影響が少なくなってきているような感じがします。日米合意は来週でしたか。
　米国内で経済が安定している感じがしているのなら良いことだと思います。

　年始から国際的にいろいろありましたが、何となくいわゆる西側の選択肢が決まったようです。
　もちろん、数年前からの合意の中の一つでしょう。来月あたりから逐次実施されてゆくような気がします。ネットで言われていたように、どのような合意だったかの種明かしは、おそらく本年(2025年)のクリスマス前に誰にでも分かる形で表れるはずです。結果が見られるのは本年なのか、しばらく先なのかは今は分からないと思います。

　米価はすっかり政治の話になっていて、感想が言えないです。量的に困っている訳ではなく、本日食した弁当にも普通に入っていました。近い将来に不安はなさそうです。

4830. ニュートリノの本、続き

　そのニュートリノの本の著者はいわゆる物理の実験家で、平易な言葉で綴られていて、研究者自身なので迫力満点は良いのですが、よく分かりすぎているためか、あえて言えば中高生みたいな発想が出てきません。そんなの常識であるから説明の必要は無い、のように見えます。

　例えば、ダウンクォークからアップクォークに遷移する際に電子(β線)と反ニュートリノが生成される図がでていて、しかしいわゆるファインマン図の線に粒子のイラストを描いたような絵です。
　私の勝手な想像では、おそらくその際の電子と反ニュートリノは180°逆の方向に発射されていると思います。ニュートリノの仮説が生まれた時点で個々のβ線には運動量の違いがあって、しかも連続している、とのことで、ならばそのスペクトルのグラフは掲載してほしいです。おそらく、反ニュートリノの運動量分布と一貫している、と想像しますが、そうなのかな?。

　だとすると、宇宙を飛ぶニュートリノには運動量の違いが連続的にあって、しかし極めて軽いためか、マゼラン星雲との距離程度では光速と区別できないほどの速さで飛んでいるようです。
　ニュートリノはあくまでフェルミ粒子(スピン1/2)ですから、電子並には実体のある何かが飛んでいることでしょう。電子から電気モノポールを除いたスピン1/2そのもの、つまり磁気双極子のみが飛んでいる感じ。その解釈で良いのかな?。

　などなど。いや、それを知ってどうするのだ、との意見はごもっともと思います。しかし、読者の中にはものすごく勘の良い中学生とか高校生がいるはずで、いや、私のレベルでも知りたいくらいです。何とかなりませんか。もしかして、私のような立場の者がやるべき作業かな?。

4829. キャラの誕生日など

　明日、5月29日はPS4の最新アイマスゲーム、スターリットシーズンに出てくる仮想アイドル、白石紬(ミリオンライブ)の誕生日だそうです。
　同日は同仮想アイドル、高垣楓(シンデレラガールズ)の声優、早見沙織さんの誕生日だそうです。
　明後日、5月30日は同仮想アイドル、水瀬伊織(オリジナル765)の声優、釘宮理恵さんの誕生日だそうです。
　明明後日、5月31日は同仮想アイドル、諸星きらり(シンデレラガールズ)の声優、松嵜麗さんの誕生日だそうです。

　いつものようにスターリットシーズンのPV新着欄で有志・精鋭Pがお祝いのPVを上げるはずです。

4828. ニュートリノの本

　職場近所のショッピングモールの近くの大型書店の出入り口付近で開催されている理工学書の展示会で、普段は見ない啓蒙書のシリーズがありました。普段見ている書店の棚とは少し離れた位置にあるような気がします。その中でニュートリノに関する解説書が目立ったので手に入れました。

　2019年の刊で、普通の文章になってしまっていますが、研究者自身の執筆らしく良くまとまっています。内容的には他の一般向け科学雑誌などで紹介されていたものですが、一カ所にまとまっているのがありがたいです。

　少しだけ触れられているように、現在の観測手段が電磁波系が圧倒的主流なので、それを外れると途端に検出が困難になるようです。近年では重力波と、このニュートリノのようです。
　別の一般向け科学雑誌でダークマターがなかなか見つからない、との記事がありました。ニュートリノは軽すぎて候補からは外れていて、有力とみられている湯川中間子のような物質が重点的に探索されている、らしいです。

　関連する知見はどんどん増えているようで、明日にも新たな発見があっても驚きません。しかし、どこが宇宙論や素粒子論の新たな突破口になるのかは、私のレベルではさっぱり分かりません。

4827. ハウスドルフ空間

　なんだかまた数学者にはあきれられそうです。微分幾何学の本でハウスドルフ空間という言葉が頻出しているので、何かと思ったら公理の一種で、分離公理と呼ばれるものの一種ということ。
　私の感覚では、空間のとある点の周囲に、その点の縄張りみたいなのがある、という主張に見えます。この分離公理は、しかしハウスドルフ空間以外にも多種あって、ものを言うならそれぞれをしっかり区別した方が良さそうです。
　いずれにしろ、証明の対象(定理)ではなくて、あらかじめ用意しておく言説(公理)です。ユークリッド幾何学の第五公理(平行線公準)を想像すると分かりやすいと思います。つまり、別の公理を採用する選択肢もある、ということ。

　やれやれ、やっとこの歳になって公理であることを知りましたよ。こういう数学上の重要概念は高校生あたりが見る啓蒙書や参考書でこっそり言ってもらわないと困ります。えと、私が気づかなかっただけかな、だとしたらもう少しうまく強調してほしかったです。単なる要望です。

　これと実数の存在とその操作を認める選択公理があれば、我々が普通に感じる時間や空間の連続性と、数学の概念上の連続性が(自然哲学上で)繋がると思います。
　もう私、悠々自適寸前の身分なんですが。いや、趣味と開き直ればしばらくは続けられるか。仕事に生かせなかったのが残念無念です。いや、今も一応、仕事はしているか、会社の主流ではないけれど、…ぶつぶつ。

　なぜあまり高校数学までに強調されないかと想像してみると、まず、古典幾何学(総合幾何学)には座標、つまり実数は必要ないです。ただし、突っ込んだ議論をするには座標はものすごく便利で、これを導入(解析幾何学)しないといったいどれだけ議論が複雑になるのか、想像もつかないです。導入しなくても同等の証明などは原理的にはできるはずだ、というのが普通の認識だとは思います。

　それに加えて、位相空間だったか、空間のネバネバした感じ(私の感想)は距離(ノルムとか内積)を導入しないといけないのですが、その導入のやり方が複数、おそらく無限個あって、その中のあるものは常識を遙かに超えたもの(これも私の想像)でしょうから、よく知っている人ほど説明がムニャムニャの感じになるのだと思います。

4826. 88SR miniはあと少し、…のはず

　今度の7月発売予定の「PasocomMini PC-8801 mkII SR」、つまり1985年に発売されたレトロパソコンの復刻計画は、ここ2ヶ月ほどは音沙汰なしです。当初の計画ではすでに売られているはずですから、かなり入念な調整を行っている感じです。おそらくFM音源周りでしょう。
　発売時期からして、今後1～2週間程度で販売方法などの追加情報が来ると思います。細かな仕様が分かったらさらに嬉しいです。

　まあなにしろ、クロック周波数4MHzのZ80 (8bit機)ですから、少しでも重い計算をさせると、そののんびりさに衝撃を受ける方が大半と思います。
　それでも、ゲームデザインを工夫して機械語を駆使すれば、びっくりするような速度で動きますし、N88-BASICはとても豪華で、この簡単に見えるCPU (トランジスタ数8500個程度)でここまで科学計算できるのか、と当時のマニアをうならせた理由は納得できるはずです。