4761. 周辺知識

　本日は月曜日で普通の仕事日。日中はぽかぽか陽気と言って良いくらいの気温でした。相変わらず通勤途中の駅は海外からの観光客でごった返しています。

　矢野健太郎氏のリーマン幾何学入門の本の何度目かのトライ中です。まずは各種曲率の理解で、その先はゲージ理論に向かうと面白いので、そちらの参考書も物色中です。
　分子や結晶中で、電子やリチウム・ナトリウムなどの陽イオンが飛び回っているのに、いわゆるシンクロトロン放射光が出ない理由、が分かれば今のところ満点です。物性の計算で重要なので、とっくにどこかですっきり解説されている気もしますが。

　周辺は乱読状態です。間違って「リーマン面」の格調高い数学教科書を見てしまいました。今となっては何となく読むことができて、慣れというのは恐ろしいものです。おそらく写像というか関数自身はそんなに難しいのは想定されておらず、定義域と値域の空間がややこしくなっていて、しかし具体例に乏しく、具体的数値計算によるグラフ系はちっとも出てこないので応用先は私の想像の範囲内だけです。何とかなりませんか。

　群論と物理学の本はなかなか良い調子で、ただし量子色力学の所で急にトーンダウンしてしまいました。三色の電荷みたいなものなので、もう少し突っ込んで欲しかったですが、おそらく難解になるのだと想像しました。

　とても古い、FORTRANで数式処理の本を眺めてみました。こちらはアルゴリズムというよりは数学的話題が面白いらしいです。時間があれば精査したいです。
　終盤になってLISP 1.5が出てきて、どうやら操縦に苦労したのか、あるいは当時ですからメモリが全然足りなくて満足した結果が得られなかったのか、簡単な紹介でした。

　LISP 1.5ですから、純LISPとかマッカーシーの条件式とかの初期の実現例です。手探り状態の中で、やっと実用化にこぎ着けた段階で、今見てもなかなかの難物と思います。
　今、LISPをやるなら、もちろんCommon LISPが絶対的にお勧めです。現代風にこなれていて、文法部分で困難を感じることは無いはずです。こちらで慣れてからLISP 1.5を見ると、先人がいかに努力し工夫したかが分かると思います。

4760. やよいと翼の中の人の誕生日

　明日、3月25日はPS4の最新アイマスゲーム、スターリットシーズンに出てくる仮想アイドル、高槻やよい(オリジナル765)の誕生日だそうです。
　同日は同仮想アイドル、伊吹翼(ミリオンライブ)の声優、Machicoさんの誕生日だそうです。
　いつものようにスターリットシーズンのPV新着欄で有志Pがお祝いのPVを上げるはずです。

4759. 学習課題

　本日は日曜日。いつもと変わらず、ごく普通。

　今週は若干時間が取れそうなので、以前からの懸案の微分幾何学の曲面論を調べようと思います。3次元空間内の曲面の曲率の話。分かっている部分はあって、しかしもう少し具体的に計算出来る段階を目指します。
　ここが突破できたら、数学の当面の難関は無くなる感じです。証明できるレベルでは無く、簡単な例が計算出来る範囲の話です。私にはそれで十分、のはず。

　88SR miniの発売が延期されたので何とか間に合うでしょう。あれが来るとしばらくは活用法というか当時の可能性の追求に入ります。
　その次は物理と化学の話題に入ると思います。数学は数学で何か思いついたらその都度に。

4758. 春爛漫へ

　本日は土曜日で私は休日。やること(家事)やってゆっくりお休みしました。暖かくなってきました。

　季節が良くなったためか、行ったスーパーは私のようなじいさんだらけ。普段はもちろん主婦層が主流に見えます。品揃えは見た目は特に変化無し。
　数ヶ月前に急に費用が増えてびっくりしましたが、今は品揃えが工夫されたのか、こちらが慣れたのか、金額が以前と同様に戻ってきました。個々の商品は明らかにインフレしていますから、どうなっているのかな。
　そういえばガソリンの小売価格も一時期上昇して、今はやや落ち着いている感じです。

　スギ花粉が飛び回っているようで、通勤電車内でもそれっぽい感じの人が目立ちます。
　それに加えて黄砂がやってくるようです。黄砂と言うくらいで、黄河の上流から北京付近を通過して朝鮮半島を越えてやってくるようです。つまり日本は風下の弱くなっている段階で、この有様ですから本場は非常にきついと想像できます。

4757. ゲーミングテレビ

　本日は普通にお仕事。通勤途中の駅では海外からの観光客が増えているようです。季節が良くなってきていますから。本日の日中は暖かでした。明日からは冷え込むことは無さそうです。

　職場近所の量販店ではPCゲームコーナーに55型4Kのゲーミング(?)テレビが設置されていて、モンスターハンターワイルズの映像が表示されていました。このゲームはある程度画面が広い方が良さそうです。豪華に見えます。良い時代になったものです。

4756. 超幾何関数と解析接続

　本日は春分で国民の祝日。私は普通に休日をもらっています。

　超幾何関数に関しては理解したと言うよりは何となく筋立てが分かったので、とりあえずグラフになるかどうかをゆっくり考えます。読んだ、というよりは見た本を書きます。

　数学セミナー編集部。特殊関数探訪―三角関数からはじめる不思議な世界―。日本評論社、2024年

　原岡喜重。超幾何関数 (数学の風景7)。朝倉書店、2002年

　原岡氏は前者の本のガンマ関数と超幾何関数の一部も執筆しています。私にはわかりやすい解説と思いました。級数展開と微分方程式と積分表示が超幾何関数系の関数では普遍的に取れるらしいです。

　ガンマ関数は係数に出てくるので手短に解説されています。解析接続の具体例は初めて見たような気がします。ガンマ関数は複素平面の右半分で最初は定義され、公式にしたがって左、つまり実数の負の方向に1ずつ定義を広げて行き、可算無限回の操作で複素平面を覆い尽くします。
　結局、群論で言う基本領域を鏡映などでパタパタと広げて行く感じで、ガンマ関数の場合はその基本領域が帯状になり平行移動している、なのだと思います、多分。

　解析接続の普通の解説では重複する円で説明されていて、何だか曖昧な感じがしていましたが、基本領域の折り返しだったらよく分かります。
　後者の本の後半は比較的最近のこの分野の進展について述べているようで、私の知りたいことからは離れて行っているような気がしたのでざっと見してしまいました。群論とトポロジーが出てくるのに幾何学的な説明は少なく、おそらく明確な図的イメージはあるように思いましたが、数学の学問的進展とは関係ないので省略されたようです。

　基本領域の鏡映などができるのだったら、水素原子の電子軌道から水素分子の電子軌道に拡張できるような気がします。が、素直な数式にならないのでこれも省略、されたのだと思います、多分。おそらく今のところ数値計算するしか手段は無い、との判断なのでしょう。

　まあでも、関係する数学公式集が何とか読めるようになったと思います。私にとっては大進展で、読んで良かったです。

4755. 88SR miniの実機デモ予定、続き

　などと書いていたら、公式ページに追加があって、発売予定が伸びて今度の7月発売に変更になったそうです。再現性の向上のためだそうです。

　40年前の装置とはいえ、Z80の能力を余すところなく生かした装置なのでとても豪華、というか画面回りや音響は16bit機並みの複雑さのはずです。
　私の勝手な想像ですが、FM音源回りの調整だったら嬉しいです。プロが振り向いてくれる所まで行ったら、10年くらいはじわじわと売れ続けるはず。

　ヤマハのFM音源シンセサイザーは今も現役(reface DXなど)で、USBでパソコンの音楽製作ソフトと連携できますから、普通はこちらを選ぶでしょう。
　しかし、楽器というのはそれほど単純では無いです。88SRでしか出てきそうも無い音、というのはもしかしたらあるかも知れません。アクセントとして使うのはあり、と思います。

4754. 88SR miniの実機デモ予定

　電波新聞社から今春発売予定のPasocomMini PC-8801 mkII SRの実演デモが、東京都内で今度の土曜日(3月22日)に開催される展示会「RETRO GAME SUMMIT Lv.4」で行われるようです。内蔵の豪華なFM音源の音が聞けるそうです。概要はマイコンソフトのホームページからリンクされています。

　同社の電子工作マガジン、2025年春号は本日発売らしく、店頭で購入できました。88SR miniについては漫画で紹介されています。
　時期的にもう完成しているはずで、事前に手応えを確認するのだと思います。

　レトロマイコンの復刻版なので、関心のある方にはお宝ですが、大量に売れるものでは無いと思います。PC-8801 mkII SRは当時(1985年)のZ80使用のパソコンでは最高峰の一つだと思います。これがヒットしたのでPC-8801はその後拡張が続けられますが、私の見た範囲では最もバランスが取れているマシンだと思います。私の目当ては本物のN88-BASICが手に入ることです。

4753. 県境にて、再

　本日は数項前の記事で行った出張先とは逆方向の県境の施設に出張しました。
　こちらも御同様で、内部は小綺麗になっていて職員の士気は高く、ですが浮いた感じはありません。多分サービス業で、お金が回っているのは明らかで、しかし湯水のように、とはまだ行かないようです。というか、こちらの業界は今はどこもかなり厳しい経営を迫られている、というもっぱらの噂です。

　途中はいわゆる高速道路で、道路沿いに流通拠点ができたと思ったら、ずくにその横で第二の建物が建築中ですから需要はあるのでしょう。誰もが知っている大企業の系列会社のもののようで、その周りにはこれも誰もが知っている大企業系の工場が点々とあります。

　その出張先はとあるJR田舎駅の近くにあって、駅前は流行るでも無く廃れるでも無く、の感じ。1kmほど先に住宅街があって、おそらくそこにはスーパーの一件もあるはずです。そのJRで走っているのはバスみたいな車両。
　さらに5kmほど離れたところには、もう少し賑わう駅前があって、路線が集中しているハブ駅なのですが、こちらも整備されていて、しかし若干鄙(ひな)びた感じがします。

　さらにその先3kmには都会があって、路線の先にもさらに大きな都会があります。
　まあ出張先は山間部に近いので、東京圏みたいにずっと住宅街が続くのも不気味ですから、この感じで良いのでしょう。近くのやや大きめの川は過去に大氾濫があったみたいで、かなりの費用を掛けて護岸工事が進んでいます。

4752. プログラミング練習

　本日は日曜日で私はゆっくり休みました。調べ物はしていますが、進行はごくゆっくりです。
　何か手を出した方が良いので、FPGAの学習ボードの活用を狙っていましたが、考えが発散気味で、素直にWindowsプログラミングしようかな、と。

　B-treeとオクテット(バイト)コンテナのユーティリティはいずれにしろ必要なので、その練習を兼ねて。よくあるゲーム用のプラットホームになりそうで、通信系が何とかなったら満点とします。動作させるのはAppleマッキントッシュの初期にあったハイパーカードのようなものを狙っています。まあ、考えるだけなら無料なので、ぼちぼちと。

　そうこうしているうちに、例のPasocomMini PC-8801 mkII SRのアナウンスが出るはずです。もうすでに歴としては春になっていますから、あと1～2ヶ月のこと。今度の電子工作マガジンに何か情報が載るかも知れません。もうすぐ発売です。

4751. 複数経路

　本日、土曜日は私は休日です。
　昨日、職場近所の大型書店に行ったら、AI事典というのが丁寧に置かれていたので手に入れました。奥付を見たら2019年刊でした。もう6年も経っていますから、今回のAIブームの速度からすると一昔前の記述です。

　まあ、お勧めかというと、私みたいに関心があるのなら面白く読めますが、大半の項目は夢想的に見えるというか、直接は役立ちそうにありません。数理論理学的な感じの所とか、具体的な記述がある部分は直接に役立ちそうです。学術系の図書館が利用できる方は、そこで目を通した方が良いと思います。

　巻頭近くに第五世代コンピュータの項目があって、わりと好意的な記述が珍しいです。並列論理型言語で、どこが並列かというと、LISPで言うマッカーシーの条件式を並列に計算します。
　LISPが逐次実行の感じがするのは、そのマッカーシーの条件式をコンピュータに導入する際に逐次実行にしてしまったためです。元の論文が逐次か並列かは知りません。が、並列のLISPは見たことがありません。
　PROLOGも逐次ですが、後期の第五世代コンピュータでは並列のGHCに移行しました。このGHCに関する詳しい記述は見たことが無く、間接的な解説書が手元にあるだけです。

　一階述語論理がまともに計算されるのは一見の価値があります。並列化は今のOSで言うとスレッド生成と変数の同期の排他セマフォに相当します。これが計算機言語とOSの二階建てで無く、一階述語論理にまとまっているのがミソです。
　並列化すると、タイミングによって答えが違ってくる可能性が出てきます。これをとんでもないことだ、と言ってしまった、とある国産OSで有名な人がいました。計算機は必ず一つの答えを返さないといけないのだそうです。

　自然界ではたとえば二重スリット実験のように、経路がどちらかは個々の事例で異なり、しかし統計的には一貫している、もちろんエネルギーなどの大域的性質も保持される、現象が観察されます。GHCではエネルギー保存則などに相当する制限があるのかどうか、を調べる手段が今のところ無いので私は機会あることに調査している訳。
　PROLOGで言うとバックトラックで束縛変数のつじつまを合わせるためのトレイルスタックが、物理で言うエンタングルメントのように見えます。さて、これだけで良いのかどうかが一つの問題。

　もう一つは、ブームの頃はPROLOG処理系が多数あったのに、今でも実用の処理系はあるというのに、数学の新しい証明が一個でも出たかというと、記憶にありません。証明のサポートには使えるでしょうが、それはAIでなくても構わないでしょう。
　もちろん、それは一階述語論理の構造の中に秘密がある、と私は考えています。それを探すのがもう一つの問題です。

4750. 県境にて

　本日は内勤で普通にお仕事でした。特に変わったことも無く。
　昼食時に職場近所のショッピングモールに出かけました。まずまずの人出です。通勤途中のハブ駅はいつものように海外からの観光客でごった返していました。
　通勤電車からの眺めは春らしくなってきました。ついでに花粉症の症状が昨日から出始めていて、これから一ヶ月間は薬のお世話になりそうです。

　昨日はやや遠くに出張でした。県境の施設で、しかし国道が貫いているので工場などの産業が来ています。そのためか、その国道はよく整備されていて、さらに拡張の計画があるそうです。
　その国道が結ぶ起点のこちら側の市は、なかなか発展が難しいみたいです。いわゆる鳴り物施設があって、興業がある時は明らかに賑わっているようですが、基盤の産業はそのままの感じで、駅前は明らかにスルーされています。ここで客を止めないといけません。
　まあ、幸いというか隣接する大きな都市の住宅地としてはまずまずなので、これから発展する余地はあると思います。私が見届けられるかどうかは分かりません。

4749. 歌織の中の人の誕生日

　本日、3月13日はPS4の最新アイマスゲーム、スターリットシーズンに出てくる仮想アイドル、桜守歌織(ミリオンライブ)の声優、香里有佐さんの誕生日だそうです。いつものようにスターリットシーズンのPV新着欄で精鋭Pがお祝いのPVを上げています。

4748. 季節の変わり目、続き^2

　本日も仕事で結構へとへとになりました。いつものように体調は良好です。単に時間が取られて疲れた感じがするだけです。
　本日の訪問先はおそらくサービス業の一種だと思います。ここも浮いた感じや猛烈な感じまでは至らず、しかし明らかに小綺麗になっていてお金が動いていることが感じられます。

　今の我が国の緩やかなインフレ状態は、金回りはそれなりに良くなって、しかしデフレ期みたいな居心地の良さもあるので、生活する分には結構なご身分なのですが、これを続けていても発展は見込めないので悩ましいところです。

　たとえば、EV騒ぎで鮮明になったように「電池」の改革は必要なようです。コンデンサとエンジンの中間みたいなもので、原理は多数あるはずです。それが「電池」と呼ばれるものかどうかは別として、必要とされるのは明らかになったと思います。

4747. 季節の変わり目、続き

　で昨日もたっぷり働かされました。昼食はあらかじめ買っていたコンビニのサンドイッチで済ませて。本日も多分同様。

　それに加えて、何だか花粉症の症状が出始めています。薬は買い込んだのが残っているので、多分大丈夫です。マスクは当面離せません。

　国際情勢が具体的に動く気配があるのか、ネットの一部が騒然とした雰囲気に見えます。まあ準備期間が十年ほどあったので、とっくにG7で複雑怪奇なシナリオが出来上がっていて、どの選択肢を選択するか、だけになっているはずで、しかし細部の詰めは必要ですから、その部分の事なのだと私は思っています。ご丁寧なこと。

　国内では経済的な地固めが続いていて、九州・北海道の続きは東北地方みたいです。日本が近い将来に超先進国になるのならともかく、今の調子の上がっている時期に手を付けるのは良い傾向と私は思います。宮城県、山形県あたりは見所も多く、うまく活性化すれば魅力的な土地になると思います。福島県から北上する感じになるとのこと。福島県と言っても広いので、なにが始まるのか楽しみです。