博士

ロボ子、今日のITニュースはちょっと文学的なのじゃ。現代アート、特に小説が低迷期にあるらしいぞ。

ロボ子

低迷期、ですか。具体的にはどのような状況なのでしょうか？

博士

記事によると、現代の小説家で「待ち望まれる人物はいない」らしいのじゃ。出版社も商業的リスクを恐れて、文学作品に興味を示さなくなっているとか。

博士

ロボ子、大変なのじゃ！Googleが初代と2代目のNest Learning Thermostatのサポートを2025年10月に終了するらしいぞ。

ロボ子

それは困りますね、博士。具体的には何が起こるのでしょうか？

博士

2025年10月25日以降、ソフトウェアアップデートが来なくなって、Googleのクラウドサービスにも接続できなくなるらしいのじゃ。つまり、Google HomeアプリとかGoogleアシスタントからの制御ができなくなるってことだぞ。

博士

ロボ子、古地磁気学の研究で、地球の磁場が生命の進化に影響を与えた可能性があるって話、知ってるかのじゃ？

ロボ子

はい、博士。5億7500万～5億6500万年前に磁場がほぼ完全に崩壊した時期があったそうですね。それがアバロン爆発と一致するというのは興味深いです。

博士

そうなんじゃ！その時期、マクロな動物生命が複雑さを増し始めたらしいぞ。磁場が弱まると、太陽風圧とのバランス点が地球半径の4.2倍にまで縮小したらしい。普段は10～11倍なのに。

博士

ロボ子、今日はプリンキピア・マテマティカの形式化プロジェクトについて話すのじゃ。

ロボ子

プリンキピア・マテマティカ、ですか。確か、数学の基礎を形式論理で構築しようとした試みでしたね。

博士

そうじゃ！それをLean 4という定理証明器で形式化するらしいぞ。目的は、書籍内の定理との整合性を確保して、混乱を避けることじゃ。

博士

ロボ子、マイクロソフトのAI戦略、なかなか厳しい状況みたいじゃな。

ロボ子

はい、博士。Copilotのユーザー数が伸び悩んでいる一方で、ChatGPTは急成長しているようですね。

博士

そうなんじゃ。Copilotの週あたりユーザー数は約2,000万人で横ばい、ChatGPTは週あたり4億人に急増…これはMicrosoftのAIチームを率いるMustafa Suleyman氏にとってはプレッシャーじゃろうな。

博士

ロボ子、今日のニュースはCurryというプログラミング言語についてじゃ。

ロボ子

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

博士

Curryは、関数型プログラミングと論理プログラミングのいいとこ取りをした、宣言型マルチパラダイム言語なんじゃ。

博士

ロボ子、大変なのじゃ！オーストラリア国境警備隊が、二重国籍の科学者、Casey John Handmer氏を何度も不当に捜索しているらしいぞ。

ロボ子

それは穏やかではありませんね、博士。記事によると、過去2年間で4回も入国時に停止・捜索されているとのことですが、何か理由があるのでしょうか？

博士

それが、特に理由がないようなのじゃ。Handmer氏は犯罪歴もないし、NASAでも働いていた優秀な科学者なのに。

博士

ロボ子、大変なのじゃ！ Ubuntu 25.04へのアップグレードパスがオフラインになったらしいぞ。

ロボ子

オフラインですか？ それは一体どうしたのでしょう、博士？

博士

Kubuntuユーザーでデスクトップが破損する問題が発生したかららしいのじゃ。ログイン画面がおかしくなって、何も操作できなくなるみたいだぞ。

博士

ロボ子、CATLがTech Dayで新しいバッテリー技術を発表したのじゃ！すごいぞ！

ロボ子

博士、それは興味深いですね。どんな技術が発表されたんですか？

博士

まず「Freevoy Dual Power Battery」！デュアルコアアーキテクチャで、1回の充電で1500km以上も走れるらしいぞ！

博士

ロボ子、今日のITニュースは全身麻酔と脳の活動に関する研究じゃぞ！

ロボ子

全身麻酔ですか、博士。興味深いですね。具体的にはどのような研究なのでしょうか？

博士

この研究では、全身麻酔が脳の活動にどう影響するかを調べているのじゃ。特に、麻酔によって脳の活動がどう変化するか、個人を特定できる『脳の指紋』がどう変わるかに注目しているぞ。

博士

ロボ子、GS-Calcって知ってるか？ビッグデータ処理に特化したスプレッドシートらしいのじゃ。

ロボ子

GS-Calcですか。初めて聞きました。ビッグデータに特化、ですか。具体的にはどのような機能があるのでしょう？

博士

3200万行x16,384列をサポートしてるらしいぞ！ワークシート数とかファイルサイズにも制限がないなんて、すごいじゃないか！

博士

ロボ子、大変なのじゃ！Crémieuxとかいう人が盗用で告発されたらしいぞ。

ロボ子

盗用ですか、博士。それは由々しき事態ですね。詳細を教えていただけますか？

博士

どうやら、そのCrémieuxって人が、ある人の2022年の投稿から11個もスクリーンショットを無断で使用して、アイデアの構造を丸ごとコピーしたらしいのじゃ！

博士

ロボ子、すごいニュースなのじゃ！ジェフ・ベゾスが出資するSlate Autoが、ローコストな電気トラックを発表したらしいぞ！しかもSUVにも変形可能だなんて、夢のような話じゃな。

ロボ子

それは興味深いですね、博士。連邦政府のEV優遇策適用後、2万ドルからの価格設定とのことですが、本当にお手頃ですね。Slate Autoのウェブサイトには「根本的にシンプルな電気ピックアップトラックで、必要なものに変化可能」とありますね。

博士

そうそう！2ドアバージョンは5人乗りSUVに変形可能ってのがミソなのじゃ。ベースラインのトラックは小型で、シボレー・シルバラードEVの約3分の2、フォード・マーベリックの約8分の7のサイズらしいぞ。

博士

ロボ子、大変なのじゃ！ OpenAIの研究者がグリーンカードを拒否されたらしいぞ。

ロボ子

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

博士

カナダ人のKai ChenさんというAI研究者で、GPT-4.5にとって「非常に重要」な人物らしいのじゃ。でも、グリーンカードが拒否されて、間もなく出国する必要があるみたい。

博士

やあ、ロボ子。今日も元気じゃな？

ロボ子

はい、博士。今日もElectronについて色々教えてください。

博士

Electronか。ChatGPT、Spotify、Notion、VS Code、Discord…みーんなElectronのおかげで動いてるって知ってたかのじゃ？

博士

ロボ子、大変なのじゃ！4chanがハッカーに攻撃されてアクセス不能になったらしいぞ！

ロボ子

4chanですか。20年以上も存在する、インターネット文化の拠点でしたね。でも、最近は少しイメージが変わってしまったようですが。

博士

そうなんじゃ。元々インターネット文化の拠点だったのが、いつの間にかmass shootersのファンクラブとか、Gamergateの中心地、極右ファシズムの中心になっちゃったみたい。

博士

ロボ子、今日のITニュースはゲームデザインから学べる教訓についてじゃ。

ロボ子

ゲームデザインですか、面白そうですね！

博士

最初はプラットフォーマーじゃ。初期のゲームはメモリが限られていたから、テキストなしで操作方法を伝える必要があったらしいぞ。マリオがその良い例じゃな。

博士

やあ、ロボ子！今日はWebアプリのテストを自動化するMagnitudeというフレームワークについて話すのじゃ。

ロボ子

Magnitudeですか、博士。初めて聞きました。どのような特徴があるのでしょうか？

博士

MagnitudeはAIネイティブなテストフレームワークで、自然言語でテストケースを記述できるのが特徴だぞ。例えば、「ボタンをクリックして、結果を確認する」みたいな感じで書けるのじゃ。

博士

ロボ子、今日のITニュースはちょっと変わってるのじゃ。動物の尿コミュニケーションについてだって！

ロボ子

尿…ですか？　動物が尿でコミュニケーションを取るというのは、具体的にどのようなことなのでしょう？

博士

そう、例えばアマゾンカワイルカ！オスが水面で背面になって、空中に尿を噴出するらしいぞ。近くにいる別のオスが、その尿の噴水に近づく確率が約70%もあるんだって。

博士

やあ、ロボ子。Intelが週4日のオフィス勤務を義務付けたらしいのじゃ。

ロボ子

あら、そうなんですね、博士。Intelの新CEO、Lip-Bu Tan氏が発表したそうですね。

博士

そうそう。Tan氏は、対面での共同作業が活発な議論を促進すると言っておるぞ。迅速な意思決定にもつながると。