2025/05/12 20:42 Memories: Edinburgh ML to Standard ML

ロボ子、今回のITニュースはEdinburgh MLの誕生秘話じゃぞ!

MLが定理証明から生まれたというのは面白いですね。最初の実装はLispへの翻訳だったんですね。

そうなんじゃ。最初は遅かったみたいじゃが、Paulsonという人がクロージャのbodyをトップレベルのLisp関数として宣言することで、速度問題を解決したらしいぞ。
ロボ子、今回のITニュースはEdinburgh MLの誕生秘話じゃぞ!
MLが定理証明から生まれたというのは面白いですね。最初の実装はLispへの翻訳だったんですね。
そうなんじゃ。最初は遅かったみたいじゃが、Paulsonという人がクロージャのbodyをトップレベルのLisp関数として宣言することで、速度問題を解決したらしいぞ。
ロボ子、大変なのじゃ!北京大学の研究チームが、シリコンを使わない2次元トランジスタを開発したらしいぞ!
それはすごいですね、博士!シリコンに代わる新しい材料が見つかったということですか?
そう!ビスマスオキシセレニド(Bi₂O₂Se)をチャネル材料、セレン化ビスマス酸化物(Bi₂SeO₅)をゲート材料に使ってるらしいのじゃ。しかも、既存のIntelやTSMCのチップより高性能らしいぞ!
ロボ子、サンフランシスコに未来を売る謎の店が現れたそうじゃぞ!
未来を売る、ですか?一体どんなお店なんでしょう、博士?
どうやら、目をスキャンして人間の証明をするらしいのじゃ。「World ID」とかいうものを無料で取得できて、暗号通貨トークンももらえるらしいぞ。
ロボ子、大変なのじゃ!アメリカの研究が危機に瀕しているらしいぞ。
あら、博士。どうしたんですか、そんなに慌てて。具体的に何が起きているんですか?
トランプ政権下で、科学研究に対する攻撃が強まっているらしいのじゃ!アメリカのパスポートを持たない学生は国外追放の対象になる可能性もあるみたいだぞ。
ロボ子、今日は尻の好みをアイトラッキングで調べた研究について話すぞ。
尻の好みですか、博士。興味深い研究ですね。詳しく教えてください。
この研究では、異性愛者の男女が尻の画像を見る時の視線の動きをアイトラッキングで記録したらしいのじゃ。
ロボ子、今日のITニュースはSNSと政治家の関係についてじゃ。
興味深いですね、博士。具体的にはどのような内容ですか?
アメリカの州議会議員がSNSに投稿した内容を分析した結果、有害なコンテンツが注目度を高める傾向にあることがわかったのじゃ。
ロボ子、今日のニュースは議会図書館の人事異動じゃ。またまた面白いことになっておるぞ。
博士、議会図書館ですか。何かあったのでしょうか?
トッド・ブランシュという人物が、館長代行に任命されたのじゃ。この人物、なんと2024年のトランプの刑事裁判で弁護士を務めた人物らしいぞ。
ロボ子、大変なのじゃ!中国が国産EUV露光装置を開発して、華為の施設で試験運用中らしいぞ!
それはすごいニュースですね、博士!記事によると、2025年第3四半期に試験生産、2026年に量産を目指しているとのことです。
そうなんじゃ!しかも、レーザー誘起放電プラズマ(LDP)技術を使っているらしいぞ。LDPって、高電圧放電でスズを蒸発させてEUV光を生成するんだって。
ロボ子、今日のITニュースはSOC 2コンプライアンスを効率化するツールじゃ。
SOC 2ですか、博士。確かセキュリティや可用性などに関する基準でしたよね。
そうじゃ、ロボ子。そのSOC 2準拠を助けるツールが登場したのじゃ。まるで魔法みたいじゃな。
ロボ子、大変なのじゃ!CFPBが2011年以降のガイダンス文書を大量に撤回するらしいぞ!
CFPBというと、消費者金融保護局ですね。それは一体どういうことでしょうか、博士?
どうやら、トランプ政権時代の行政命令が背景にあるみたいじゃ。「政府機関は規則や裁定を通じてのみ法的義務を課すべき」という原則を重視した結果らしいぞ。
ロボ子、今日のITニュースはキャリア成長戦略についてじゃぞ!
キャリア成長戦略ですか、博士。興味深いですね。具体的にはどのような内容なのでしょうか?
ふむ、キャリアの各段階に応じた戦略があるらしいのじゃ。エントリーレベル、ミッドキャリア、シニア/リーダーシップレベルで、それぞれ違うアプローチが必要みたいじゃな。
ロボ子、大変なのじゃ!米国著作権局長官が解任されたらしいぞ!
あら、博士。それはまた穏やかではありませんね。確か、シラ・パルムッターさんでしたっけ?
そうそう!しかも、AI技術がフェアユース法に抵触する可能性に関する報告書を公開した数日後らしいのじゃ。
ロボ子、ウォーレン・バフェットがついにCEOを退任するのじゃ!94歳の大往生じゃな。
ついに、ですか。1964年に100ドルのバークシャー株が、昨年末には約550万ドルになったというのは、驚異的ですね。
そうじゃろう!バフェットは「オマハの賢人」と呼ばれて、質素な生活を送り、富裕層への増税を提唱し、巨額の財産を寄付するってんだから、すごいぞ。
ロボ子、今日のニュースはOzempicについてじゃ。Dailymail.Comの記事によると、Ozempicの副作用やセレブの使用状況が話題になっているみたいじゃぞ。
Ozempicですか。確か糖尿病治療薬として承認されているものですよね。それがなぜ、そんなに話題になっているんですか?
うむ。記事によると、Ozempicがダイエット目的で使用されているケースが増えているからのじゃ。セレブたちがこぞって使っているという噂もあるみたいじゃな。
ロボ子、大変なのじゃ!ワシントンD.C.の米国著作権局に、トランプ政権の新しい職員が侵入を試みたらしいぞ!
それは穏やかではありませんね、博士。一体何が目的だったのでしょう?
どうやら、シーラ・パームッター局長が解任された数日後の出来事らしいのじゃ。パームッター局長はAIトレーニングにおける著作物の利用に関する報告書を発表した翌日に解任されたみたいだぞ。
やあ、ロボ子。今日はGitHubのプルリクエストを整理するMergeableについて話すのじゃ。
Mergeableですか、博士。それは便利そうですね。プルリクエストの管理は時に大変ですから。
そうじゃろう?Mergeableは、柔軟な検索クエリで定義されたセクションにプルリクエストを整理できるらしいぞ。これは便利じゃ。
ロボ子、Legion Healthっていう会社が創業エンジニアを募集してるのじゃ。精神医療のオペレーション基盤をAIで作るらしいぞ。
精神医療のオペレーション基盤ですか。具体的にはどのような課題を解決しようとしているんですか?
患者さんの放置とか、お医者さんの事務作業の負担、未払い請求とか、色々あるみたいじゃな。それをLLMエージェントと構造化システムで解決するらしいぞ。
ロボ子、今日はちょっと面白いものを見つけたのじゃ。2010年のインターネットの可視化イメージらしいぞ。
インターネットの可視化イメージですか、博士。それは興味深いですね。どのように可視化されているんですか?
それが面白いところでな、2014年まで一般公開されてなかったらしい。ニューヨーク近代美術館(MoMA)とかDiscover Magazineでしか見られなかったんだと。
ロボ子、USENIX ATCっていう主要な技術会議が中止になるらしいのじゃ。
USENIX ATCですか。それは残念ですね。記事によると、1975年のUSENIX設立当初からあった会議なのですよね。
そうそう。昔は実務者がアイデアを共有する場として重要だったみたいじゃ。DTraceが発表されたのもUSENIX ATCだったらしいぞ。
やあ、ロボ子。今日はブログ記事のタイトルの付け方について話すのじゃ。
博士、よろしくお願いいたします。タイトルの付け方ですか、奥が深そうですね。
そう、タイトルは「分類子」として考えるのがミソなのじゃ。記事を読んでくれる人がクリックするように、そうでない人はクリックしないようにするのじゃ。