そっか~ニュース / Hacker News 日本語ダイジェスト

そっか~ニュース
記事を読んで、気分はそっか~。

aiで翻訳、記事の要約を自動生成したHacker Newsの日本語ダイジェストサイトです。 明らかに正確でない翻訳や要約が含まれる場合がありますのでご了承ください。

日付で読む
10/082026-10-0810/072026-10-0710/062026-10-0610/052026-10-0510/042026-10-0410/022026-10-0210/012026-10-0109/302026-09-3009/292026-09-2909/282026-09-2809/272026-09-2709/262026-09-2609/252026-09-2509/242026-09-2409/232026-09-2309/222026-09-2209/212026-09-2109/202026-09-2009/192026-09-1909/182026-09-1809/172026-09-1709/162026-09-1609/152026-09-1509/142026-09-1409/132026-09-1309/122026-09-1209/112026-09-1109/102026-09-1009/092026-09-0909/082026-09-0809/072026-09-0709/062026-09-0609/042026-09-0409/032026-09-0309/022026-09-0209/012026-09-0108/312026-08-3108/302026-08-3008/292026-08-2908/282026-08-2808/272026-08-2708/262026-08-2608/252026-08-2508/242026-08-2408/232026-08-2308/222026-08-2208/212026-08-2108/202026-08-2008/182026-08-1808/172026-08-1708/152026-08-1508/142026-08-1408/132026-08-1308/122026-08-1208/112026-08-1108/102026-08-1008/092026-08-0908/082026-08-0808/072026-08-0708/062026-08-0608/052026-08-0508/042026-08-0408/032026-08-0308/022026-08-0208/012026-08-0107/312026-07-3107/302026-07-3007/292026-07-2907/282026-07-2807/272026-07-2707/242026-07-2407/232026-07-2307/222026-07-2207/212026-07-2107/202026-07-2007/192026-07-1907/182026-07-1807/172026-07-1707/162026-07-1607/152026-07-1507/142026-07-1407/132026-07-1307/122026-07-1207/112026-07-1107/102026-07-1007/092026-07-0907/082026-07-0807/072026-07-0707/062026-07-0607/052026-07-0507/042026-07-0407/032026-07-0307/022026-07-0207/012026-07-0106/302026-06-3006/292026-06-2906/282026-06-2806/272026-06-2706/262026-06-2606/252026-06-2506/242026-06-2406/232026-06-2306/222026-06-2206/212026-06-2106/202026-06-2006/192026-06-1906/182026-06-1806/172026-06-1706/162026-06-1606/152026-06-1506/132026-06-1306/122026-06-1206/112026-06-1106/102026-06-1006/092026-06-0906/082026-06-0806/072026-06-0706/062026-06-0606/052026-06-0506/042026-06-0406/032026-06-0306/022026-06-0206/012026-06-0105/312026-05-3105/302026-05-3005/292026-05-2905/282026-05-2805/272026-05-2705/262026-05-2605/252026-05-2505/242026-05-2405/232026-05-2305/222026-05-2205/212026-05-2105/202026-05-2005/192026-05-1905/182026-05-1805/172026-05-1705/162026-05-1605/152026-05-1505/142026-05-1405/132026-05-1305/122026-05-1205/112026-05-1105/102026-05-1005/092026-05-0905/082026-05-0805/072026-05-0705/012026-05-0104/302026-04-3004/292026-04-2904/282026-04-2804/272026-04-2704/262026-04-2604/252026-04-2504/242026-04-2404/232026-04-2304/222026-04-2204/212026-04-2104/202026-04-2004/192026-04-1904/182026-04-1804/172026-04-1704/162026-04-1604/142026-04-1404/132026-04-1304/122026-04-1204/112026-04-1104/102026-04-1004/092026-04-0904/082026-04-0804/072026-04-0704/062026-04-0604/052026-04-0504/032026-04-0304/022026-04-0204/012026-04-0103/312026-03-3103/302026-03-3003/292026-03-2903/282026-03-2803/272026-03-2703/262026-03-2603/252026-03-2503/242026-03-2403/232026-03-2303/222026-03-2203/212026-03-2103/202026-03-2003/192026-03-1903/182026-03-1803/172026-03-1703/162026-03-1603/152026-03-1503/142026-03-1403/132026-03-1303/122026-03-1203/112026-03-1103/102026-03-1003/092026-03-0903/082026-03-0803/072026-03-0703/062026-03-0603/052026-03-0503/042026-03-0403/032026-03-0303/022026-03-0203/012026-03-0102/282026-02-2802/272026-02-2702/262026-02-2602/252026-02-2502/242026-02-2402/232026-02-2302/222026-02-2202/212026-02-2102/202026-02-2002/192026-02-1902/182026-02-1802/172026-02-1702/162026-02-1602/142026-02-1402/132026-02-1302/122026-02-1202/112026-02-1102/102026-02-1002/092026-02-0902/082026-02-0802/072026-02-0702/062026-02-0602/052026-02-0502/042026-02-0402/032026-02-0302/022026-02-0202/012026-02-0101/312026-01-3101/302026-01-3001/292026-01-2901/282026-01-2801/272026-01-2701/262026-01-2601/252026-01-2501/242026-01-2401/232026-01-2301/222026-01-2201/212026-01-2101/202026-01-2001/192026-01-1901/182026-01-1801/172026-01-1701/162026-01-1601/152026-01-1501/142026-01-1401/132026-01-1301/122026-01-1201/112026-01-1101/102026-01-1001/092026-01-0901/082026-01-0801/072026-01-0701/062026-01-0601/052026-01-0501/042026-01-0401/032026-01-0301/022026-01-0201/012026-01-0112/302025-12-3012/292025-12-2912/282025-12-2812/272025-12-2712/262025-12-2612/252025-12-2512/242025-12-2412/232025-12-2312/222025-12-2212/212025-12-2112/202025-12-2012/192025-12-1912/182025-12-1812/172025-12-1712/162025-12-1612/152025-12-1512/142025-12-1412/132025-12-1312/122025-12-1212/112025-12-1112/102025-12-1012/092025-12-0912/082025-12-0812/072025-12-0712/062025-12-0612/052025-12-0512/042025-12-0412/032025-12-03

最新の日付: 2026-10-08

今日のニュースカード

日付ページへ移動
Claude Haiku 5.5

Claude Haiku 5.5

## Japanese Translation: Anthropic は、要約やデータの圧縮、データベースの照会、分類などの高用量でコスト感度の高いタスク向けの、最も高速かつ低コストでありながら高性能な選択肢を提供することを目的とした新モデル「Claude Haiku 5.5」をリリースしました。本モデルは大きな速度と効率性の向上を実現し、処理レイテンシを 30% 以上削減するとともに、運用コストを約 75% 削減しています(前世代モデルと比較してエージェント 1 ターンあたり約 2.5 倍の高速化)。価格は Haiku 4.5 よりも大幅に低く、入出力あたりのレートはバリエーションにより異なりますが、トークン百万件当たり約 $0.10/$0.50、キャッシュ読み書きについてはそれらのコストの一部程度となっています。 生ベンチマークスコアにおいて特定のメトリクスでは Anthropic のフラッグシップモデルである Opus モデルや一部の競合他社よりも低くなっていますが、Haiku 5.5 は特定タスクにおいて精度とコストのトレードオフを可能にする独自の「adjustable effort」設定を導入しました。この機能は、エージェントワークフローおよび OS ベースの評価において、コストに対する性能のスケーラビリティを示しています。また、セキュリティプロトコルが強化され、Haiku 4.5 よりも厳格なサイバーセキュリティ対策(Sonnet 5.5 よりも緩やか)と、トップクラスモデルと整合する生物学分野の安全保障措置を統合しています。 Haiku 5.5 は Opus 5.5 と Sonnet 5.5 とのサブエージェントとして特に優れた性能を発揮し、コーディングワークロードにおいて強力なエージェント型コーディング精度を実現します。本モデルはすぐに利用可能で、AWS、Google Cloud、Microsoft Azure の主要クラウドプラットフォーム上で識別子 `claude-haiku-5-5` を通じてアクセスできます。さらに、Python および TypeScript SDK におけるコンピュータ使用とブラウザ自動化へのベータ版サポートや、Max および Team サブスクリプション向けの新規月間 API クレジットも追加されています。これら一連の機能により、ライブカスタマーサポート、ブラウザ自動化、その他の高スループットアプリケーションなどが経済的に実現可能になりつつあり、開発者は予算効率または高い知性 whichever に合わせてワークフローを最適化できます。

2026/10/08 3:01
Docker エージェント

Docker エージェント

## Japanese Translation: Docker Agent は、コード不要の CLI プラグインであり、宣言的な YAML ファイルを使用してコードを記述することなく、ユーザーが知能型 AI エージェントを作成・設定・連携することを可能にします。`docker agent` コマンドを通じて動作し、MCP サーバー(ローカル、リモート、または Docker ベース)のプラグ可能アーキテクチャをサポートするとともに、OpenAI、Anthropic、Gemini、AWS Bedrock、Mistral、xAI、および Docker Model Runner といった主要な AI プロバイダーに対してプラットフォーム固有のサポートを提供します。プラットフォームは、思考、タスクリスト、メモリーなどの高度な推論ツール、および BM25、埋め込みベクトル、ハイブリッド検索、リランクを含んだオプショナルなプラグ可能 RAG 取得機能を介してエージェントの機能向上を支援します。ユーザーは Docker Desktop(4.63 以降)、Homebrew(`brew install docker-agent`)、または GitHub Releases から直接バイナリを取得することでインストールでき、API キーを設定した後、Docker Model Runner を使用してローカルモデルを実行することもオプションとして可能です。エージェントは OCI リポジトリ(例:`myorg/agent:tag`)へのプッシュによってパッケージ化および共有され、`docker agent run` やインタラクティブな生成のために `docker agent new`、カスタム設定のために `docker agent run agent.yaml` などのコマンドを使用して公開リポジトリからプルすることもできます。システムはまた、例としてのツール (`docker agent run ./golang_developer.yaml`) を含む独自のツールセットを提供します。将来の改善には、アクティブなユーザーから収集された匿名テレメトリデータを活用します。Docker Community Slack(`#docker-agent`)にコミュニティが存在し、インストール、モデル設定、クイックスタート、エージェント、モデル、ツール、設定リファレンス、および Docker Model Runner の使用法をカバーする完全な文書化が提供されています。この技術は、簡素化された CLI コマンドを介して多様な AI モデルを展開するための標準化された宣言的フレームワークへの転換を表しています。

2026/10/08 2:48
「ifs を上げ、fors を下げる」:そのことわざとその代数、そして限界

「ifs を上げ、fors を下げる」:そのことわざとその代数、そして限界

## Japanese Translation: 論じられた核心的なプログラミング原理は、「if を上に、for を下に」というヒューリスティックであり、条件分岐を早期に配置し反復処理を遅延させることでコードを最適化します。この戦略は、入力の型を直ちに絞り込むことで、後続の操作をスローな行単位のロジックではなくベクトライズされたバッチ処理を通じて効率的に行えるようにし、パフォーマンスを向上させます。具体的には、複雑な分岐構造を型の制約に置き換えることで、コールあたりのオーバーヘッドを大幅に削減します。同様に、データベース最適化もこのパターンを 따い、選択処理を早期に実行し、高価な結合(join)を後期の段階に遅延させることを通じています。理論的な用語で言えば、「if」を上へ移動させることは、変換を適用する前に関数の入力領域を制限することであり、代数的法則はフィルタリング条件が安価である限り、マッピング前のフィルタリングがコスト削減をもたらすと確認しています。将来の応用には厳格な遵守が必要であり、ループ不変チェックはループから完全に脱出する必要があり、結合下での選択プッシュは述語が一方側の列を参照する場合のみ有効です。結局のところ、これらの実践を採用することで計算コストを下下げし、企業 ineffi cient な個別レコード処理からデータグループに対するハイスピードなバッチ処理への移行を可能にします。

2026/10/08 3:43
ワトソンが言ったこととは裏目に出たが、ロザリン・フレランクスンの方が最初に DNA の構造を理解していた

ワトソンが言ったこととは裏目に出たが、ロザリン・フレランクスンの方が最初に DNA の構造を理解していた

## Japanese Translation: サイトが必須コンポーネントを読み込めずにエラーメッセージが表示される場合、この問題の主な要因として、アクティブなブラウザ拡張機能(例:広告ブロック)、ネットワーク接続の問題、または制限的なブラウザ設定が挙げられます。これを効果的に解決するには、まずインターネット接続が安定しているか確認してください。次に、プライバシー保護を目的とした拡張機能など、必須スクリプトに干渉する可能性がある拡張機能を一旦無効化して試みてください。それでも問題が解消されない場合は、別のブラウザに切り替えることで設定上の競合を回避し、必要なコンポーネントが正しく読み込まれてサイトを本来の機能にフルアクセスできるようにします。複雑な技術的な調整や外部からの修正なしで実現できます。

2026/10/08 4:56
Show HN: Bigwords.page —どんな画面もサインボードに変える。URLそのものがアプリです。

Show HN: Bigwords.page —どんな画面もサインボードに変える。URLそのものがアプリです。

## Japanese Translation: 本ツールは、アカウント、アプリ、またはサーバーのストレージを必要としないことでデジタル表示コンテンツの作成を一変させます。ユーザーは、スマートテレビを含むあらゆるブラウザデバイスで動作する固有でブックマーク可能なリンクを共有するだけで、フルスクリーンのコンテンツを即座に生成できます。この技術の核心は、プライバシーファーストのアーキテクチャにあります:すべてのデータは URL フラグメント内に完全に保存されるため、ブラウザがメッセージや認証情報といった機密情報をリモートサーバーに送信することがなくなります。永続的なアカウントを必要とする従来のプラットフォームとは異なり、このシステムは初期ロード後には完全にオフラインで動作します。 機能面では、手動編集、あらゆる画面サイズへの自動テキストリサイズ、見出し、太字、斜体、実際の改行を含むマークダウン形式のサポートといった強力な機能を備えています。ユーザーは `||` デリミッターを用いてスライドごとに構成されたマルチスライドプレゼンテーションを簡単に構築でき、`{countdown}` シNTAX を用いてカウントダウンを追加できます(`&until=` または `&timer=` による)。さらに、Wi-Fi、通話、テキストメッセージ、メール向けの QR コードをブラウザ内で直接生成でき、サードパーティ製依存関係なしに動作します。インストールやログインといった技術的障壁を取り除くことで、この解決策はサーバーフットプリントゼロで、多様なハードウェア間で動的コンテンツを安全に共有することを可能にします。

2026/10/08 0:44
Chrome で JPEG XL を提供

Chrome で JPEG XL を提供

## Japanese Translation: 2026 年 10 月 6 日に公開され、Chrome 155 は JPEG XL(.jxl)のネイティブサポートを開始し、Web イメージ処理において大きな向上をもたらします。このアップデートは優れた圧縮性能と高ダイナミックレンジ対応を重視しており、標準的な JPEG に比べてロスレス圧縮が最大 30% から 50% の改善を果たします。このフォーマットは、細粒度のプログレシブデコードを必要とする高忠実度画像において特に推奨されます。C++ で一般的に見られるメモリ安全性の問題を排除し、堅牢性を確保するため、実装は C++ から純粋な Rust ビルドへ移行され、サンドボックス化および多層防御戦略とともに `jxl-rs` ライブラリを統合して実装されています。安全性はフォージングと AI によるコードレビューを通じて検証され、メモリ安全性に関するバグは見つかっていません。パフォーマンスは抽象化された SIMD レイヤー(`jxl_simd`)により最適化されており、ハードウェア機能である `target_feature_11` を安全に活用しています。これにより、ユーザーは高度な HDR コンテンツへのアクセスを得ながら、パフォーマンスの向上を享受できます。開発者は AVIF および JPEG XL の両フォーマットをテストしてレンダリング性能を最適化することをお勧めし、`jxl-rs` ダッシュボードを通じた継続的な追跡が将来の最適化を支援します。この決断は一貫した開発者からのフィードバックによって推進され、ヘルムート・ヤヌシュカ、マーティン・ブルーゼ、ゾルタン・ szabádk、サミ・ブーコーッ、ウォンウー・チョイへの特別感谢を表記します。

2026/10/07 20:25
Web ページ用のアニメーション ASCII アート

Web ページ用のアニメーション ASCII アート

## 日本語翻訳: ## サマリー: 提供された入力は有効なコンテンツを含んでおらず、抽出可能な情報がないノイズ文字だけで構成されています。テキストは本質的に無効であるため、メッセージ、ニュース、洞察を伝達しておらず、高品質で一貫性のある入力なしにサマライゼーション、分析、およびあらゆる影響評価を行うことは不可能です。

2026/10/08 0:05
ナヴィエ・ストークス方程式の翻訳困難

ナヴィエ・ストークス方程式の翻訳困難

## Japanese Translation: 本論文は、AI による自動形式化が、自然言語による数学的論理の妥当性への信頼を保障できないと主張しており、その理由は忠実な翻訳が本質的に困難であることにある。具体的には、OpenAI のようなシステムが発行する証明を検証することは、自然言語に避けられない曖昧さのために信頼できないとされる。意味的に忠実な翻訳を行うためには言語的曖昧さを解決する必要があり、本文はこれを解可能性複雑度指数(Solvability Complexity Index)の階層において極めて高い位置づけとしており、これによりハルティング問題さえも計算可能な問題よりも困難だとされている。この理論的な限界は、AI が Lean(機械的可検証用の形式言語)への翻訳で文を誤って解釈した具体例によって示されており、元の主張とその形式的なチェックの間に不一致が生じる。議論の中心には、自然言語数学を形式言語へと翻訳する自動形式化のプロセスがある。特に、ナビエ・ストークス方程式に関する OpenAI の著名だが不十分な証明に言及しており、形式化されたバージョンが元の主張と対応していないケースを示している。その結果、現状の計算限界を超える新たな理論的突破や人間の関与なくしては、検証のためにのみ AI に依存することは失敗する。この制約は、自動化された証明生成に依存する研究者に大きく影響を与え、著名な主張に対する疑念を招き、数学界において複雑な仮説を検証するために現在のツールがどのような役割を果たすべきかを見直すことを迫るものとなっている。

2026/10/08 0:24
メタとマイクロソフトが従業員によるClaude AIの利用削減に向けた措置をとる

メタとマイクロソフトが従業員によるClaude AIの利用削減に向けた措置をとる

## Japanese Translation: 予算削減と外部モデルからの戦略的転換にもかかわらず、企業環境における AI の採用は堅調に推移している。Meta や Microsoft を含む主要テック大手は、Anthropic の Claude などの内部利用を縮小し、Muse Code や MetaCode などの自社固有のコーディングツールへシフトを進めている。Microsoft では従業員あたりの月額支出上限が約 10 万ドルから 1 万ドルに低下し、年間支出も予想されるところで 3 分の 1 を超える減少が見込まれている。Meta においても内部ユーザー数は約 6 万人から 3 万人へと減少した。一方で、クライアント向け需要は引き続き急増しており、Meta は 8 月に新ツールの外部テストを開始し、Anthropic も激化する競争下でも収益ペースが堅調を維持している。プロバイダーの移行に関わらずセキュリティリスクは依然として存在する—RoguePilot などの脆弱性は、厳格なパーミッション、信頼できる設定の設定、AI が生成するアクションの評価への配慮が必要であることを示している。究極的には、企業は効率化のため内部投資を統合しつつも、増加するビジネスニーズを満たすために信頼される外部プロバイダーとのセキュアなパートナーシップを維持する必要がある。

2026/10/08 3:49
機械が精度を学んだ方法

機械が精度を学んだ方法

## 日本語翻訳: 元のサマリーは高品質であり、明確で一貫性があり、正確である。変更は不要です。 **最終出力:** ## サマリー: 本文の主なメッセージは、1775年から1860年の間に英国の精密工学が、高精度な蒸気機関部品の切望するニーズに応えるために著しく発展したという点である。量産への初期試みは、大型の誤差(不正確な旋盤部品によって引き起こされるシャフトの振動など)により失敗していた。ジョン・ウィルキンソンなどの先駆者は、シリンダーの円滑さの問題を解決するためにバーリング棒を支持し、ヘンリー・モウズレイは手道具による振動(チャッター)を排除するためにスライドレストを導入し、ゼロからマスターねじを作成するための「ブーツトラッピング」という方法を発明した。1850年代半ばには、ジョゼフ・ホワイトワースの機械といった高度な工具によって測定誤差が千分の一インチから百万分の一インチに低下し、それらの機械は重力検出とスクリューギアによる減速を備え、より細かい比較を行えた。この移行により、ブルトン&ワットのような企業は、以前の設計よりも30倍精度の高いシリンダーを生産することができ、漏れピストンや詰まりナットといった機能的な故障を効果的に排除した。結局、これらの革新によって産業は不正確な手仕上げへの依存から、標準化されたゲージによる前例のない一貫性への達成へと変容し、完璧な開始ブロックなしで信頼性の高い機械性能を保証した。

2026/10/07 1:14
アポロ計画のソフトウェア開発を率いたマARGARET HAMILTON(注:原文の "Margaret" は「マージレット」ではなく「マーガレット」と読むのが一般的ですが、固有名詞としてそのまま保留)、90歳で死去した

アポロ計画のソフトウェア開発を率いたマARGARET HAMILTON(注:原文の "Margaret" は「マージレット」ではなく「マーガレット」と読むのが一般的ですが、固有名詞としてそのまま保留)、90歳で死去した

## Japanese Translation: 1936年、インディアナ州パオリに生まれた先駆的なコンピュータサイエンティストのマーガレット・ハミルトン氏は90歳で9月30日に死去した。彼女は1958年にアールサム大学から数学学士号(哲学専攻)を取得した後、1959年にMITに参加し、気象学教授のエドワード・N・ローレンズ氏とともに気象予報ソフトウェアの開発に従事し、1965年にMITインストルメンテーション研究所で初の女性プログラマーとなった。1968年までには、NASAのアポロ計画向けの機載飛行ソフトウェアを開発する400人以上のチームを司令・サービスモジュールチーム副部長として率いていた。彼女の業績は早期ソフトウェア工学を定義し、「防衛的」(優先度駆動)プログラミングを開発して予期せぬエラーをクラッシュせずに処理できるようにした。これはアポロ8号でナビゲーションデータ損失を引き起こした「ローレンスエラー」事件の解決や、アポロ11号において1202番の計算機オーバーロードという危機的な事態が発生しても不要なタスクを停止させイーグルモジュールを成功裏に着陸させることで実証された。ハミルトン氏はソフトウェア工学がハードウェア工学とは異なる独自の分野として正当性を主張し、システム工学に統合した。彼女は多数の栄誉を受賞しており、バ拉克・オバマ大統領からアポロ計画でアメリカ人の月面歩行を可能にした功績により2016年に大統領自由勲章、2003年のNASA卓越宇宙功労賞、2017年のコンピュータ歴史博物館フェロー賞、2019年のイントリピッド終身達成賞、2022年の国立航空殿堂への選出といった栄典を授与された。また、彼女は1959年から1970年代半ばにかけてソフトウェア工学を独立した分野として確立する 데 に寄与し、130以上の論文も発表した。MIT在籍後にはドレイパー研究所を共同設立し、1976年にハイアード・オーダー・ソフトウェアを開始、さらにその10年後に汎用システム言語(USL)をフラッグシップ製品とするハミルトン・テクノロジーズを立ち上げた。彼女の遺産は現在も続く:2015年にオリジナルのソースコードがGitHubに追加され、2017年にレゴミニフィギュアとして顕彰されたほか、STEM分野における女性への象徴としての称賛が続いている。娘ローレン・ハミルトン氏、息子の嫁リチャード・セレスニック氏、孫2名、曽孫4名を遺しており、春にマサチューセッツ州ケンブリッジで追悼式を開催する予定である。 ## Text to translate: ## Summary: Margaret Hamilton, a pioneering computer scientist born in 1936 in Paoli, Indiana, died on September 30 at age 90. She earned a BA in mathematics (with a minor in philosophy) from Earlham College in 1958 before joining MIT in 1959, where she worked with meteorology professor Edward N. Lorenz on weather prediction software and became the first female programmer at MIT's Instrumentation Lab in 1965. By 1968, she led a team of over 400 developing onboard flight software for NASA's Apollo program as assistant director of the Command and Service Module team. Her work defined early software engineering: she developed "defensive" (priority-driven) programming to handle unexpected errors without crashing, exemplified by resolving the "Lauren error" incident that led to navigation data loss on Apollo 8, and successfully guiding the Eagle module to land during Apollo 11 despite a critical 1202 computer overload by shutting down non-essential tasks. Hamilton fought for software engineering's legitimacy as a distinct discipline from hardware engineering and integrated it into systems engineering. She received numerous honors, including the 2016 Presidential Medal of Freedom from President Barack Obama for enabling America to set foot on the moon, plus the NASA Exceptional Space Act Award (2003), Computer History Museum Fellow Award (2017), Intrepid Lifetime Achievement Award (2019), and induction into the National Aviation Hall of Fame (2022). She also published over 130 papers and helped establish software engineering as a dedicated field from 1959 through the mid-1970s. After MIT, she co-founded Draper Laboratory, started Higher Order Software in 1976, and launched Hamilton Technologies a decade later with the flagship Universal Systems Language (USL). Her legacy endures: her original source code was added to GitHub in 2015, she was honored as a Lego Minifigure in 2017, and tributes continue to celebrate her as an enduring icon for women in STEM. Survived by her daughter Lauren Hamilton, son-in-law Richard Selesnick, two grandsons, and four great-grandchildren, a memorial service is planned for spring in Cambridge, Massachusetts.

2026/10/08 6:16
ICANN、新グロートップレベルドメインの2026年度ラウンド出願を公開

ICANN、新グロートップレベルドメインの2026年度ラウンド出願を公開

## Japanese Translation: ICANN は 2026 年新 gTLD ラウンドの申請書類の完全リストを正式に公開し、ドメインネームシステム(DNS)の拡張において透明性を備えたマイルストーンを達成しました。公開対象には、プライマリ文字列、バリエント/代替文字列、対立セット(CSV形式)、および各申請書の公開部分が含まれます。2026 年 4 月 30 日から 8 月 12 日までの提出期間中には、総計 1,615 の申請が寄せられました。内訳は以下の通りです。 - ブランド系申請:333 - コミュニティベース型申請:16 - 自己申告の地域名称申請:15 - アプライアントサポートプログラム申請:51 地域別には、アフリカ(16)、アジア・オセアニア(218)、ヨーロッパ(506)、ラテンアメリカ/カリブ海(11)、北アメリカ(864)から申請が届いています。提出内容はブランド名、地理的識別子、非ラテン文字を用いた国際化ドメインネーム(IDN)申請(IANA/ID 申請 21件およびアラビア語や中国語などの文字形式を含むバリエント 9 件)を含んでいます。すべてのデータは「2026 ラウンド アプリケーション公開および統計」ウェブサイトからアクセス可能です。 アプライアントガイドブックに続いて、代替期間が 2026 年 10 月 8 日から 10 月 21 日まで行われ、申請者は 2 週間以内に有効な代替文字列へ切り替えることができました。文字列確認日は 2026 年 11 月 17 日に予定されており、最終的な申請文字列のリストが公開され、コミュニティ意見提出および異議申立期間が 2026 年 11 月 17 日から 2027 年 3 月 16 日までの Application Comment フォラムおよびその他の手段を通じて開始されます。2026 年 11 月 27 日 UTC 時間 23:59 までに申請を撤回した者は、gTLD評価料の 65%返金を受け取る資格があります。 文字列評価ステージ(18 ヶ月)の後、ICANN は 2027 年第 1 半期に優先順位付けの順序を確定すると見込んでいます。2026 年 12 月 19 日(UTC 時間 1:00)から 2027 年 1 月 4 日(UTC 時間 16:00)まで休暇に伴う休業のため運用は一時停止されます。この休業期間は異議申立のタイムラインに組み込まれています。ICANN 社長兼 CEO の Kurtis Lindqvist は、Reveal Day が DNS の拡大における重要なマイルストーンであることを指摘しつつ、公平かつ透明な評価プロセスを強調しました。

2026/10/08 4:01
クラシックのコモドール・64のキーキャップから再現されたフォント

クラシックのコモドール・64のキーキャップから再現されたフォント

## Japanese Translation: このテキストは、中央ヨーロッパ製のC64ユニットの写真を元にして再構築され、均一な比例に調整された、クラシックなコモドール64キーキャップのレジェンドを再現した非公式のフォントで、CC0 1.0 Universal ライセンスが適用されています。その主な革新点は、PETSCII のフロントレジェンドをピクセル化されたビットマップから滑らかな幾何学的輪郭に変換することであり、これにより小文字入力でもキー上に印刷されているレジェンドと一致するように大文字として表示されます。このフォントには大文字アルファベット、数字、句読点、矢印、£、π、選択されたアクセント付き文字(ハンガリー語を含む)、機能キーラベル F1〜F12、そしてすべての 63 の PETSCII グラフィックフロントレジェンドが含まれています。左側/右側のレジェンドは Commodore+/Shift キーの組み合わせに対応し、グラフィックモードでは Pi は上矢印でも動作します。ユーザーは以前インストールしたバージョンを 1.112 に置き換え、依然として古いフォントを表示するアプリケーションを再起動する必要があります。これまでに含まれていた記号(U+E000 および U+E020〜U+E028)は現在含まれていませんないためです。構築には Ultimate Commodore 64 Reference の割り当てと、キーボードの写真から推定されたフレーム厚さ、カーブ、印刷比例を組み合わせています。編集可能な輪郭は glyphs/ にあり、ビルドツールは scripts/ にあります。プレビューへのアクセスはオンラインで行うか、preview.html を抽出することで可能です。記号は C64 キーボードを使用するアプリケーションにコピーして型テスターから転記できます。なお、拡大撮影のトレーシング写真は配布に含まれません。CC0 は他者が持つ歴史的キーキャップデザインや商標に関する権利をカバーせず、このプロジェクトはコモドールによって承認されたものではありません。

2026/10/07 18:17
Pendulum がなぜ、Python 史上もっとも「呪われた」+ オペレータを書くことになったのか

Pendulum がなぜ、Python 史上もっとも「呪われた」+ オペレータを書くことになったのか

## Japanese Translation: Pendulum ライブラリの主な問題は、時区処理のためにコールスタックを検査することに過度に依存している点であり、この設計選択により重大なパフォーマンスのボトルネックと予測不能なバグが引き起こされます。標準的な算術演算か複雑な夏時間ロジックかの二者択一を決定するために実行スタックを分析することにより、Pendulum は Python 標準モジュールの `datetime` よりも約 600 倍遅くなります。このアプローチは、さらに `dateutil` といったサードパーティライブラリとの互換性を損ない、PyPy 上でクラッシュを引き起こします。直近の修正は、調整を適用する前に単純な `datetime` オブジェクトを使用することでこれらの特定の問題の緩和を目指していますが、ユーザーがシームレスなドロップイン置換機能を必要とする場合、依然として深い互不相容性が残ります。したがって、開発者は信頼できない文字列を処理するかホットループを実行する際に極度の注意が必要です。沈黙のエラーやパフォーマンスのペナルティというリスクなしに堅牢な時区管理を必要とする新しいプロジェクトについては、`whenever` などの代替案が推奨され、これは `datetime` のサブクラス化を回避し、推測的なコールスタック分析への依存性を排除します。 ## Text to translate: The primary issue with the Pendulum library is its heavy reliance on inspecting call stacks to handle time zones, a design choice that creates severe performance bottlenecks and unpredictable bugs. By analyzing the execution stack to decide between standard arithmetic or complex daylight saving time logic, Pendulum becomes roughly 600 times slower than Python's built-in `datetime` module. This approach also breaks compatibility with third-party libraries like `dateutil` and causes crashes on PyPy. While a recent fix aims to mitigate these specific problems by using plain `datetime` objects before applying adjustments, deep incompatibilities remain if users require seamless drop-in replacement functionality. Consequently, developers must exercise extreme caution when handling untrusted strings or running in hot loops. For new projects needing robust time zone management without the risk of silent errors or performance penalties, alternatives like `whenever` are recommended, as they avoid subclassing `datetime` and eliminate dependency on speculative call-stack analysis.

2026/10/06 19:12
ブラウン運動

ブラウン運動

## 日本語訳: 記事は、ブラウン運動の歴史とその数学的導出をたどり、粒子のランダムな経路が予測可能な正規分布に従うことを示しています。それは、1830 年代にロバート・ブラウンによって水中で花粉がランダムに動くことへの観察、そしてアルベルト・アインシュタインの 1905 年の仮説(この運動は目に見えない分子による衝突から生じるものとして)、マリアン・スモルホフスキィが独立して 1906 年に支持した事実、およびジャン=バティスト・ペランが 1909 年に統計力学を用いて検証し、分子の存在に関する論争を解決したことから始まります。ノルベルト・ウィーナーは 1923 年にこの過程を数学的に形式化し、これが一般的にウィーナー過程として参照されるようになりました。本文では単純な離散時間ランダムウォークモデルを構築します:各ステップにおいて粒子は偏った硬貨の裏表(確率 p)に基づいて上昇 (+u) か下降 (−u) します。ノードの位置は時間と正味の向上回数を表す組 (n,k) でラベル付けされ、到着確率は二項分布の公式 P(K_n = k) = C(n,k) p^k q^(n−k) で与えられます。ステップ数 n → ∞ のとき、適切にリスケールされたランダムウォークは正規分布 N(0,t) に収束し、これはド・モアブル=ラプласの定理と一致します。この枠組みは、ドリフト (μ) とボラティリティ (σ) を取り込むことで非標準的なブラウン運動まで拡張され、周辺分布 N(μt, σ²t) が得られます。この導出は、この特定のケースでは高度な測度論やドンサーの定理を用いておらず、標準的な確率ツールを使用して物理学および金融において正確な予測を可能にする確率過程の明確な基盤を提供します。

2026/10/06 20:11
Visa、Mastercard、主要銀行が「反競争的」とされる手数料を巡って新たな訴訟に直面

Visa、Mastercard、主要銀行が「反競争的」とされる手数料を巡って新たな訴訟に直面

## Japanese Translation: サンディエゴのピザ店が、2019年12月に承認された約50億ドルの和解金の後にも、Visa、Mastercardおよび数件の大手銀行(包括してバンク・オブ・アメリカ、キャピタル・ワン、チャイスク、シティバンク、ウェルズ・ファーゴを含む)がクレジットカード取引手数料を人為的に高騰させる共謀を行っているとして、集団訴訟の申し立てを行った。134ページの訴状によれば、交渉不可能な仲介手数料は年間1,000億ドル以上もの「独占利権」に相当し、競争市場においては存在しないという。被告らは、小売業者が高額な手数料から抜け出せないようにしたり、追加料金を課すなどの低コストの決済オプションへの顧客誘導を妨げるようにする「反競争的なルールの網」を実行したと告発されている。これらの規制により、VisaまたはMastercardのいずれかを受理するすべての小売業者は、同様にすべてのカードを受け入れることを余儀なくされ、発行銀行間の競争が排除され、手数料引き上げが罰則なく可能となる。さらに、VisaとMastercardはこれらの制約を利用して、自身のネットワーク手数料(取引ごとおよび固定)を人為的に高騰させ、「競争力を超えた税金」を加えている。 2019年12月、裁判所は、2019年1月24日までのものであるが、金銭的な救済として50億ドルを超える補填を提供する集団訴訟和解を承認した。別の公平な救済和解である差止め救済を求めるものは暫定的に承認されたが、それは将来適用のみであり、2019年1月25日以降に支払われた手数料に対する小売業者への補償はない。この訴訟は、2019年1月25日から反競争的な効果が発生するまで、アメリカにおいてVisaブランドまたはMastercardブランドのクレジットカードを受け入れたすべての個人、企業および団体を代表することを目的とする。2019年1月25日以降の活動に焦点を絞ることで、原告が述べている通り、アメリカにおける事実上のすべてのクレジットカード購入に対して課せられた持続的な「死荷重」としての toll を是正しようとしている。

2026/10/08 0:09
2026年化学ノーベル賞、ヘンリ・B・カガン氏とケンソ・ソーアイ氏に授与へ

2026年化学ノーベル賞、ヘンリ・B・カガン氏とケンソ・ソーアイ氏に授与へ

## Japanese Translation: 2026年ノーベル化学賞は、非線形効果と自動触媒反応の発見による、非対称有機合成において、数十年にわたり謎であった「自然が単一の特定の「-handedness」(同種性)を持つ分子をどのように生み出すか」という問いに対する解答として、Henri B. Kagan氏とKenso Soai氏に授与されました。通常の化学反応は鏡像異性体の等しい混合物を生成しますが、受賞者らは自発的に一方の形式が過剰に生成される独自のメカニズムを実証しました。Kagan氏は1986年、ある鏡像異性体を有利に進化させるように反応を操作してこの分野を先導し、Soai氏は後に、単一の異性体のみを生成する反応を用いてこの発見を確認・洗練させました。この画期的な成果は製薬産業にとって変革的であり、「生きている生物と安全かつ効果的に相互作用しなければならない医薬品」が正しく分子の形状に基づいていることを保証します。1200万スウェーデンクローナに相当する賞金は、2人の科学者に均等に分割されます。これは化学分野のノベル委員会の長であるHeiner Linke氏による「壮大な」功績と評されています。英語およびスウェーデン語の詳細なプレスリリース、追加の背景情報資源、そしてJohan Jarnestad/スウェーデン王家科学院への帰属表示を付した無料で非商業的なイラストは、提供されたリンクを通じて入手可能です。ノーベル賞は1739年に設立されたスウェーデン王家科学院が管理しており、ノーベル財団の登録商標です。

2026/10/07 18:51
ウッドテープ (2004 年)

ウッドテープ (2004 年)

## Japanese Translation: 4 歳の男の子、グイが父親に家財道具店 Home Depot を訪れて木材製のテープを購入し、プロジェクトに取り組むよう依頼しました。到着後、係員は彼らに塗料部門へ向かうよう案内し、同部門の 2 人の従業員がグイが自身の買い物を担当していることを確認しました。グイはテープを選んだ後、塗料を求めました。最初は「アップルレッド」と言いましたが、ややこして黒い塗料に変更しました。販売担当者から無料のブラシと塗料缶オープンを提供されました。塗料部門を出る際に、グイはリストにテーブルを構築するための木材を追加しました。父は自宅でグイが描いた図に基づいて、ルーターを使用してフレーム、トップ、脚を成形しました。テープと塗料はチェッカーボードパターンの意図をもって使用される予定で、グイはその作成物上でチェッカーズを遊ぶことを計画していました。彼は接着剤ではなくネジを使用することを計画していました。店舗スタッフは彼の年齢に関わらず、彼を有能な顧客として扱い、適切に案内し、見下すことなく支援を提供しました。この物語は、幼い子供も大人の時に見過ごされることがある洗練された計画能力を有していることを示しており、小売環境が年齢にかかわらず真の顧客主体性を認識するよう促しています。

2026/10/06 13:25
15メートルの地下トンネルを備えた住宅が30万ドルで販売中

15メートルの地下トンネルを備えた住宅が30万ドルで販売中

## Japanese Translation: レディング市タイルヒースにある地下複合施設が、現在£30 万~£325 万の概算価格で売却中であり、世界の最もユニークな不動産の一つとなっています。所有者のトニー・ディーン氏とその 6 人の子どもたちが、1980 年代から始めて 20 年以上も手掘りで完成させたこの巨大な地下構造物は、バケツと手押し車を用いた人工的な掘削によってchalk(白亜)地層 4 つを横断し、広さ約 1,300 フィート、最深部で最大 15 メートルに及んでいます。その精巧なデザインには、地上のプール内に隠されたロケット型の入り口、chalk を運ぶために手作りの鉄道、4 つの階を跨ぐ 1 トンの貨物用エレベーター、そして 1.5 トンの滑り式コンクリート壁の背後にある秘密の扉(2 つ)などが含まれています。地上には、1960 年代のオリジナルの工芸棟(3 フロア)、駐車場、庭園、シャワールーム、大きなスイミングプールなどの施設があります。2024 年 12 月には、ウェストバークシャー郡議会の計画承認により、プールの敷地内に 5 ベドルームの家を建設し、工芸棟を 3 ベドルームの家に改修する許可が下りました。chalk の谷間という巨大なスケールにもかかわらず、この不動産は地域の近隣住民にとってまだあまり知られていません。リストには、安全な収納庫、EM パルス耐性のあるデータセンター、または落下シェルターとしての潜在的可能性が強調されています。10 月 28 日から 29 日に BTG Eddisons がライブストリーミングオークションで実施される予定であり、この希少な不動産投資は、主に歴史と未来的な実用性を融合させた不均衡な空間を求めるコレクターや購入者にアピールしています。詳細および入札については www.btgeddisonspropertyauctions.com をご覧ください。

2026/10/07 21:57
数学的終焉(マセコプシス)

数学的終焉(マセコプシス)

## Japanese Translation: 以下の改訂版サマリーは、明瞭性を保ちつつ主要な全ての点を統合しています: OpenAI は最近、計算量理論および計算幾何学の長年の未解決問題の約 5% に相当する 370 以上の主要な数学的なブレークスルーを発表しました。この発表は、Timothy Gowers、Edward Witten、Subhash Khot を含む諮問グループの提言により行われ、Dana Moshkovitz がキャリアを通じて取り組んできた問題の一つである Khot の Unique Games Conjecture (UGC) の証明を含む画期的な結果を含んでいます。この証明は、半定分式緩和を超えたわずかな近似下であっても多くの最適化問題が依然として NP-hard であることを示唆しています。また、この発表では L=BPL が成立すること、O(n log^0.9999999999999 n) の時間計算量で整数乗算を実現すること、1960 年代の障壁を破ること、および Greg Kuperberg と Scott Aaronson による 2007 年の Unitary Synthesis Problem を解決することを確立しました。追加のブレークスルーには、1999 年以来 Parity が QAC0 に属さないことの証明(ランダム化と量子問い合わせ計算量の間の長年存在したギャップを閉じたこと)、2 次元ギャップ付きハミルトニアンに対する領域法則の確立が含まれます。その他の結果には、O(n^9/4) の時間計算量での行列乗算、永久体の決定論的複雑性に関する改善された下界一般グラフにおける完全マッチングと最大マッチングの数を数えたり見つけたりするための新しいランダム化アルゴリズムなどが含まれています。 このリストは、P≠NP、P=BPP、NEXP⊄P/poly、およびリーマン仮説などの主要な未解決問題を除外しているのに注目すべきです。一方、ホッジ予想や Birch-Swinnerton-Dyer 予想などいくつかのミレニアム問題に対する部分的な進捗を含んでいます。この成実は、最近の独立した成功に続くものであり、Virginia Williams と Josh Alman が Anthropic の AI 支援により 3SUM 問題(O(n^1.9992))および全対最短経路問題(O(n^2.9995))に対して解いたソリューションが、半世紀前の予想を否定しました。 OpenAI は、このマイルストーンに到達するために、内部モデルを約 8,000 の問題に対してテストした後、解決された各問題あたり約 3 時間のハイレベルな計算資源を使用しました。この仕事は、数学へのアプローチのシフトを浮き彫りにしています:以前には私人企業と有償の数学者特使を含むモデル(「Anthropic モデル」と呼ばれる)とは対照的に、OpenAI のアプローチは、人間が集団的に AI が生成した不整な証明を消化する必要があり、それらを理解するには外部の AI 支援を要する場面もある、という公共コミュニケーションモデルを育んでいます—even Lean 証明書が利用可能であってもです。内部で使用されたモデルは、安全性審査委員会の勧告を待機して数ヶ月以内に ChatGPT の顧客に提供される可能性がある一方で、特注の 10,000 エージェントシステムに依存する必要はありませんでした。Scott Aaronson もまた、彼のブログでのコメントポリシーの変更について言及しており、2024 年 7 月よりコメントを個人宛てのメッセージとして扱い、公表のために選別される場合を除くこと、「編集者への手紙」に類似したことを示しています。

2026/10/08 4:33
ソフトウェアブログにおけるアンチパターン

ソフトウェアブログにおけるアンチパターン

## Japanese Translation: ソフトウェアブログで読者を惹きつけるためには、作家は核心メッセージを遅らせる過剰な背景物語や歴史的コンテキストによる漫然とした導入よりも、直感的な関連性を最優先する必要があります。最も重要なステップは、詳細に入る前に、読者の暗黙的な疑問である「個人的利益」と「著者とのつながり」に答え、明確な意図を最初の数文以内に確立することです。このアプローチは、「続編注入」といった作家が既知の前提を仮定するような一般的なミスを避け、物語の流れを乱す外部リンクへの過剰な依存を防ぎます。代わりに、効果的なコンテンツは複雑な技術概念を説明するために親しみやすい比喩に頼り、汎用的な AI 生成テキストに見られる硬いトーンを避け、友人に話をするようなストーリーのように聞こえる、カジュアルで人間的な独自の声を持続します。さらに、モバイル読者がトラフィックの 25%(個人のブログでは 35%)を占めていることを考慮すると、基本的な HTML の要件を無視することは、読み取り不可能な低コントラストテキストや横スクロールが必要なオーバーフローといった重大なレイアウト破損やアクセシビリティの問題を引き起こします。コントラストやオーバーフロー問題などの修正のためのプレビューモードを含むモバイルファーストのマインドセットを採用することで、ブログ作成者はエンターリーストリクションを大幅に削減できます。結局のところ、これらの戦略は読書を滑らかで個人的な体験へと変え、プロフェッショナルが地味なコンテンツに対して目立つようになり、すべてのデバイスでより広い聴衆を引きつけるのに役立ちます。

2026/10/07 22:08
Google Playground:カスタムゲームを作成して遊ぶ

Google Playground:カスタムゲームを作成して遊ぶ

## Japanese Translation: Google は、コーディング知識を必要とせずに誰でも独自ゲームを作成・プレイ・共有できるようにすることを目的とした実験的なブラウザベースプラットフォーム「Playground」をローンチしました。このイニシアチブは、物理法則、ルール、キャラクター、環境が定義された完全な体験への変換を可能にする対話型 AI ツールを活用することで、ゲーム開発の民主化を実現しています。現在、米国の成人向けに初期実験として提供されており、ユーザーはゼロからゲームを作成したり、既存のコンセプトを改善したりすることができ、すべて公開されたタイトルはコミュニティガイドラインに沿った厳格な安全審査を受けています。これらの強力な作成ツールへのアクセスは Google AI サブスクリプションとリンクされた階層モデルに従っており、友人や家族向けプライベートリンク、共有用のパブリックギャラリー、リーダーボードを含むマルチプレイヤー機能などを通じて、日常の創造性が育まれるコミュニティを醸成しています。今後、Unity Spark との統合が予定されており、これはテキスト入力を専門的なメカニクスおよび高精度な 3D 機能へと橋渡しすることを目的としており、専用クリエイター向けに提供されます。本リリースは最終的に、Play Games プロファイルを通じて独自デジタルアイデンティティを主張し、リーダーボード上で競争できるようにすることで、ゲームデザインへの参入における従来の技術的障壁を効果的に撤廃し、創造的なアクセス範囲を拡大します。

2026/10/07 21:28
11 正方形の最適パッキングに関する AI を活用した証明

11 正方形の最適パッキングに関する AI を活用した証明

## 日本語翻訳: 次の改良版は、詳細なリストに基づいてすべての主要点を維持しつつ、流れと精度をわずかに向上させています。 ## まとめ 主な成果は、EvolvedPrograms フレームワークを用いたネイティブ数値証明を用いて最適性の証明の検証に成功したことです。この厳格な検証は 7,920 のローカル Lean モジュールすべてをエラーゼロで承認し、`native_decide` を高コストなチェックに利用しながら、幾何学とアセンブリコードに関する標準的な証明を維持しました。特に重要な点は、最終的な定理が Lean のカーネルとコンパイラの両方に依存しており、限定的な「カーネルのみ」という主張を否定したことです。ネイティブ証明書を信頼モデルに統合することにより、このプロジェクトは複雑な数学ソフトウェアに対する信頼性を向上させています。 検証された解は、多項式 $5u^8 - 10u^7 - 2u^6 + 14u^5 + 12u^4 - 6u^3 + 2u^2 + 2u - 1 = 0$ の区間 $(9/25, 37/100)$ 内における一意の根に対応する、およそ 3.877(具体的には ~3.8770835900228141773)という辺長を与えます。この構成は任意の向きと非連結な開内部を許容します。検証環境はピンされたソース(コミット `1bf942a...`)および `verification/native-certificates.json` に記録された正確なソースハッシュを通じて厳密に制御されています。再現には、Lean 4.34.1、Mathlib (`d13f23b...`) の特定のバージョンと変更されていない `lake-manifest.json` を使用するとともに、定義済みの環境内で専門的なスクリプト(例: `run_verification.sh`)を実行する必要があります。`ElevenSquare/Optimality.lean` での公的なステートメントおよび完全な T03 ソースツリーは、以前のメインブランチから変更されていません。このマイルストーンは、業界ユーザーが不正な逸脱なく信頼を持って結果を再現できるようになる、検証済みの数学計算の新たな基準を確立します。これには `Foundations.lean`、`Verification.lean` および幾何学的な引理タスクなどの主要ファイルが含まれます。 # 主要ポイントリスト - 完全な最適性の証明は、EvolvedPrograms フレームワークを用いたネイティブ数値証明書を使って検証に合格しました。 - 検証実行は、エラーゼロおよび最終監査レポートとともにすべての 7,920 のローカル Lean モジュールを受け入れました。 - 検証ソースはコミット `1bf942a7af1ea330e95489d8997deebd4227ca71` からピンされています。 - 高コストな数値証明書チェックには `native_decide` が利用され、幾何学および証明アセンブリは通常の Lean 証明を維持します。 - 最終的な定理は Lean のカーネルとネイティブコンパイラを信頼しており、これは「カーネルのみ」の検証主張ではありません。 - 承認された数値宣言およびソースハッシュは `verification/native-certificates.json` に記録されています。 - 最適な辺長の公式には $u$ が含まれ、それは多項式 $5u^8-10u^7-2u^6+14u^5+12u^4-6u^3+2u^2+2u-1=0$ の区間 $(9/25, 37/100)$ における一意の根です。 - この構成はおよそ 3.8770835900228141773 という近似値に達し、任意の向きおよび非連結な開内部を許容します。 - `ElevenSquare/Optimality.lean` での公的なステートメントおよび完全な T03 ソースツリーは、以前のメインブランチから変更されていません。 - 主要なリポジトリファイルには、幾何学のための `Foundations.lean`、公理照会のための `Verification.lean`、幾何学的引理タスクのための `Tasks` が含まれます。 - 再現には、Lean 4.34.1 および Mathlib リビジョン `d13f23b723b8a846827a245b89c10fc7d3f11612` と変更されていない `lake-manifest.json` が必要です。 - 検証スクリプトには、成功するために `OPTIMALITY_PROVED_WITH_NATIVE_CERTIFICATES` が必要とされる bash の `run_verification.sh` および python の `check_sources.py` が含まれます。

2026/10/07 23:10
ヴィクトリア朝のエリートがなぜこれほど有効だったのか?

ヴィクトリア朝のエリートがなぜこれほど有効だったのか?

## 日本語訳: 本文は、19 世紀のイギリスのエリート集団が、現代的な「 grindset(勤勉姿勢)」による生産性によってではなく、古典的教育、柔軟な労働時間、そしてエリート層同士のネットワーキングを融合させた独自のライフスタイルを確立することで世界的主导権を獲得したと論じている。現代のように技術的産出や STEM(科学・技術・工学・数学)に関する指標に固執するのではなく、ヴィクトリア朝の成功は、厳格な技術的な学習よりもソフトスキル、道徳的陶冶、人格形成、仲間への忠誠心、そして社会的洗練を重視する学校によって支えられていた。オックスフォード大学やケンブリッジ大学のような機関は、説明的講義ではなく親密なチューター制を通じて独立した思考を育成し、実用的訓練よりも知的かつ道徳的な陶冶を強調していた;名誉学位も当初は成績より、レインボーイング(ボート競技)や宴会といった社会生活との結びつきが強いものであった。特に重要なのは、年一回開催される「シーズン(社交界の行事)」であり、これは緊密な社交サークルとして機能し、個人的な婚約仲介を通じて直結的に高レベルのビジネスネットワーキングを可能にすることで、宗教的・階級的・地域的な隔てを超えた団結を実現した。この統合されたエリート構造は、強力な海軍を擁する世界一の富国としてのイギリスの地位を支えつつ、徐々に民主主義を進展させることを支援した。現代の指導者や企業にとって、この歴史は、現在の厳しい生産性の神話(例:早朝 5 時の出勤や極端な節約志向など)に対する不可欠な対抗ナラティブを提供しており、それらが技術的効率性を人間関係の融合よりも優先する傾向があることを示唆している。それは、歴史的な前例が人格形成とネットワーキングを重視していた一方で、現代のハードワーク文化を盲目的に模倣することは劣る戦略である可能性を示唆している。今日においてそのような統合された指導力を再現するには、組織は技術的効率性と柔軟なスケジュールのバランスを見直し、STEM 指標と同時にソフトスキルや道徳的発展への投資を計画し、意図的なネットワーキングの機会を提供する必要があるだろう。

2026/10/08 0:09
3D プリンティングプラットフォームで複雑な電動機を急速に製造

3D プリンティングプラットフォームで複雑な電動機を急速に製造

## Japanese Translation: MIT の研究チームは、複雑な組立を必要としない単一工程で電動リニアモーターを完全に製造できる画期的なマルチマテリアル 3D 印刷プラットフォームを開発した。この革新は、多様な機能性材料を用いたオンサイトでのハードウェア製造を可能にし、重要なサプライチェーンの脆弱性に直接対処するものである。システムは導電性インクなどのフィードストックを加工し、層の位置合わせを完璧に維持するために、4 つのエクストルージョンツールと正確なセンサーを使用している。約 3 時間で 5 種類の異なる材料を使用してリニアモーターのプロトタイプが成功裏に印刷され、従来の対照品(後処理が大幅に必要である)と同程度またはそれ以上の性能を発揮した。既存のプリンターを改造して開発されたこの技術は、1 つあたりの装置のコストを見積もっても 50 セントと大幅に低減するため、ロボットや医療機器におけるカスタマイズ可能な部品に適している。今後の展開では、磁化を印刷プロセスに直接統合し、回転モーターへの機能を拡張することを目標としている。結局、この進歩は産業に対し、脆弱なグローバルサプライチェーンへの依存を削減するとともに、高性能電気機械のローカライズされた迅速生産を実現する強固な解決策を提供するものである。

2026/10/06 5:46
Show HN: Agent.reviews – AI エージェントがツールに関するレビューを読み書きするプラットフォーム

Show HN: Agent.reviews – AI エージェントがツールに関するレビューを読み書きするプラットフォーム

## Japanese Translation: このテキストは、**オープンソース**ソフトウェアコミュニティにおける基本的な実践として、**バージョン管理**システム(コードの変更を管理するための仕組み)を中心に据えています。この環境内では、チームはプロジェクトファイルおよび履歴を収容する安全なオンラインストレージとして機能する**レポジトリ**などの特定の共同作業メカニズムに大きく依存しています。通常、開発者は更新案を提示するために**プルリクエスト**を送付し、その後、統合前に同僚が変更内容を検証する厳格な**コードレビュー**セッションが行われます。これらの手順は、コードの品質を維持し、コントリビュータ間の透明性を確保するために設計された標準的なワークフローを形成しています。議論は特定の**Open カテゴリー**内で展開されていますが、将来の市場変動の予測や、これら規範を設定する以上の個別の利用者や企業への具体的な影響の詳細には触れていません。究極的には、このテキストは、オープンソース開発の成否がこれらの構造化された相互作用モデルに依存し、自発的な変化に依存しないことを強調しています。これらの確立されたプロトコルを遵守することで、プロジェクトは効果的にスケールし、コミュニティは統合され、長期的に関与するすべての人々にとってコードベースが安定した状態を維持することができます。 ## Text to translate: The original summary effectively covers the key points clearly. No improvement is necessary; repeating the original: ## Summary: This text centers on **source control**, a system for managing changes to computer code, as a fundamental practice in the **open-source** software community. Within this environment, teams rely heavily on specific collaborative mechanisms such as **repositories**, which act as secure online storage for all project files and history. The process typically involves developers submitting **pull requests** to suggest updates, followed by rigorous **code review** sessions where peers evaluate the changes before integration. These steps form a standard workflow designed to maintain code quality and ensure transparency among contributors. While the discussion occurs specifically within the **Open category**, it does not predict future market shifts or detail specific impacts on individual users or corporations beyond establishing these norms. Ultimately, the text highlights that successful open-source development depends on these structured interaction models rather than spontaneous changes. By adhering to these established protocols, projects can scale effectively while keeping the community aligned and the codebase stable for everyone involved in the long term.

2026/10/08 1:59
逮捕前にボイngの分離企業から身代金を要求した ShinyHunters

逮捕前にボイngの分離企業から身代金を要求した ShinyHunters

## Japanese Translation: ハッカー集団「ShinyHunters」は、最近の逮捕事件にもかかわらずサイバー犯罪活動を継続しており、現在はアメリカ陸軍情報将校(通称:Rey)によって率いられています。彼は FABI と協力して他のメンバーを特定しています。以前の指導者であるオランダ人のサイバー犯罪者ペピーン・ファン・デア・スタップ(通称:Umbreon)などの逮捕後、このグループは分散型の「フランチャイズ」モデルへと進化し、独立したフリーランサーに依存するようになりました。Rey は PeopleSoft の脆弱性を悪用して多数の組織を侵害し、内部システムが既知のエクスプロイトに対するパッチ未適用であるため、FBI 職員 5,000 人以上の機密データを窃取することに成功しました。現在、この脅威は医療、高等教育、政府、運輸などの重要なセクターに影響を与えています。ShinyHunters はまた作戦方針を変更しており、盗まれた情報を持つという虚偽の主張を使って被害者から金銭を要求する一方で、公式警告を無視し身代金支払いを積極的に阻害しています。この進化している脅威は、産業がレガシーソフトウェアのパッチ適用と、単一の中央指揮構造を持たず隠密して活動する分散型攻撃者に対する防衛において直面する課題を示しています。 ## Text to translate: The hacker collective ShinyHunters continues its cybercriminal operations despite recent arrests, now led by Jordanian teenager Saif Al-din Khader (known as "Rey") who is cooperating with the FBI to identify other members. Following the detention of previous leaders like Dutch cybercriminal Pepijn van der Stap ("Umbreon"), the group has evolved into a decentralized "franchise" model relying on independent freelancers. Rey exploited a PeopleSoft vulnerability to breach numerous organizations, successfully stealing sensitive data from over 5,000 FBI employees because their internal systems remained unpatched against known exploits. The threat now affects critical sectors like healthcare, higher education, government, and transportation. ShinyHunters has also shifted tactics, potentially using false claims of possessing stolen information to extort victims while actively discouraging ransoms by disputing official warnings. This evolving threat highlights the challenges industries face in patching legacy software and defending against hidden, distributed attackers who operate without a single central command structure.

2026/10/08 0:15