博士

ロボ子、大変なのじゃ！Skypeが2025年5月にサービスを終了するらしいぞ！

ロボ子

まあ、そうなんですね。Skype、最近使っている人を見かけませんでしたから、時代の流れでしょうか。

博士

そうそう。で、代替としてMatrixネットワークとそのクライアントが推奨されてるみたいじゃ。

博士

ロボ子、大変なのじゃ！Pwnoっていう自律型セキュリティ研究エージェントが、llama.cppのtokenizerに整数オーバーフローのバグを見つけちゃったらしいぞ！

ロボ子

まあ、博士！それは大変ですね。llama.cppは多くのプロジェクトで使われているので、影響が大きそうです。

博士

そうなんじゃ！このバグはCVE-2025-52566として登録されたみたいで、攻撃者が巧妙に細工したプロンプトで推論エンジンをオーバーフローさせられる可能性があるらしいぞ。

博士

やっほー、ロボ子！今日のITニュースはIapetusっていうワークフローエンジンについてなのじゃ。

ロボ子

Iapetusですか。初めて聞きました。どんな特徴があるんですか？

博士

IapetusはDevOpsとかCI/CD、自動化に使えるオープンソースのワークフローエンジンらしいぞ。シェル、コンテナ、クラウドの自動化、テスト、オーケストレーションができるって書いてある。

博士

ロボ子、今日はVerse calculus (VC)について話すのじゃ。決定性関数論理プログラミングのための新しいコアcalculusらしいぞ。

ロボ子

決定性関数論理プログラミング、ですか。難しそうですが、面白そうですね！

博士

VCは、small-step rewrite semanticsを備えているらしい。つまり、プログラムがどのように段階的に変化していくかを細かく見れるってことじゃ。

博士

やあ、ロボ子。今日のITニュースはAIインフラのインターコネクト技術についてじゃ。

ロボ子

インターコネクト技術ですか、博士。GPUが重要であることは理解していますが、それがどのようにAIインフラに関わってくるのでしょうか？

博士

良い質問じゃな、ロボ子。大規模モデルの学習や実行には、たくさんのGPUを繋ぐインターコネクトファブリックが不可欠なのじゃ。Broadcomがその分野で色々な技術を開発しておる。

博士

ロボ子、今日はSiriusというGPUネイティブなSQLエンジンの話じゃ。

ロボ子

GPUネイティブですか、博士。それは速そうですね。

博士

そうなんじゃ！既存のCPUクエリエンジンと比較して、TPC-H（SF=100）で約10倍の高速化を達成したそうじゃぞ。

博士

ロボ子、大変なのじゃ！FacebookがカメラロールにまでAIの触手を伸ばしてきたぞ！

ロボ子

博士、それはどういうことですか？具体的に教えてください。

博士

Facebookが、ユーザーのカメラロールへのアクセスを要求して、AI編集された写真を自動的に提案する機能をテスト中らしいのじゃ。まだFacebookにアップロードしてない写真までAIが編集するなんて、ちょっと怖いぞ。

博士

ロボ子、今日のニュースは盛りだくさんじゃな！特に反トラストの動きが世界中で活発化しているのが面白いぞ。

ロボ子

はい、博士。記事によると、アメリカだけでなく、EU、オーストラリア、カナダ、イギリス、中国でも同様の動きがあるようですね。これは一体何を意味するのでしょうか？

博士

ふむ、それはつまり、巨大テック企業が力を持ちすぎているという認識が広まっているということじゃ。2014年の論文で「米国の政策は一般市民ではなく、富裕層とビジネス利益団体によって決定される」と指摘されているように、一部の企業が政治に影響を与えすぎているのかもしれないのじゃ。

博士

ロボ子、今日のニュースは政治家の言葉遣いについてじゃ。

ロボ子

政治家の言葉遣いですか？興味深いですね。

博士

コペンハーゲン大学の研究によると、与党の政治家は野党の政治家よりも複雑な言葉を使うらしいのじゃ。

博士

ロボ子、今日のITニュースはAI著作権訴訟の話題じゃぞ！AnthropicとMetaが訴訟で部分的に勝利したらしいのじゃ。

ロボ子

博士、それは興味深いですね。具体的にはどのような判断が下されたのでしょうか？

博士

裁判官は、LLMのトレーニングにおける著作物の利用が「変革的」であるという点で概ね同意したらしいのじゃ。Alsup判事は、Anthropicが著作権で保護された書籍でAIモデルをトレーニングすることは公正使用に当たると判断したみたいじゃぞ。

博士

ロボ子、大変なのじゃ！CDC（米疾病対策センター）の資金繰りが遅れて、各地の保健部門に影響が出てるみたいだぞ！

ロボ子

CDCの資金遅延ですか？それは一体どういうことでしょう、博士？

博士

CDCは通常、議会からのお金を州や地方の保健部門に分配するんだけど、今回はそれが遅れてるみたい。アラバマ州の保健部長官も困ってるみたいだぞ。

博士

ロボ子、今日のITニュースはちょっと趣向が変わっておるぞ。朝鮮半島のDMZ（非武装地帯）の話じゃ。

ロボ子

DMZですか？ITとどう関係があるのでしょう？

博士

ふむ、直接的なITの話ではないんじゃが、このDMZが分断された場所でありながら、実は水域を通じて繋がっているという話が面白いんじゃ。特に漢江河口は、中立地帯でありながら人々の生活がある。

博士

ロボ子、テキサスで59年前のボーイング727を10,000ドルで落札した人がいるのじゃ！

ロボ子

10,000ドルですか！ずいぶんと安いですね。記事によると、Ismael Laraさんという方が、お兄様と購入されたそうですね。

博士

そうそう。エルパソ空港で20年間放置されていた機体らしいぞ。元々はBlue Falcon Corpというチャーター会社が所有していて、その後は連邦保安官局が囚人の輸送に使っていたみたいじゃ。

博士

やあ、ロボ子。今日はターミナルで動くSQLiteブラウザ「ZeQL+」について話すのじゃ。

ロボ子

ZeQL+ですか、博士。ターミナルでSQLiteを操作できるのは便利そうですね。どのような特徴があるのでしょうか？

博士

ZeQL+は、SQLiteデータベースファイルを簡単に開いて、高速に動作するのじゃ。ターミナルやCMDウィンドウで実行できて、依存関係のない小さな実行ファイルってのが良いのじゃ。

博士

ロボ子、今回のニュースは東大の学生さんたちが独自のCPUを作って、OSまで動かしちゃったっていうすごい話じゃ。

ロボ子

それはすごいですね、博士！ まだ学生なのに、そこまでできるなんて。

博士

そうなんじゃ。普通のCPU実験だと、簡単なコンパイラを作ってレイトレーシングをするくらいらしいんじゃが、彼らはOSの実行を目標にしたらしいぞ。

博士

ロボ子、FPGA開発の初心者向けシリーズが始まったみたいじゃぞ！SipeedのTang Nano 9K開発ボードを使うらしい。

ロボ子

Tang Nano 9Kですか。コンパクトで手頃な価格なのに、強力なFPGAコアを搭載しているんですね。初心者には最適ですね！

博士

そうなんじゃ！設計の最適化を気にせず、学習とプロジェクト構築に集中できるのが良いところじゃな。しかも、オープンソースのツールチェーンを使うらしいぞ。

博士

ロボ子、トランプ政権の関税制度で輸入業者の収入が急増したらしいのじゃ。

ロボ子

本当ですか、博士？ 財務省のデータによると、今年の関税収入は6月時点で750億ドルとのことです。

博士

そう、前年同期比85.7%増だぞ！すごい伸び率じゃな。

博士

やあ、ロボ子！今日はMicrosoftが社内AIツールの利用状況で従業員を評価するって話じゃ。

ロボ子

それは興味深いですね、博士。具体的にはどのような評価方法になるのでしょうか？

博士

どうやら、次の会計年度の業績評価に、AIツールの利用に関する指標を正式に追加することを検討しておるらしいぞ。MicrosoftのJulia Liusonって人が、マネージャーに社内AIツールの利用状況に基づいて従業員の業績を評価するように指示するメールを送ったみたいじゃ。

博士

やあ、ロボ子！今日のニュースはLagoについてじゃ。SaaS企業向けの請求プラットフォームらしいぞ。

ロボ子

請求プラットフォームですか。SaaS企業にとっては重要なインフラですよね。

博士

そうじゃな。Lagoは「よりシンプルで透明性が高く、適応性のある請求プラットフォーム」を目指しているらしい。SaaSの請求って、結構複雑になりがちじゃからな。

博士

ロボ子、今日のニュースはすごいぞ！中国と香港の研究チームが、鼻に注入できるマイクロロボットを開発したらしいのじゃ！

ロボ子

鼻に注入できるマイクロロボットですか！それはすごいですね、博士。一体どんなことができるんですか？

博士

それがの、電磁力で誘導して、化学反応で細菌感染を排除して、副鼻腔を洗浄するらしいぞ。まるでSFの世界じゃな。