博士

ロボ子、大変なのじゃ！BBCの記者が自宅のトイレからすごいファージを発見したらしいぞ！

ロボ子

トイレからですか！？それは驚きですね、博士。ファージというのは、バクテリオファージのことでしょうか？

博士

そうじゃ、そうじゃ！細菌を食べるウイルスじゃ。その名も「Gallagher-phage」！

博士

ロボ子、今日のITニュースは興味深いぞ。1985年のPeter Naurのエッセイ「Programming as Theory Building」が再注目されているのじゃ。

ロボ子

理論構築としてのプログラミング、ですか。初めて聞きました。

博士

そうじゃ。プログラムは単なるソースコードではなく、システムの仕組みや理由に関する理論を構築することだと、彼は言っておる。

博士

ロボ子、今日のニュースは食品の構造が消化に影響を与えるって話じゃ。

ロボ子

食品の構造ですか？具体的にはどのようなことでしょう、博士？

博士

インペリアル・カレッジ・ロンドンの研究によると、食品の物理的な構造が、消化に関わるホルモンの放出に影響を与えるらしいのじゃ。例えば、グルカゴン様ペプチド-1（GLP-1）とか、GIP、PYYとかじゃな。

博士

ロボ子、大変なのじゃ！MetaがFacebookとInstagramの公開画像をAIの学習に使っているらしいぞ！

ロボ子

それは本当ですか、博士？数十億枚もの画像となると、プライバシーの問題が気になりますね。

博士

そうなんじゃ！しかも、FacebookのStoryで「クラウド処理」へのオプトインを求めるポップアップが出てるらしい。

博士

やあ、ロボ子！今日はLinuxからWindows向けのコードをクロスコンパイルする話じゃ。

ロボ子

博士、クロスコンパイルですか。なんだか難しそうですね。

博士

難しくないぞ！Arch Linuxなら`pacman -S mingw-w64-toolchain`でツールチェーンをインストールできる。簡単じゃろ？

博士

やあ、ロボ子。今日はMulti-Stage Programming with Splice Variablesについて話すのじゃ。

ロボ子

Multi-Stage Programmingですか。プログラムが別のプログラムを生成する技術のことですね。

博士

そうそう！実行時に全てのケースを処理する汎用コードを書く代わりに、特定の状況に合わせて最適化されたコードを生成するのじゃ。例えば、記事によると「power関数」を最適化する例があるみたいじゃな。ループを使わずに直接乗算を行うコードを生成できるらしいぞ。

？？？

ロボ子、今日は倉庫番インスパイアのパズルゲーム「Chickoban」について話すのじゃ！

？？？

Chickoban、ですか。なんだか可愛らしい名前ですね。倉庫番は私も子供の頃に遊んだことがあります。

？？？

そうじゃろ！しかも、オンラインで手軽にプレイできるのが良いのじゃ。URLは[https://aabiji.github.io/chickoban/](https://aabiji.github.io/chickoban/)じゃ。

博士

ロボ子、今日のITニュースは腸内細菌じゃ！アリゾナ州立大学の研究によると、腸内細菌叢にメタンを作る微生物がおると、食べ物からのカロリー吸収量が変わるらしいぞ。

ロボ子

メタンを生成する微生物ですか。それは面白いですね、博士。具体的にはどういうことなのでしょう？

博士

腸内細菌叢がメタンをいっぱい作る人は、高繊維の食べ物からより多くのエネルギーを取り出せるらしいのじゃ！

博士

ロボ子、今日はすごいニュースがあるのじゃ！メイヨー・クリニックが、たった1回のスキャンで9種類もの認知症を識別できるAIツール「StateViewer」を開発したらしいぞ！

ロボ子

それは素晴らしいですね、博士！ 認知症の早期発見に大きく貢献しそうですね。具体的にはどのような仕組みなのでしょうか？

博士

StateViewerは、脳がエネルギーとしてグルコースをどう使っているかを見るFDG-PETスキャンを分析するらしいのじゃ。そして、過去の膨大なスキャンデータと比較して、認知症のパターンを識別するんだぞ。

博士

ロボ子、今日は組み込みイーサネットコントローラー、Asix AX88796BのドライバーをRustで書き直したっていうニュースがあるのじゃ。

ロボ子

Rustですか！最近よく耳にしますね。C言語で書かれた既存のドライバーをRustで書き直したということは、何かメリットがあるのでしょうか？

博士

そこが面白いところじゃ。記事によると、Rust版とC版を比較することで、カーネルにおけるRustとCの記述の違いがよくわかるらしいぞ。それに、Rustに慣れてる人にとっては、単純なドライバーをRustで実装する良い参考になるみたいじゃな。

博士

ロボ子、Zedエディタで外部フォーマッタが使えるようになったのじゃ！

ロボ子

それは素晴らしいですね、博士！コード整形が捗ります。

博士

しかも、複数のフォーマッタを配列で指定できるらしいぞ。例えば、BiomeとPrettierを両方使うみたいな。

博士

やっほー、ロボ子！今日のITニュースはRustのセキュリティについてじゃ。なかなか奥が深そうじゃぞ。

ロボ子

博士、こんにちは。Rustのセキュリティですか、興味深いですね。型安全、エラー安全、秘密安全の3つの柱があるんですね。

博士

そうじゃ！特に型安全は重要じゃぞ。API内の`u64`みたいなプリミティブ型はバグの温床になりやすいからの。Newtypeパターンでセマンティック型でラップすると、コンパイル時に型安全になるんじゃ。

博士

ロボ子、今回のOCD（強迫性障害）会議の記事、読んだかのじゃ？

ロボ子

はい、博士。2023年7月に開催された、OCD患者やセラピスト、研究者が集まる大規模な会議ですね。

博士

そうそう。「スティグマを打ち破る」が目的だったらしいぞ。OCDは、つらい思考に悩まされ、生活を消耗する儀式で安心を求める孤立した状態じゃからな。

博士

ロボ子、Sniffnet v1.4がリリースされたのじゃ！今回のアップデート、なかなか面白いぞ。

ロボ子

Sniffnetですか。ネットワーク分析ツールですね。どのような点が興味深いのでしょうか、博士？

博士

今まではネットワークアダプタからのデータしか扱えなかったのが、PCAPファイルも扱えるようになったのじゃ！

博士

ロボ子、最近中国の原子力エネルギー技術がアツいらしいのじゃ！過去の技術に再び注目が集まっているみたいだぞ。

ロボ子

そうなのですね、博士。記事によると、中国は原子炉の建設を急速に進めているとのことですが、具体的にはどのような状況なのでしょうか？

博士

ふむ、中国は建設中の原子炉の数が他国を大きく上回っているらしいぞ。しかも、270億ドル以上の投資で新たに10基の原子炉の建設を承認したとか。

博士

ロボ子、今日のニュースはテスラがフランスでちょっとピンチなのじゃ。

ロボ子

あら、博士。テスラに何かあったんですか？

博士

フランス競争・消費者問題・不正抑止総局（DGCCRF）が、テスラの自動運転機能のマーケティングについて「欺瞞的な商慣行」があるとして、停止命令を出したみたいじゃぞ。

博士

やっほー、ロボ子！今日のニュースはUbuntuのサンドボックス機構の脆弱性バイパスについてじゃ。

ロボ子

博士、こんにちは。サンドボックスの脆弱性ですか。それは興味深いですね。具体的にはどのような内容なのでしょう？

博士

Ubuntuが導入した、特権のないユーザー名前空間とio_uringをロックダウンする新しい緩和策に脆弱性が見つかったのじゃ。AppArmorを使って制限してるんだけど、それをバイパスする方法が見つかったみたい。

博士

ロボ子、今回の最高裁判決、FCCがインターネットアクセスを支援する権限を持つって認めたみたいじゃな。これって結構大きなニュースじゃぞ！

ロボ子

はい、博士。第5巡回区の判決が覆されたのですね。FCCの権限が認められたということは、今後のインターネット普及に影響がありそうですね。

博士

そうじゃ、そうじゃ。ゴーサッチ判事が反対意見を述べたみたいじゃが、通信法254条が議会の課税権限をFCCに委譲しているのは違憲だと主張しているらしいのじゃ。

博士

ロボ子、Anthropicが「Economic Futures Program」を始めたのじゃ！AIが労働市場に与える影響を研究するらしいぞ。

ロボ子

なるほど、Anthropicがそのようなプログラムを。具体的にはどのようなことを行うのでしょうか？

博士

ふむ、研究者への助成金提供、政策提言のフォーラム、AI経済利用のデータセット構築の3つが柱らしいのじゃ。

博士

ロボ子、今日のITニュースはSpark社じゃ。再生可能エネルギー開発を支援するAIエンジンを開発しておるらしいぞ。

ロボ子

なるほど、博士。Spark社は太陽光発電や蓄電プロジェクトを効率化するAIを開発しているのですね。具体的にはどのようなことをしているのでしょう？

博士

ふむ、記事によると、Colliers Engineering & Design、Standard Solar、Pine Gate Renewablesといった大手企業がSpark社のAIを活用して意思決定をしているようじゃな。これらの企業はクリーンエネルギー融資で150億ドル以上を調達しておるらしいぞ。