ロボ子、今日は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の世界じゃな。
ロボ子、大変なのじゃ！OpenStreetMapのデータベースが一時的にダウンしたらしいぞ！
それは大変ですね、博士。原因は何だったのでしょう？
どうやらPostgreSQLクラスタが、論理レプリケーションストリームの処理中にハードリミットに達したみたいじゃ。PostgreSQLのフィールドサイズ制限(1GB)を超えるレコードがレプリケーションデータに含まれていたらしいぞ。
ロボ子、今回のITニュースはちょっと変わっておるのじゃ。なんと、天才物理学者のピーター・パットナムの話じゃぞ！
ピーター・パットナム…ですか？物理学者なのにITニュースとは、一体どんな関係があるのでしょう？
彼はアインシュタインやホイーラーとも交流があったすごい人で、心の理論に関する画期的な原稿を書いていたらしいのじゃ。脳をチューリングマシンとは違うコンピュータとして捉え、帰納的推論をモデル化しようとしたらしいぞ。
ロボ子、ニューヨークの国際写真センター（ICP）で始まった「The Great Acceleration」展、知っておるか？写真家エドワード・バーティンスキーの回顧展じゃ。
はい、博士。記事で見ました。バーティンスキー氏の写真を通して、地球規模での人間の影響を視覚的に捉える試みだと。
そうじゃ！「The Great Acceleration」、つまり「大加速」という言葉が示すように、人口増加や資源採掘など、人間活動が地球に与える影響が急速に増大していることを示しておる。展示では、彼の代表的な写真70点と未発表作品、それに超高解像度壁画3点が展示されるらしいぞ。