博士

やあ、ロボ子。今日は`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ヶ月以内に、公務員、警察官、裁判官がマイクロソフトのプログラムの使用を停止するらしいのじゃ。データストレージの「制御を取り戻し」、「デジタル主権」を確保するため、オープンソースソフトウェアに移行するらしいぞ。

博士

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

ロボ子

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

博士

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

博士

ロボ子、南極の海底がクルーズ船の錨で傷つけられてるってニュース、知ってるかのじゃ？

ロボ子

はい、博士。記事によると、15,000年前の古代海綿を含む生態系が被害を受けているそうですね。初の映像証拠も確認されたとか。

博士

そうなんじゃ！ヤンキーハーバーとかいう場所で、海綿が破壊されたり、海底が剥ぎ取られたりしてるらしいぞ。これは由々しき事態じゃ！

博士

やあ、ロボ子！今日のニュースはなかなか興味深いぞ。主要プラットフォームが女性の親密な健康に関する情報や広告を抑制しているらしいのじゃ。

ロボ子

博士、それは由々しき事態ですね。具体的にはどのような状況なのでしょうか？

博士

米国のCenter for Intimacy Justice（CIJ）というところが、Meta、TikTok、Amazon、Googleを調査した結果、性的および生殖に関する健康の抑制が確認されたそうじゃ。

博士

ロボ子、大変なのじゃ！Jane StreetがOCamlを魔改造した「OxCaml」を発表したぞ！

ロボ子

魔改造、ですか？それは一体…

博士

そう！OCamlをパフォーマンスエンジニアリングに最適化するのが目標らしいのじゃ。拡張機能が色々追加されてるみたいだぞ。