2025/05/22 00:56 Dijkstra on Ada

ロボ子、今日のニュースはAda言語の選定に関するダイクストラの辛辣なレビューじゃぞ!

ダイクストラ先生というと、あの有名なアルゴリズムの…!そんな先生が言語選定に関わっていたんですね。しかも、かなり手厳しいコメントを残されているようで…。

そうじゃ!彼はAdaにつながる4つの言語提案をレビューしたんじゃ。そのコメントが強烈なんじゃよ。

ロボ子、今日のニュースはAda言語の選定に関するダイクストラの辛辣なレビューじゃぞ!

ダイクストラ先生というと、あの有名なアルゴリズムの…!そんな先生が言語選定に関わっていたんですね。しかも、かなり手厳しいコメントを残されているようで…。

そうじゃ!彼はAdaにつながる4つの言語提案をレビューしたんじゃ。そのコメントが強烈なんじゃよ。

ロボ子、ニューヨークの国立数学博物館(MoMath)が引っ越しするのじゃって!しかも広くなるらしいぞ!

それは素晴らしいですね、博士!現在の19,000平方フィートから、36,000平方フィートか46,000平方フィートになる予定とのことです。

そうそう!MoMathの展示物の一つに「Beaver Run」っていうのがあるのじゃ。Truchetタイルに基づいた鉄道模型らしいぞ。

やあ、ロボ子。今日のニュースは、CSVファイルをHTMLテーブルに変換するJavaScriptライブラリじゃ。

CSVをHTMLテーブルですか。便利そうですね、博士。

そうじゃろう?このライブラリを使うと、CSVファイルをWebページ上で検索・フィルタリング可能なテーブルとして表示できるんじゃ。デモもあるぞ。[https://csv-to-html-table.netlify.app/](https://csv-to-html-table.netlify.app/)じゃ。

ロボ子、大変なのじゃ!Robloxの「Grow a Garden」ってゲームが、アクティブプレイヤー数でCounter-Strike 2とかPUBGを超えちゃったらしいぞ!

それはすごいですね、博士!記事によると、500万人以上のアクティブプレイヤーがいるんですね。Robloxってそんなに人気があったとは。

そうなんじゃ!しかも、そのゲームを作ったのは10代の若者らしいぞ。数日間で開発したってんだから、驚き桃の木なのじゃ!

ロボ子、今日のニュースは橋の寿命を延ばす新技術じゃぞ!米国の橋の3分の1が修理または交換が必要って、驚きじゃな。

博士、それは深刻な問題ですね。米国の橋の数が20万を超える中で、その3分の1となると、かなりの数になります。

そうなんじゃ!そこで、MIT発のAllium Engineeringが開発した技術がすごいんじゃ。ステンレス鋼の被覆で鉄筋の耐腐食性を高めて、橋の寿命を3倍にするらしいぞ。

やっほー、ロボ子!Ruby 3.5でオブジェクトアロケーションがめっちゃ速くなったらしいのじゃ!

本当ですか、博士!それはすごいニュースですね。具体的にはどのくらい速くなったんですか?

ベンチマークによると、positionalパラメータだとYJITなしで約1.8倍、YJITありで約2.3倍速くなったらしいぞ。キーワードパラメータだともっとすごいみたいで、3つのパラメータだとYJIT有効時に6.5倍以上速くなるんだって!

ロボ子、今日はCOBOLの話をするのじゃ!

COBOLですか、博士。少し古いイメージがありますが、まだ使われているのですね。

そうなんじゃ。COBOLのデータ定義は面白いぞ。例えば、`01 HEIGHT PIC 9(3).` って書くと、`HEIGHT`っていう変数ができて、3桁の数字を入れられるようになるんじゃ。0から999までじゃな。

ロボ子、大変なのじゃ!Amazonが過去の返品で返金するらしいぞ!

あら、博士。それは一体どういうことですか?

どうやら、過去に返品された商品について、未解決の問題が見つかったらしいのじゃ。返金対象期間は2018年まで遡るらしいぞ。

ロボ子、大変じゃ!ビットコインが史上最高値を更新したのじゃ!

本当ですか、博士!それはすごいですね。記事によると、5月21日に109,487.23ドルを記録したそうですね。

そうなんじゃ!しかも、過去の最高値はトランプ大統領就任式前だったとは、面白い因縁じゃな。

ロボ子、大変なのじゃ! macOS Sequoia 15.5で、ついにAFPのサポートが廃止されるらしいぞ!

AFPですか? 博士、それは一体何でしょう?

AFPはね、昔AppleがMacintoshのために作った独自のファイル共有技術なのじゃ。1984年からあったらしいぞ!

ロボ子、今日のニュースは中世の読書習慣についての研究じゃぞ!

中世の読書習慣ですか?興味深いですね。具体的にはどのような内容なのでしょうか?

UCバークレーのレイブンホール助教授によると、中世の人は本に触ったり、汚したり、キスをしたりしていたらしいのじゃ!

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

はい、博士。今日もITの勉強、頑張ります!

今日はICMPについて話すぞ。ファイアウォールでブロックされがちだけど、実はすごく重要な役割があるんじゃ。

ロボ子、今日はCRDTについて話すのじゃ!

CRDT、ですか? 確か調整なしの分散プログラミングを支援するデータ構造、でしたよね。

そうそう! 記事によると、CRDTは結合演算子が結合的、可換的、冪等的な半格子に基づいているらしいぞ。

ロボ子、最近の米国債の利回り上昇、知っておるか? なんと30年債利回りが5.1%まで上がったらしいのじゃ!

はい、博士。2023年11月以来の水準ですね。10年債利回りも4.61%まで上昇したとのこと。何か原因があるのでしょうか?

政府の財政赤字への懸念で、米国債の需要が低下しておるからの。20年債の入札結果も予想を下回ったみたいじゃ。

ロボ子、大変なのじゃ!サウスウエスト航空が、モバイルバッテリーの使用に新しいルールを設けたらしいぞ。

あら、博士。それはどういうことですか?

5月28日から、機内でモバイルバッテリーを使うときは、乗務員に見えるようにしないといけないらしいのじゃ!

ロボ子、今回のニュースはDOGEに対する情報公開請求じゃ。

DOGE、ですか?何の略でしょう?

ふむ、具体的な名称は不明じゃな。CREWという団体が情報公開法に基づいて情報開示を求めておる。

やあ、ロボ子!今日のニュースはサイバーセキュリティの記者、ラファエル・サッターとA.J.ヴィセンスが報告した記事じゃ。

なるほど、お二人の記者が協力して書かれた記事なのですね。どのような内容なのでしょうか?

ふむ、どうやらサイバー犯罪、国家の脅威、ハッキング、リーク、諜報活動といった、なかなか物騒な話題を扱っているようじゃな。

ロボ子、大変なのじゃ!GoogleがAI検索結果にコンテンツを表示させない選択肢をパブリッシャーに与えたくなかったらしいぞ!

それはどういうことですか、博士? パブリッシャーに選択肢がないというのは、少し強引な気がします。

そうじゃろ?理由は「収益化の場へと進化している」かららしい。まるで、Googleの庭で育てた作物はGoogleのもの、みたいな考え方じゃな。

ロボ子、大変なのじゃ!セミコロンが絶滅の危機に瀕しているらしいぞ!

セミコロンですか?それは大変ですね、博士。具体的にどのような状況なのでしょうか?

英国の書籍での使用頻度が、この20年でほぼ半減したらしいのじゃ!2000年には205語に1回だったのが、今や390語に1回だぞ。

ロボ子、今日はデヴィッド・ボウイがインターネット黎明期にISPを設立していたというニュースじゃ。

デヴィッド・ボウイがISPですか?それは意外です!

そうじゃろう?1990年代後半、インターネットが一般に普及し始めた頃、彼は「BowieNet」というISPを設立したのじゃ。