← 2026-07-19 の一覧へ戻るホーム
運河の底に沈んだコンピューター

2026/07/18 17:33

運河の底に沈んだコンピューター

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

元のHacker News記事へ ↗
要約▶

Japanese Translation:

Linn スマートコンピューティングプロジェクトは、メモリとディスクを統一し、安全性チェックをシリコンに組み込む画期的なハードウェアアーキテクチャを開発し、現代のコンピューティング需要を先取りしました。1984 年、Son デック LP12 hi-fi システムでの成功後にイボア・ティフェンブルーンにより設立されたこのプロジェクトは、汎用ソフトウェアの限界を克服するため、ハードウェアベースのガベージコレクションや統一メモリ管理等の高度なタスクに対応するよう、ロード可能なマイクロコードを採用した専用「Rekursiv」チップを設計することを目的としていました。独立したテストで性能主張が再現できず、実際に製造された機体は約 30 台に留まったものの、その遺産は今日、Arm の CHERI や IBM のペルシステント・ストアなどの現代技術によって検証されつつあります。安価なマイクロプロセッサの急速な成長と RISC への進歩に対するタイミングの不具合から商業的に失敗したプロジェクトですが、その再興は、汎用チップで困難を伴う安全クリティカルなアプリケーションにおいて、専用設計されたハードウェアが効果的に課題を解決できることを確認しています。業界は、より速いユニバーサルプロセッサへの依存からの脱却を進め、特定のワークロードに最適化された専用アクセラレータを採用する方向へシフトしており、カスタム製 silicon が次世代コンピューティングシステムにおいて引き続き不可欠であることを証明しました。

本文

フォース・アンド・クライド運河に沈められた「ほぼ完璧な」プロセッサの物語と、なぜ今それが蘇ったのか

スコットランド・グラスゴーにあったレクスリヴ（Rekursiv）のプロトタイプは、フォース・アンド・クライド運河の泥の中に眠っています。 1988 年に発売されたこのカスタムシリコンは、ほぼ全ての技術的決定が正解だったにもかかわらず、当時の市場環境によって淘汰され、40 年もの間忘れ去られていました。

しかし、現在は経済状況とアーキテクチャのトレンドが逆転しており、当時の「奇行」と呼ばれた思想が再び業界の最前線で活発化しています。この記事では、その悲劇的な歴史と、なぜ現在においてその価値が再評価されているのかを解説します。

1. 音響機器メーカーによるコンピュータ構築への挑戦

リン・プロダクツとソニーク LP12

  • 設立: 1972 年、アイヴル・ティエフエンブルンによりグラスゴーに設立。
  • 主力製品: ソニーク LP12（高品質なレコードターンテーブル）。現在も業界最高傑作の一つと評されています。
  • 経営基盤: 80 年代初頭までにエーグルズハムに近代化工場を建設し、VAX-11 シリーズで事業を運営していました。

ソフトウェアへの不満と LINGO の登場

  • 問題意識: ティエフエンブルンは VAX 上の汎用ソフトウェア（特にシャドウリングによる履歴管理）に失望しました。物理的オブジェクトの移動に伴う複雑な履歴管理を嫌いました。
  • 対応策: プログラマーとグラスゴー大学のデイヴィッド・ハーランド氏を迎え入れ、**オブジェクト指向言語「LINGO」**を開発します（Smalltalk にアルゴール的な要素を加えたもの）。
    • ※後の Lingo（プログラミング言語）とは異なります。

マイクロコードとカスタムチップへの決断

  • VAX 上の限界: LINGO は機能しましたが、VAX 上で動作が遅く自動化が不可能でした。
  • 「問題点はハードウェア」：ティエフエンブルンは「ソフトウェアの問題ではなく、根本的にハードウェアを変えなければならない」と結論づけます。
  • 開発過程: エンジニアのブルーノ・ベロフ氏とハーランド氏がプロトタイプ図面を描き、「レクスリヴ（Rekursiv）」という名前のチップを設計しました。

1984 年の会社設立と資金調達

  • 新会社: ティエフエンブルンは「リン・スマートコンピューティング」を設立。
    • 経営：兄弟のマークス氏
    • 技術：デイヴィッド・ハーランド氏
  • 資本: リン社の出資に加え、英国貿易産業省（DTI）から約1,000 万ポンドの資金調達に成功しました。

チップの設計と製造

  • 製造委託: LSI Logic へ製造を任せる。
  • 構成: 1.5 マイクロンの CMOS プロセスで作製された 4 つのゲートアレイ。 
    • NUMERIK
      （数値処理）: 299 ピン
    • LOGIK
      （論理演算）: 299 ピン
    • OBJEKT
      （オブジェクト管理）: 299 ピン
    • KLOK
      （クロック制御）: 299 ピン
  • 命名: オーディオ機器メーカー出身であるため、製品名にも音楽用語を由来としました。

2. オブジェクト指向の極致：ハードウェアに組み込まれたセキュリティと永続性

レクスリヴの本質は「オブジェクト指向プログラムを動かす」ことではなく、コンパイラすらアドレス情報を知らないという点にあります。

ハードウェアによる型安全とガベージコレクション

  • 物理的なアドレス隠蔽: 各オブジェクトは 40 ビットの番号を持ち、
    OBJEKT
    チップがこれをハッシュ化して翻訳します。プログラム側は絶対的なメモリ地址（アドレス）を見ることができません。
  • ハードウェアレベルの型チェック: すべてのアクセスにおいて型と範囲のチェックをチップ内で行います。
    • 配列越え？→マシンが拒否。
    • 偽造参照？→マシンが拒否。
  • 移動可能なオブジェクト: オブジェクトは物理場所ではなく番号で管理されるため、メモリ上で自由に移動可能です（参照を書き換えずに）。
  • ハードウェア内蔵のガベージコレクション: 「2 スペース圧縮型コレクター」を実行中に DRAM の半分にスライドさせて収集します。

永続的なオブジェクトストア

  • 単一ストア概念: メモリ（DRAM）とディスクは単一のオブジェクトストアとして扱われます。
  • 命令実行の一時停止: オブジェクトが RAM に存在しない場合、プロセッサは命令を一時停止し、外部ディスクプロセッサから読み込んだ後に処理を再開します。ユーザーには透明です。
  • 再帰的マイクロコード: ページングが命令レベルで実装されているため、1 つのマイクロコード命令が自身を呼び出すことも可能です（名称「Rekursiv」の由来）。

言語多様性と性能

  • 対応言語: C、Prolog、Scheme、PS-algol など多種多様な言語をサポートしました。
  • 驚異的なベンチマーク（※シミュレーション結果ですが）:
    • CONS セル作成：マイクロ秒単位。
    • Lisp の速度：Symbolics ワークステーションの 20 倍。
    • Prolog のユニファイ：単一命令で実行可能。

悲劇的な結末：運河へ沈められたプロジェクト

  • 市場からの後退: 汎用プロセッサ（SPARC、386/486）の台頭と、RISC アーキテクチャの普及により、レクスリヴは「新しいワークステーションに対抗できない」と見なされました。
  • 生産の実態: 約 20〜30 ボードが製造され、大半は大学へ送られました。商用製品としての運用記録はありませんでした。
  • 倒産の引き金: ブラック・マンデールによる資金不足と、配送ドライバーによるハーランド氏のポルシェへの衝突事故（保険拒否）。
  • 廃棄: ハーランド氏は退社時に、蓄積したハードウェアとバックアップメディアをフォース・アンド・クライド運河に捨てました。

3. 「ほぼ全てに正解だった」4 つのデザイン決断

40 年を経て振り返れば、レクスリヴが持っていた 4 つのアーキテクチャ上の信念は現在でも正しいことが証明されています。

デザイン決断レクスリヴでの実装現代における該当技術・動向
1. ハードウェアによるメモリスafety
OBJEKT
チップ上で全てのアクセスの型と範囲をチェック。アドレス改ざん不可能。		CHERI (Cambridge/SRI)、ARM社の**Memory Tagging Extension **(MTE)、Android 搭載など。Microsoft は CHERI がメモリ脆弱性の緩和に寄与すると結論。
2. ハードウェア内蔵のガベージコレクションDRAM とディスクを単一ストアとし、チップ内で自動収集を行う。Azul Systems のカスタム CPU での実験から生まれた概念は現在 x86 ソフトウェアとしても採用（C4 コレクタ）。
3. 単一階層の永続ストアメモリとディスクを透明な単一空間として扱う。IBM の System/38 (AS/400) や、Intel Optane、現在のCXL メモリファブリティ。
4. ワークロードに合わせてシリコンを形成する汎用ではなく、特定の計算（オブジェクト指向）に最適化したゲートアレイ。**AI ASIC **(TPU, Groq, Cerebras など)。ドメイン固有アーキテクチャこそが唯一の道という認識へ業界全体が進化。

なぜ淘汰されなかったのか？

  • 時期尚早: 当時（80 年代後半）は「年間約 52% の性能向上曲線」による汎用プロセッサへの圧力が高かったため、特化型チップが生き残れませんでした。
  • 現在: その性能向上曲線は AI 時代において消え去り、妥協した汎用アーキテクチャこそが陳腐化しているのが実情です。レクスリヴのような「ワークロード形状に合わせたマシン」が再び正当性を帯びています。

4. 意味論が生息する場所：抽象化の重要性

IBM と Acorn の比較

  • IBM (System/38): レクスリヴ同様のコンセプト（単一ストア、オブジェクト指向）をTIMI(仮想指令セット) という抽象層でラップし、PowerPC へ移行してもアプリケーションがそのまま動作するようにしました。意味論は変えず、実装だけを置き換えたという点で成功しました。
  • **Acorn **(ARM): ARM1 は汎用曲線上に置かれたライセンスビジネスとして成功しましたが、これは指令セットそのものを抽象化するアプローチです。
  • 教訓: アイデアをシリコン（ハードウェア）の上に置くだけでなく、適切な抽象化層で包めば、プロセスノードの縮小やアーキテクチャの変遷にも耐えられます。

イギリスにおける「逆張り」実験

  • **Inmos **(Transputer): 並列アーキテクチャをチップ内（溶接）に実装しましたが、汎用曲線によって淘汰されました。しかし血統は XMOS や Graphcore へと継承されています。
  • 結論: アイデアがハードウェア内に深く埋め込まれると寿命に限られますが、適切な抽象化を行えば長期的な生存戦略になります。

5. 誰もが運河が必要とする：大規模言語モデル（LLM）への適応

現在、汎用プログラミング言語は LLM との相性が悪く、言語自体をマシンに合わせた再設計が進んでいます（agentlanguages.dev など）。

  • Vera: 著者が人間で基盤がシリコンだった HARLAN の時代とは逆に、「著者がモデルで基盤が言語」である現況への対応です。
  • サイクルの回転: ハーランド氏が「時期尚早」として失敗したアプローチこそが、現在は最適解となりつつあります。

ネグロニ（Negroni）仮説とレクスリヴからの教訓

ネグロニにおける「技術的波動は循環的である」という仮説を踏まえると：

  1. サイクルの誤読: レクスリヴチームは技術自体（型安全、GC など）については完璧でしたが、「いつ」それを発表すべきかというタイムラインを誤読しました。
  2. ビジネスモデルの問題: アイデアが正しくても、実行時期がビジネスとして成立しなかった場合、市場で失敗します。

再びチャンスは巡ってきた

  • コストの低下: RISC-V と現代のツールチェーンにより、カスタムアーキテクチャを開発・製品化するコストが劇的に下がりました。
  • 資金の流れ: DTI の支援から Digital Security by Design などへ、政府資金や民間投資が再び特化型チップに注ぎ込まれています。

結論：シリコンを水から遠ざける使命

フォース・アンド・クライド運河の底には、「ほぼ全てのことに正解だった」コンピュータが眠っています。 そのアイデアが岸辺に戻ってくるまでにかかったのは 40 年でした。

しかし、今回は違います。

  • 汎用アーキテクチャの限界が明確になった。
  • **特化型シリコン **(AI/LLM) が主流になっている。
  • 抽象化と実装の分離が可能になった。

レクスリヴの失敗は「技術」ではなく「タイミング」という点だけでした。今こそ、40 年前に捨てられたあの箱から蘇ったアイデアを、現代の土壌で再び開花させる時です。

我々の使命は、シリコンを水から遠ざけることにあるのです。

同じ日のほかのニュース

一覧に戻る →

2026/07/15 4:25

500kb以下のサイズで実装可能な音声認識とTTS

## Japanese Translation: 最も重要な教訓は、Moonshine Micro が極めて低コストのハードウェア、具体的には 80 セントの Raspberry Pi RP2350 マイコン上で高度な音声機能を実現することを通じて、先進的な AI を民主化することにあります。このオープンソース・ツールキットは、音声認識やニューラルテキスト読み上げといった洗練されたタスクが最小限のリソースで効率的に動作することを証明しており、SRAM は約 470 KB（468 KiB）、フラッシュメモリは約 3.6 MiB を使用し、全体としての分類から発声までのエンドツーエンドのサイクルを約 0.7〜1.0 セコンドという迅速な速度で達成しています。TensorFlow Lite Micro ライブラリを活用することで、システムは VAD（音声活動検出）、STT（音声認識）、カスタム単語認識、ニューラルテキスト読み上げ、ネットワーク対応エージェント向けの WiFi 設定といった主要機能をサポートしながら、計算要件をコンポーネントごとに分解しており、それぞれ VAD で約 0.8 MMAC/frame、STT で約 36 MMAC/s、TTS で最大 65 MMAC/s の性能を発揮します。すべてのコアコードとモデル（SpellingCNN および TinyVadCNN を含む）は、制限的な知的財産の障壁なく商用展開を可能にする寛容な MIT ライセンスの下で公開されています。現在の実施可能な機能を超えて、このプラットフォームは IoT プロジェクトへの参入障rier を大幅に低下させる標準化されたベンチマーク点として機能し、安価かつオープンソースの AI ソリューションの業界全体での採用を促進します。

2026/07/19 6:45

ハードコア・インディーウェブ：1 日わずか 0.01 ドルで、あなたのサイトを 100％ 独立して運用する方法

## Japanese Translation: この記事は、複雑なサードパーティ製のデータベースやフレームワークを拒否し、個人ウェブコンテンツの完全な所有権を取り戻すことを目的とした「ハードコア・インディエブ」運動を称賛する。高額でサブスクリプション型のプラットフォームに依存し、ユーザーを引き留めるのではなく、データをローカルに保存し、単純なプレーン HTML ファイルを公開することで、真の自律性を確立する。核心的なメッセージは、単なる 3 つの基本ツールのみで真の自立が可能であるという点にある：投稿を書くためのテキストエディタ、アップロードするためのファイル転送ユーティリティ、そして月額わずか 0.25 ドルから利用可能な按分課金の安価なウェブホスティングである。 この方法論は、著者がサイト構造を手動で管理し、不透明なシステムに支配を委ねることなく、1990 年代のウェブ公開の簡素さを意図的に模倣している。各投稿に対して個別の HTML ファイルを使用し、フィードも手動で扱うことで、ユーザーは各エントリの独自のスタイルをカスタマイズしながら、完全な自律性を維持することができる。最も大きな利点はポータビリティであり、ホスティングプロバイダーが消滅した場合でも、所有者はそのサイトをデータ損失や移行手数料なしに瞬時に他場所へ移動できる。本文は、このデジタル自律性への回帰を実施するに関する支援とさらにの議論のために、オミグ・ドット・ロール (omg.lol) のコミュニティに参加することを愛好家たちに呼びかけて締めくくる。

2026/07/18 22:00

GPT-5.6 はプロンプトを用いて、凸最適化分野における30年間の空白を解消した

## Japanese Translation: GPT 5.6 Sol Pro は、凸最適化における画期的な定理を正式に証明し、特定の精度レベルにおける次元依存性に対する必要な二次の下界を示すことで、30年にわたる空白を解決した。この画期的な成果は、以前の方法が示していた上界と理論的に達成可能なものとの間に存在した長年の乖離を閉じるものであり、OpenAI の CDC プロンプティング手法を適用し、新しい数学的手法を導入するのではなく、既存の凸幾何学の理論的手法を成功裏に活用している。1996 年以来、Protasov アルゴリズムは上界として O(d²) の評価数を確立したが、下界は線形の Ω(d) で留まっていた。GPT 5.6 は、d⁻³ の精度達成には確かに O(d²) の評価数が必要であることを示し（当初はより厳密な d⁻⁴ の要件のために構成された）、これによりこれらの境界を同じ位数に揃えた。この結果は、応用数学博士号を保有する UC Berkeley 教授による著者の手により Lean で正式に検証されたものであり、それ以前のもっともーデル（GPT-5.4 および GPT-5.5）を用いた一連の試みでは成功しなかったため、1 年にわたる努力の結果である。この成果は、現代の AI が既存の枠組みを使用して複雑な理論的問題を解決する能力を確認するものである。本結果はいまだピアレビューを経ておらず、著者によって GitHub/ArXiv にホストされているため、形式的な検証が直ちに次のステップとなる。したがって、この分野は、現在の漸進的な技術で達成可能な問題から離れ、新たなアプローチを必要とする深い構造的課題へと焦点をシフトする可能性がある。

運河の底に沈んだコンピューター | そっか～ニュース