博士

ロボ子、テキサス州の大学で抗議活動を制限する法案が可決されたのじゃ。

ロボ子

あら、博士。それは言論の自由に関わる問題ですね。具体的にはどのような内容なのですか？

博士

ふむ、この法案は大学の理事会に、キャンパスでの抗議場所を制限する権限を与えるものらしいのじゃ。共和党の支持者は、昨年の親パレスチナデモで見られた混乱を防ぐためだと言っておる。

博士

ロボ子、南極のANITA検出器が奇妙な信号を検出したってニュースは知ってるかのじゃ？

ロボ子

はい、博士。既存の物理学では説明できない電波が、地平線の下から来ているように見えるそうですね。

博士

そうなんじゃ！「異常な信号は検出器に到達する前に数千キロメートルの岩を通過する必要があり、その過程で電波は岩に吸収されて検出不可能になるはずである」らしいぞ。

博士

ロボ子、今日も元気じゃな！今日はPS1の自作ハードウェアプロジェクトの話じゃぞ。

ロボ子

PS1ですか！懐かしいですね。自作ハードウェアとは、具体的にどのようなプロジェクトなのでしょうか？

博士

nsOneプロジェクトというのがあっての、PS1互換のハードウェアを自作しようというコミュニティがあるらしいのじゃ。その中でも、Brodescoという人がすごいことをやっておるぞ。

博士

やあ、ロボ子。今日は`strace`について話すのじゃ。

ロボ子

`strace`ですか、博士。システムコールをトレースするツールですね。以前、博士がlibcなしでソフトウェアを構築している時に使っていましたね。

博士

そうじゃ、そうじゃ。`strace`は本当に便利じゃぞ。特にアセンブリでプログラムを書くときには、神ツールじゃ！

博士

ロボ子、今日は文字列から母音を探す最速の方法について話すのじゃ！

ロボ子

面白そうですね、博士！文字列の中から母音を探す方法はたくさんあると思いますが、最速となると気になります。

博士

そうじゃろ！今回の記事では、11種類もの手法を検証したらしいぞ。forループから正規表現まで、色々試したみたいじゃ。

博士

やあ、ロボ子。また面白いニュースを見つけたのじゃ！今回はGoogleとCloudflareで同時に障害が発生して、インターネットの一部が数時間オフラインになったらしいぞ。

ロボ子

それは大変でしたね、博士。原因は何だったんですか？

博士

Cloudflareのコア分散データストアがGoogleに全面的に依存していたのが原因らしいのじゃ。しかも、可用性が単一の地域に結び付けられていたから、ひとたまりもなかったみたいだぞ。

博士

ロボ子、聞いたか？アメリカ陸軍が「Detachment 201」っていう、すごいチームを作ったらしいのじゃ！

ロボ子

はい、博士。記事を読みました。最先端技術の専門家を軍事革新に取り込む試みですね。

博士

そうそう！しかも、そのメンバーがまたすごい！PalantirのCTO、MetaのCTO、OpenAIのCPOに元OpenAIの研究者までいるんだぞ！

？？？

ロボ子、k23っていうOSプロジェクトを知っておるか？ WebAssemblyをメインの実行環境にするらしいのじゃ。

？？？

WebAssemblyですか、博士。ブラウザで動くイメージが強いですが、OSの主要な実行環境にするとは面白いですね。

？？？

そうじゃろ？ より安全でモジュール化されてて、開発しやすいOSを目指してるらしいぞ。夢があるのう。

博士

ロボ子、今日のITニュースはなかなか面白いぞ。ソフトウェアへの依存を減らすという話じゃ。

ロボ子

ソフトウェアへの依存を減らす、ですか？博士、それはどういうことでしょうか？

博士

ふむ、記事によると、ソフトウェアは高価でメンテナンスが大変、信頼性も低いから、もっと賢く付き合うべきだそうな。

博士

ロボ子、今日は面白い話があるのじゃ！100人がそれぞれ100ドル持ってて、ランダムに誰かに1ドルずつ渡していくと、最終的にどうなると思う？

ロボ子

うーん、均等に近い分布になるんじゃないでしょうか？

博士

それが違うのじゃ！シミュレーションすると、富の不平等がどんどん出てくるらしいぞ。

博士

ロボ子、SpaceXがまた面白いことやったみたいじゃぞ！

ロボ子

博士、どんなことですか？

博士

SiriusXMの衛星打ち上げ後、Falcon 9の第2段を制御落下させたらしいのじゃ！

博士

ロボ子、iOS 26とmacOS 26専用のAI文字起こしアプリ「Swift Scribe」が出たらしいのじゃ！

ロボ子

Swift Scribeですか。それは面白そうですね、博士。AppleのFoundation Model FrameworkとSpeechTranscriberを使っているとのことですが、具体的にどのような機能があるんですか？

博士

ローカルAI処理でリアルタイムに文字起こしができて、インテリジェントなノート作成機能もあるらしいぞ！

博士

ロボ子、今日のニュースは面白いぞ！タルトゥ大学の研究者たちが、古いスマホを小型データセンターとして再利用するアイデアを発表したらしいのじゃ！

ロボ子

それは興味深いですね、博士。年間12億台以上のスマートフォンが生産されているとのことですが、それらのリサイクルは大きな課題です。

博士

そうじゃ！ユーザーは平均2〜3年でスマホを買い替えるから、古いデバイスが大量に余ってしまうのじゃ。それをデータセンターとして再利用するとは、まさに一石二鳥！

博士

ロボ子、ペアノ算術(PA)って知ってるか？

ロボ子

はい、博士。自然数に関する算術の形式化された公理系ですよね。計算をエンコードできるほど強力だと聞きました。

博士

そうなんじゃ！PAは計算をエンコードできるから、すごいんじゃぞ！

博士

やあ、ロボ子！週末のプロジェクトに関する記事を見つけたのじゃ。面白そうだから、一緒に見てみよう。

ロボ子

はい、博士。週末プロジェクト、いいですね！どんな内容ですか？

博士

この記事は、独自のwikiシステムを構築するための情報が満載らしいぞ。モチベーションから始まって、ページエディタのアイデア、ストレージ、ユーザー管理まで、全部網羅されているみたいじゃ。

博士

ロボ子、Waymoの研究で自動運転車の性能がデータと計算資源で向上するって、すごい発見じゃな！

ロボ子

はい、博士。大規模言語モデル（LLM）と同じように、モーション予測の質が訓練計算量に応じてべき乗則に従うというのは興味深いですね。

博士

そうじゃ！データ量の拡大はモデル性能向上に不可欠で、推論計算量の拡大は困難な運転シナリオへの対応能力を向上させるって言うから、まるでロボ子が賢くなるみたいじゃな。

博士

ロボ子、今日は面白い話があるのじゃ！なんと、たった一つの形だけで平面を非周期的に埋め尽くせる「ハット」っていう図形が発見されたらしいぞ！

ロボ子

ハット、ですか。それはすごい発見ですね！非周期的なタイル張りというと、ペンローズ・タイルが有名ですが、それと似たようなものなのでしょうか？

博士

そうそう！ペンローズ・タイルみたいに、パターンが繰り返されないタイル張りなのじゃ。しかも、このハット、タートル、スペクターっていう仲間がいるらしいぞ。

博士

ロボ子、今日のニュースはluxeというゲームエンジンじゃ。クロスプラットフォーム対応で、2Dゲーム開発に特化しておるぞ。

ロボ子

luxeですか。Mac, Linux, Windows, Webに対応しているんですね。コンソールも開発中とは、すごいですね。

博士

そうじゃろう？しかも、C++で書かれていて、スクリプト言語はWrenというカスタム版を使うらしいぞ。Cと連携できる言語も使えるようになる予定じゃ。

博士

ロボ子、大変なのじゃ！シュレースヴィヒ＝ホルシュタイン州が、公務員からマイクロソフト製品を追い出すらしいぞ！

ロボ子

それは驚きです！具体的には何をするのでしょうか、博士？

博士

ふむ、どうやら3ヶ月以内に、公務員、警察官、裁判官がマイクロソフトのプログラムの使用を停止するらしいのじゃ。データストレージの「制御を取り戻し」、「デジタル主権」を確保するため、オープンソースソフトウェアに移行するらしいぞ。

博士

ロボ子、今日は選択公理の話をするのじゃ。

ロボ子

選択公理ですか。確か、集合論で重要な役割を果たす公理でしたね。

博士

そうじゃ！カントールが集合論を構想した頃から、この選択公理は色々な議論を呼んだんじゃよ。