2025/12/22 0:29

E.W. ディクストラアーカイブ

RSS: https://news.ycombinator.com/rss

要約▶

Japanese Translation:

（主要ポイントをすべて統合）

この記事は、未発表の技術ノート「EWDs」と総称されるエドガー・W・ディクストラ氏の資料がどのように保存・デジタル化され、専用オンラインアーカイブを通じて広く利用可能になったかを説明しています。40年以上にわたり、これらの原稿は数千人の学者へ配布されてきました。現在、部門では検索インデックス付きで1,000以上のPDFが永続的なウェブサイトにホストされ、BibTeXアクセスやディーター・マイケライスによってまとめられたクロスリファレンスも利用できます。原本はUTオースティン大学のアメリカ史センターに保管されており、デジタルポータルはコンテンツを最新状態に保ち、寄稿者をクレジットしています。

ボランティアは翻訳（オランダ語から英語、EWD1036のスペイン語、EWD28のロシア語）や検索性向上のための転写、特にオランダ語作品の簡潔な要約、およびディクストラが提供しなかった「参照リンク」を追加しました。英語での要約も歓迎されています。アーカイブには、ディクストラ氏の講義やインタビュー（例：1985年のスペイン語インタビュー、2001年のフィリップ・L・フラナによるインタビュー）のビデオと音声録画もホストしています。

ほとんどのEWDsの著作権はディクストラ氏の子供たちが保有しており、複製要請は一人の連絡先に集中しています。公開文書は出版社の著作権を保持します。ディクストラ氏を称える主要イベントには、2000年の退職シンポジウム「In Pursuit of Simplicity」、2002年に彼が亡くなった後の追悼式、2021年にクズシュトフ・R・アプとトニー・ホールによって編集された記念行事があります。UTオースティンで毎年開催されるディクストラ・メモリアル講義は2010年10月から始まり、歴史家エドガー・G・デイルライトが継続的なブログを運営しています。

分散コンピューティングにおけるEdsger W. Dijkstra賞は、同時性プリミティブ、問題、推論、および自己安定化に関する基礎研究を認めます。サイトの最近の更新（2021年3月30日最終投稿）は寄稿者を称賛し、「Discipline in Thought」など関連プロジェクトも含まれています。

アーカイブは成長を続けており、世界中の研究者・学生・歴史家がディクストラ氏の洞察にアクセスし、その遺産を祝うことができるようになっています

本文

エドスガー・W・ディジャクタ

貢献

エドスガー・ワイブ・ディジャクタは、計算機科学の創設世代において最も影響力のある人物の一人でした。
彼の科学的貢献が基礎となる領域は次のとおりです。

アルゴリズム設計
プログラミング言語
プログラム設計
オペレーティング・システム
分散処理
形式的仕様化・検証
数学的議論の構築

さらに、ディジャクタは教育と学術的計算機科学とソフトウェア産業との関係に強い関心を持っていました。彼が学界と産業界で活動した40年以上にわたる計算機科学者としてのキャリアの中で、その貢献は多くの賞や栄誉をもたらし、計算機科学最高の栄誉であるACMトゥーリング賞を受賞しました。

原稿

ディジャクタは、科学者が同僚との活発な通信を維持することが義務だと考えていました。
40年以上にわたり、彼は番号付きの技術ノート、三日報告書、観察・コメント（総称してEWDs）を数十人の学界・産業界関係者へ郵送しました。コピー機の普及とディジャクタの著作への広範な興味により、多くのEWDは数千部が流通しました。

ほとんどの出版物はEWD原稿から始まりましたが、圧倒的多数は未発表です。多くの読者がアクセスできず、受領した人も引用することができませんでした。この両問題を解消すべく、本部門ではPDFビットマップ形式（Acrobat Reader 必須）で千件以上の原稿を本サイトに収集しました。ぜひご利用ください。

元の原稿や日記、通信・写真その他の資料はテキサス大学オースティン校アメリカ史センターに保管されています。

インデックス

各原稿ファイルは次の二つのインデックスからアクセスできます：

BibTeXインデックス – すべての利用可能な書誌情報を含む
アドホックインデックス – タイトルのみで、探しているものが分かっていれば高速

EWD番号付き文書（原稿EWD番号と出版年の概算対応）
数学センター（現在はCWI: Centrum voor Wiskunde en Informatica）の技術報告
博士論文（5.3 MB）
その他文書

EWD番号と出版年を関連付けた表はここでご覧いただけます。収集した多くのプライベート流通原稿は後に出版され、著作権は各出版社が保持しています。

複写・翻訳

PDFビットマップ文書を検索可能かつ視覚障害者にもアクセスしやすいよう、増え続ける数の複写が行われています。

オランダ語原稿を英語に翻訳（1件はEWD1036がスペイン語へ）
EWD28 は英語からロシア語へ翻訳済み

これらの作業に協力してくださった60人以上の貢献者に感謝します。原稿複写を行いたい方はいつでも歓迎です（注：翻訳依頼は現在受け付けておりません。EWDを適切に翻訳することが困難であるため）。校閲は協働プロセスですので、誤りに気づいたらご連絡ください。

EWD間のリンク

ディエタール・マイケルズ氏が寄稿した相互参照集があります。未完成であり、すべての読者が追加を歓迎します。
ディジャクタが逆参照を提供しなかった場合は、「see also」リンクで関係性を示し、後継判断は読者に委ねます。このような関係を発見した方はぜひ貢献してください。

要約

EWDの要約追加を開始しました。
このイノベーションはグンター・ローテ氏が提案し、最初の12件を寄稿しました。特にオランダ語EWDの英語要約は大歓迎です。

著作権

ほとんどのEWDの著作権はディジャクタの子供たちが保持しており、そのうち1人が複製許可を管理しています。
出版済みで出版社に著作権が残る文書は例外です；それらはここにリストされ、各々カバーページで著作権者を特定します。

元原稿はテキサス大学アメリカ史センターのブリスクーセンター所蔵であり、そのポリシーも適用されます。

ビデオ・音声

原稿に加えて、ディジャクタ講義やインタビュー録画も楽しめます。

ディジャクタと彼の仕事について

1985年にロギアール F. ヴァン フリッシングが行ったスペイン語訳付きインタビュー（ここ）
2001年8月にフィリップ L. フラナが行ったもう一つのインタビュー；トランスクリプトはチャールズ・バベージ研究所オンラインコレクションで入手可

1999年11月、シェルブンガーセンチュリアンチェア（1984年以降在職）から退任し、40年以上にわたる先駆的貢献を祝うため、コンピュータ科学部門はIn Pursuit of Simplicityというシンポジウムを開催しました。5月2000年の誕生日に行われ、このプログラム（10 MB）はディジャクタの経歴概要、彼の著作・黒板から抜粋した引用、および同僚による反省集を含みます。

2002年8月にディジャクタは亡くなり、多数の追悼記事とメモリアルが続きました。コンピュータ科学部門の追悼式もあり、マーテン ヴァン エムデンによる5月2008年の記念文（トリストラム・ブレスタフに感謝）が投稿されました。

2021年にはクズシェフスキー R. アプトとトニー・ホールが編集したEdsger Dijkstra Memorialが公開され、20人以上のコンピュータ科学者による寄稿で構成されています。

歴史家エドガー G. デイルライトはディジャクタの作品と思想に関するブログを運営しています。彼の「Dijkstra’s Rallying Cry for Generalization: the Advent of the Recursive Procedure, late 1950s – early 1960s」という記事はThe Computer Journal（2011年3月）に掲載されました。

マーテン ヴァン エムデンが運営するブログA Programmer’s Placeには「Another scoop by Dijkstra?」という投稿があり、EWD 249でのディジャクタの洞察―アセンブリライン原理を適用してエラトステネスの篩と試行除算の対立を解決する手法—が紹介されています。

Edsger W. Dijkstra Prize in Distributed Computingは、セマフォなどの並列プリミティブ、相互排他・デッドロック問題、同時システムに関する推論、自己安定化といった分散計算基盤を築いた彼の根本的な業績を讃える賞です。

ディジャクタ記念講演

テキサス大学で2010年10月から毎年開催されているディジャクタ記念講演シリーズがあります。

本サイトについて

最近の重要変更はここにリストされています；最新の変更は2021年3月30日に投稿。
本サイト作成に最も大きく貢献した方々をここで表彰します。

コメントや提案は常に歓迎ですので、提供された連絡先へメールしてください。

同じ日のほかのニュース

一覧に戻る →

2025/12/22 3:09

**ロギングは最低だ**

## Japanese Translation: > **要約:** > ログは通常のアプリケーション起動を記録しています。HttpServer が 0.0.0.0:3000 で開始し、PostgreSQL プールが 20 コネクションで初期化され、リクエスト処理中に Redis キャッシュルックアップが行われます。`/api/v1/users/me` への GET は遅いデータベースクエリ（847 ms）と失敗した Redis ルックアップをトリガーし、3 回の DB クエリと 1 回の外部呼び出し後にリクエストが正常に完了します。 > その直後に PostgreSQL プールが枯渇します：20 個のアクティブコネクションと 147 件の待機リクエストがあり、タイムアウトを示唆（「pool_size を増やすかクエリを最適化」）します。同時に、支払ゲートウェイへの繰り返しタイムアウトにより `payment-api` のサーキットブレーカーが閉鎖状態から開放状態へ 5 回の失敗後に遷移します。 > システムはまた、重要なメモリ圧力（ヒープ ~1.93 GB / 2.14 GB 制限）と GC ポーズ (~847 ms) をログします。バックグラウンドジョブ（`weekly_email_digest`）は低優先度キューで実行され、2341 ms で完了し、1847 通のメールを送信、3 件が失敗しました。 > これらのイベントは、現在の DB プールサイズとクエリ性能が負荷に対して不十分であることを示しています。調整なしではリクエスト遅延が増加し、さらにサーキットブレーカーが頻繁に開放されることでユーザー体験が低下します。

2025/12/22 5:55

ローカルコーディングモデルへのガイド

## Japanese Translation: ## 要約この記事は、非常に高性能なMacBook Pro（特に**128 GBのRAMを搭載したモデル）がローカルで大規模言語モデルを動かせることを主張し、高価なAIコーディングサブスクリプションを排除または劇的に削減でき、ほとんどの開発タスクで同等のパフォーマンスを提供すると述べています。ローカルモデルが典型的なソフトウェア開発作業の約**90 %**をカバーし、Claude Codeなどのサービスと同様であること、残りの**10 %**は多くの場合重要な本番機能に関わることを説明しています。メモリ要件は次のように定量化されています：30億パラメータモデルは16ビット精度で約**60 GBのRAM**が必要です。**8ビット重みなどの量子化**や**ハイブリッドアテンション**といった手法でその需要を下げることができますが、著者はさらなるKVキャッシュ量子化がパフォーマンスに悪影響を与える可能性があると指摘しています。実用的な可行性は **MLXベースのMacBook Proセットアップ** で示されており、macOS最適化されたサービング（MLX）がOllamaなどのクロスプラットフォームオプションよりもトークン処理速度で優れていることを確認しています。実際の手順としては macOS のVRAM制限を増やす (`sudo sysctl iogpu.wired_limit_mb=110000`)、`mlx-lm` をインストールし、次のようなサーバーコマンドを実行することが挙げられます： `python -m mlx_lm.server --model mlx-community/Qwen3-Next-80B-A3B-Instruct-8bit`。記事ではまた、OpenAI API標準をサポートするローカルコーディングツールの推奨リスト（**OpenCode, Aider, Qwen Code, Roo Code, Continue**）も紹介しています。多くのコードエディタがテスト時にツール呼び出し統合が壊れたり不完全だったことを指摘し、ツール品質の重要性を強調しています。主な発見：ローカルモデルはクラウドフロンティアツールより**1世代遅れることが多い**ものの、多くのタスクを十分に処理できるため、低価格サブスクリプションや無料オプションと組み合わせてローカルフォールバックを持つことで価値があります。将来展望：ローカルモデルが縮小・改善し、クラウド価格が上昇するにつれて、**高RAMノートパソコンはコスト意識のある開発者にとってますます魅力的**になるでしょう。これには費用節約、信頼性（プロバイダー停止なし）、プライバシー/セキュリティ（データがマシン上に留まる）、オフライン可用性といったメリットが含まれます。

2025/12/22 6:07

ギフトカードの責任回収ポイント

## Japanese Translation: ### 要約ギフトカード詐欺は増加傾向にあるものの、ほとんど規制されていないため、消費者や商取引先がほぼ無防備で、救済策も限られています。デビットカード窃盗は消費者保護責任移転によって恩恵を受けますが、ギフトカードはその保護の対象外であり、被害者が損失を取り戻すことはほとんどありません。2024 年に FBI インターネット犯罪苦情センターは、盗まれたカード番号と PIN を含む詐欺額 166 億ドルを記録しました。犯人はその価値を現金化したり、暗号資産や商品へ変換したり、洗浄サービスのサプライチェーンを通じて処理します。 AARP の最近のポッドキャスト広告で「ギフトカードで支払うことを求めるのは常に詐欺だ」と主張する内容は、実際には多くの企業や非銀行利用者が正当に使用しているこれらの金融商品を誤解させています。この広告は、歴史的な規制不足が日常購入でギフトカードに依存する人々に実質的なコストを課していることを隠しています。小売業者は、規制や運用上の複雑性から、Blackhawk Network や InComm Payments などの専門家にギフトカードプログラムを外部委託することがよくあります。連邦・州法（ほとんどのギフトカードを免除するが未請求残高の報告を要求するエスケートメント法、プリペイド決済の例外規定である Regulation E、および 2,000 ドル以下のクローズド・ループギフトカードを KYC/AML から免除する FinCEN 規則）は、プリペイドカードがほぼ未規制であるギャップを生み出します。1 日あたり 10,000 ドル以上の販売がある場合、発行者は再び FinCEN の監視対象になります。これらの規制の空白により、多くのプロバイダーは堅牢な詐欺調査プロセスを欠いています。窃盗を報告した顧客は通常、迅速な補償ではなく警察への届出を促されます。Paysafe やその Openbucks 子会社などの企業は、ギフトカードを支払手段として使用し、銀行口座がないまたは少ない消費者向けに代替金融サービスプラットフォームを構築しており、この許容的な環境で事業を展開しています。専門家や擁護団体は、従来の銀行サービスとは異なる人口層を対象としているため、これらの代替 FS エコシステムを誤解しがちです。この記事では、AARP のギフトカードに関する警告が歴史的な規制の抜け穴から生じており、それがギフトカードに依存する消費者に実質的な負担をもたらしていることを強調しています。

E.W. ディクストラ アーカイブ