2026/04/16 3:07

マイケル・ラビンは亡くなりました。

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

要約▶

Japanese Translation:

マイケル・オーサー・ラビン（1931–2026）は、ドイツのブレスラウ（現在はポーランドのカトヴィツェ）に生まれ、94歳の時にイスラエルのラアナーナで死去した先駆的な計算機科学家である。彼は1956年にアロンゾ・チャーチのもとでプリンストン大学から博士号を取得し、のちにハーバード大学でゴードン・メーケイ教授を務め、名誉退任後も Columbia 大学で2007年春に暗号学を講義した。ラビンは1976年に計算複雑性への貢献および非決定性機械の導入に対する功績により、ダナ・スコットと共同学者として ACM チューリング賞を受賞した。彼の研究は確立された主要な理論的成果を含み、 probabilistic automata（1960 年）、polynomial time（1966 年）、無限木オートマトンおよび単項二価次数論の決定可能性（1969 年）に及びます。また、彼は複数の革新的アルゴリズムと暗号システムを開発しました：Miller–Rabin 素数判定法（1975 年、一般化リーマン予想を仮定しないランダム化アルゴリズムによる素数検査）、Rabin 署名アルゴリズム（1978 年、整数分解の非効率性をセキュリティ要件とする非対称暗号系）、さらにリチャード・カープとともにローリングハッシュを用いた効率的な Rabin–Karp 文字列探索アルゴリズム（1987 年）。彼の早期のリーダーシップとしては、29歳でヘブライ大学の数学研究所長に就任し、33歳までにフルプロフェッサーに昇格したことが挙げられます。彼は多数の栄誉を授与されおり、Weizmann プライズ（1959 年）、IEEE コンピュータ・サ ociety チャールズ・バベッジ賞（2000 年）、イスラエル賞（1995 年）、Dan David プライズ（2010 年）が含まれます。彼のメンターであるアロンゾ・チャーチが引き継いだ伝統を踏襲し、リチャード・カープといった巨匠たちとの協力の中で革新の黄金期を生き抜いたラビンの業績は、依然としてアルゴリズムの効率性を分析し、我々が日常的に依存するデジタル世界のセキュリティと効率性を確保するための重要な基準となっています。

本文

マイケル・オザール・ラビン

マイケル・オザール・ラビン（ヘブライ語：מִיכָאֵל עוזר רַבִּין、1931 年 9 月 1 日 – 2026 年 4 月 14 日）は、計算複雑性理論における寄与により、デナ・スコット氏と共に 1976 年に ACM トーリング賞を受賞した 컴퓨터 scientist です。

概要

生誕: 1931 年 9 月 1 日、プロイセン領シレジア地方ブレスラウ（当時ドイツ、現ポーランド・ヴロツワフ）
没: 2026 年 4 月 14 日（享年 94 歳）、イスラエル・ランナナ
学歴:
- イェール大学エルサレム校（学士、修士）
- ペンシルベニア大学
- プリンストン大学（博士）
主な功績: ラビン暗号システム、ラビンフィンガープリント、ラビン署名方式、ラビン＝カルプ文字列検索アルゴリズム、アディアン＝ラビンの定理、ベルクハンプ＝ラビンアルゴリズム、ミラー＝ラビン素数判定法、ハイパー暗号化、無限木オートマトン、S2S の決定可能性、非決定的有限自動機、忘却転送（Oblivious Transfer）、確率的自動機、パミング補題、随机化アルゴリズム、双方向有限自動機、ラビンオートマトン、検証可能ランダム関数
受賞歴:
- ユダヤ物理学協会賞 (1959)
- トーリング賞 (1976)
- ハーヴィー賞 (1980)
- ジブズ講義 (1985)
- イスラエル大賞 (1995)
- IEEE コンピューター社会チャールズ・バベージ賞 (2000)
- パリス＝カネリキス賞 (2003)
- エメット賞 (2004)
- ゴーデル講義 (2004)
- ダン・デイビッド賞 (2010)
- ダイヒストルック賞 (2015)

分野と所属機関

分野: コンピューター科学
所属: ハーバード大学、イェール大学エルサレム校、コロンビア大学、マサチューセッツ工科大学（MIT）、ベール研究所、IBM

学術的 affiliations

博士論文: グループ理論的問題の帰納的不可能性 (1957)
指導教員: アロンゾ＝チューチ
指導学生: ユディット・バー＝イラン、ドヴ・ガバイ、モシェー・マコバー、サハロン・シェルア、マイケル A. ベンダー

生涯と経歴

幼少期と学歴

ラビンは 1931 年、プロイセン領シレジア地方ブレスラウ（当時ドイツ、現ポーランド・ヴロツワフ）の律儀者の息子として生まれました。1935 年、家族と共にオスマン帝国支配下のパレスチナへ移住しました。幼少時から数学に深い関心を抱き、父はハイファで最高の高校に通うよう送り、そこで数学者エリアシャ・ネタニヤフ（当時高校生教師）の下で学びました。

1948 年、ハイファのヘブライ・リアルイスクールを卒業後、同年のアラブ＝イスラエル戦争の際に召集されました。数学教授アブラハム・フレーネル氏（ユダヤ大学エルサレム）が軍司令部へ介入し、1949 年にラビンは学業に専念するために除隊しました。その後にイェール大学エルサレム校より修士号を取得し、ペンシルベニア大学で大学院研究を開始した後、1956 年にプリンストン大学から博士号を取得しました。

経歴

1950 年代後半、ラビンはニューヨーク州ウェストチェスター郡のランブ・エステートにおいて、IBM で研究を行うために招待されました。そこには他の有望な数学者や科学者がおり、デナ・スコット氏と共に「有限自動機とその決定問題」を発表しました。その際、非決定的自動機を用いて、有限状態機械が規則的言語を正確に受け入れるというクリーネの結果を再証明することができました。

計算複雑性理論の起源について、次の夏にはラビンは再びランブ・エステートへ戻ってきました。ジョン＝マッカリイ氏からスパイ、看守、パスワードに関するパズルが出題され、これに取り組んだ後の彼は「関数を計算する難易度と帰納集合の階層」という論文を発表しました。非決定的機械は計算複雑性理論において重要な概念となり、特に P や NP のような複雑性クラスの記述に寄与しました。

その後、ラビンはエルサレムへ戻り、論理学的研究を行い、後にコンピューター科学として知られる分野の基礎を築きました。29 歳でイェール大学エルサレム校の准教授および数学研究所長に就任し、33 歳には正教授に昇进しました。ラビンは自伝的に「計算に関する問題に対する評価は全くありませんでした。数学者たちは出現しつつあった新しい分野を認識していませんでした」と振り返っています。

1960 年、ラビンはエドワード・F・ムーア氏によってベル研究所への招待を受け、そこで確率的自動機を導入しました。この自动机では、硬貨投げの結果に基づいて状態遷移を選ぶ仕組みであり、規則的言語において非常に大きな数の状態を必要とする例を示し、一方で確率的自动機を用いることで状態数を指数関数的に削減できることを示しました。

1961-62 年度はカリフォルニア大学バークレー校の訪問准教授として、1962-63 年度は MIT の訪問准教授として活動しました。1981 年にハーバード大学でゴードン＝メイカーコンピューター科学教授に就任するまでの間は、イェール大学エルサレム校の教授を務めていました。

1966 年（1967 年の会議議事録にて発表）、ラビンはコバムとエドモンズに先駆けて多項式時間という概念を導入しました。

1969 年、ラビンは無限木自動機を導入し、n 次の後継者に対する独断第二階級理論（S2S で n=2 の場合）が決定可能であることを証明しました。その証明の一部には、Borel 階層の第 3 レベルにある偶性ゲームの決定的性の示唆が含まれていました。

1975 年、ラビンはイェール大学エルサレム校学長としての任期を終え、アメリカ合衆国のマサチューセッツ工科大学へ訪問教授として移りました。そこで彼はミラー＝ラビン素数判定法を発明しました。これは誤りのおそらく非常に小さい確率で高速に数を判定する随机化アルゴリズムです。ラビンの手法は、一般化リーマン予想が真であると仮定して決定論的に問題を解決したゲイリー・ミラー氏の前向きな成果に基づいていましたが、ラビン自身のバージョンはそのような仮定を必要としませんでした。素数高速判定は公開鍵暗号の成功実装において極めて重要であり、2003 年にミラー、ラビン、ロバート M. ソロベイ、ヴォルカー＝シュトラッセン氏は素数判定に関する功績によりパリス＝カネリキス賞を受賞しました。

1976 年、ジョセフ＝トロブ氏によりカルネギーメロン大学での会合に招待され、ここでトロブ氏が「革命的」と称した素数判定法を発表しました。

1978 年、ラビンは整数因数分解の困難性と同等の安全性が証明された最初の非対称暗号システムであるラビン署名方式を発明しました。

1981 年、ワイズナー氏が多重化技術として考案した弱形オブリビオス転送技術を再発明し、送信者がメッセージを受信者に伝送する際に、受信者がそのメッセージを知覚できる確率が 0 と 1 の間の値を持ち、送信者は受信者がメッセージを知覚したかどうかを意識しない仕組みを導入しました。

1987 年、ラビンはリチャード＝カルプ氏と共に、最も有名な効率的な文字列検索アルゴリズムの一つであるラビン＝カルプ文字列検索アルゴリズムを発明し、これはローリングハッシュ技術で知られています。

ラビンの後の研究はコンピューターセキュリティに集中しました。2007 年度春学期にはコロンビア大学での客員教授として「暗号入門」を講義しました。全職制の学術生活から引退し、ハーバード大学のトマス J. ワトソン sr. コンピューター科学名誉教授およびイェール大学エルサレム校のコンピューター科学名誉教授となりました。

個人生活と死去

ラビンは 2026 年 4 月 14 日に 94 歳で他界しました。娘のタル・ラビン氏はまた、著名なコンピューター科学家です。

受賞歴と栄誉

ラビンは米国科学アカデミーの外国人会員、アメリカ哲学会会員、アメリカ芸術学協会会員、フランス科学院会員、ロイヤルソサエティの外国人会員でした。

1976 年、トーリング賞はラビンとスコット氏に共同で授与され、その功績は 1959 年の論文「有限自動機とその決定問題」に基づくものであり、次のように記述されました。

「非決定的機械という概念を導入し、これが多大なる価値を持つことが証明された彼らの共著『有限自動機とその決定問題』により。彼らの（スコット＆ラビン）の古典的な論文は、この分野における後の研究に絶え間ないインスピレーション源となっています。」

1995 年、コンピューター科学分野においてイェール大賞を受賞しました。2010 年、テルアビブ大学ダン＝デイビッド賞（「未来」カテゴリー）をレオナード＝クライノック氏とゴードン E. ムーア氏と共に、コンピューターおよび通信分野にて受賞しました。2017 年にはハーバード大学から名誉科学博士号を授与されました。

参考文献

サシャ、デニス（2010 年 2 月）。「マイケル O. ラビンとの対談」。 コミュニケーションズ・オブ・ACM. 53 (2): 37–42. doi:10.1145/1646353.1646369. S2CID 16975542.
「マイケル O. ラビン」amturing.acm。
スコット、デナ；ラビン、マイケル（1959）。「有限自動機とその決定問題」（PDF）。IBM ジャーナル・オブ・リサーチ・アンド・ディベロップメント. 3 (2): 114–125. doi:10.1147/rd.32.0114.
ラビン、M.O.、「関数を計算する難易度と帰納集合の階層」、技術報告 No. 2、O.N.R.、イェール大学エルサレム、1960
「マイケル O. ラビン - カリキュラムビヴィエ」（PDF）。ハーバード大学。
ラビン、マイケル O.（1967）。「自動機の数学的理論」。コンピューター科学の数学的側面. Proc. Sympos. Appl. Math. Vol. XIX. Amer. Math. Soc. pp. 153–175.
コバム、アラン（1965）。「関数の本質的な計算難易度」。論理、方法論と科学哲学. (Proc. 1964 Internat. Congr.). pp. 24–30.
エドモンズ、J.（1965）。「パス、木、花」。カナディアン・ジャーナル・オブ・マセマティクス. 17: 449–467. Bibcode:1965CJMat..17..449E. doi:10.4153/CJM-1965-045-4.
ラビン、MO（1969）。「二階級理論の決定可能性と無限木上の自動機」。アメリカン・マセマティカル・ソサエティーのトランザクションズ. 141: 1–35. doi:10.2307/1995086. JSTOR 1995086.
ラビン、MO（1976）。「確率的アルゴリズム」。アルゴリズムと複雑性, Proc. Symp. Pittsburgh.
ラビン、MO（1980）。「素数判定のための確率的アルゴリズム」。ジャーナル・オブ・ナンバー・ソサエティー. 12 (1): 128–138. doi:10.1016/0022-314X(80)90084-0.
ラビン、マイケル O.（1978）。「デジタル化署名」。DeMillo, Richard A.; Dobkin, David P.; Jones, Anita K.; Lipton, Richard J. (編集)。セキュア・コンピュテーションの基礎. ニューヨーク：アカデミック・プレス。pp. 155–168. ISBN 0-12-210350-5.
ラビン、マイケル O.（1979 年 1 月）。「分解と同等の難易度を持つ公的鍵関数としてのデジタル化署名」（PDF）（技術報告）。マサチューセッツ工科大学コンピューター科学研究所。TR-212.
ラビン、マイケル O.（1981）。「オブリビオス転送による秘密の交換方法」（技術報告 TR-81）（PDF）。ハーバード大学・アイケン計算研究所。
カルプ、RM；ラビン、MO（1987 年 3 月）。「効率的な随机化パターンドマッチングアルゴリズム」。IBM ジャーナル・オブ・リサーチ・アンド・ディベロップメント. 31 (2): 249–260. doi:10.1147/rd.312.0249. S2CID 5734450.
「マイケルラビンろれ」（haaretz-evel）。
「タル・ラビン」。フォーブス。
「マイケル O. ラビン」www.nasonline.org。
「APS メンバー履歴」search.amphilsoc.org。
「マイケルオザールラビン」アメリカ芸術学協会。
「マイケル・ラビン」。Académie des sciences (in French)。
「プロフェッサー・マイケル・ラビン FRS」。The Royal Society。
ACM トーリング賞引用（アーカイブリンク）。
「イスラエル大賞公式ウェブサイト - 1995 年度受賞者（ヘブライ語）」。
「ダン＝デイビッド賞公式ウェブサイト - 2010 年度受賞者」。
「ハーバード大学が 10 の名誉博士号を授与」。

外部リンク

ピッツバーグ大学の情報科学殿堂における短縮説明
オブリビオス転送
プロフェッサー・ラビンの一部の講義からの引用
ラビンのコースのウェブサイト
リチャード J.ライプトン氏によるラビンの研究の解説

同じ日のほかのニュース

一覧に戻る →

2026/04/19 5:54

『好みの色を選べる：NIST の科学家らが、任意の波長のレーザーを開発』

## Japanese Translation: NIST の科学者と協力者が、Scott Papp という NIST の物理学者をリーダーとして発表された「Monolithic 3D integration of tantalum pentoxide nonlinear photonics」という論文に詳述されているように、特殊な材料の複雑なパターンをシリコンウエハーに堆積させることで、統合光子デバイスのチップ作成における画期的手法を開発しました。この革新は、サイズ、コスト、電力に関する重要な歴史的制約を解決し、量子コンピューティングなどの高度な技術用のコンパクトで高品質なレーザーの実現を可能にします。酸化シリコン、リチウムニオブате、タンタル五酸化物（単一のレーザー色を多様な波長に変換しつつ過度の発熱を抑える材料）を含むマルチレイヤーアプローチを用いることで、チームはビールコスター程度のサイズのパターンに、約 10,000 の光子回路を備えた指先ほどの大きさのチップを約 50 個集積することに成功しました。以前是高品質なレーザーは特定の波長（例：980 nm の赤外線）のみに存在し、量子技術の利用が専門的な研究室に限定されていましたが、この画期的進展により、携帯型光原子時計や地震予測システムといった現場での応用が可能になります。光原子時計や量子コンピュータなどの量子技術には、ルビジウム（780 nm の赤）やストロンチウム（461 nm の青）など、異なる原子に合わせた特定の色のレーザーが多く必要とされますが、この新技術はそれを効果的に解決します。この技術は、効率的な光処理を必要とする産業において量子デバイスへのアクセスを民主化するだけでなく、研究機関と Octave Photonics などのスタートアップ間の協力を促進します。*Nature* に掲載されたこれらの発見は、光子機能と電気システムを統合する道を開き、人工知能から暗物質調査に至るまでの分野を変革する可能性があります。これにより、複雑な科学ツールが従来の実験室の外でも手頃な価格で利用できるようになります。

2026/04/19 1:26

ボーイング社の B-52 ストラトフォートレス爆撃機に搭載された、スタートラッカー内の電気式傾斜計。

## Japanese 翻訳: アストロコンパスは、1960 年代の B-52 爆撃機向けに開発され、乗組員が手動で行っていた複雑な三角法の計算を自動化し、天体航法を画期的に変化させました。ジャミングに脆弱な現代デジタルシステムと異なり、この電気機械装置は、外部デジタル信号を使用せずに、シンクロン（変送機）および光増倍管を用いて恒星を追跡する信頼性の高い抗ジャミング方式を提供しました。恒星位置の物理的な追跡と天球のアナログモデルを組み合わせることで、システムはパイロットにリアルタイムでの航法更新を通じて正確な位置を決定することを可能にしました。公式空軍年誌からのデータに基づいて動作し、この装置は時間や恒星の赤緯などの入力をノブで調整するマスターコントロールパネルを搭載していました。これらの設定は、安定したジャイロプラットフォームとガラスドーム型望遠鏡を含む組立体内の 19 のコンポーネントを駆動しました。アストロコンパスは「位置線」技術を使用し、測定された恒星の高度を計算された期待値と比較することで航空機の軌跡を特定しました。この自動化により、困難な手動手順はスムーズな電気機械プロセスへと変換され、爆撃機艦隊が重要な航法任務において、作戦能力とミッション安全性を大幅に向上させました。

2026/04/19 4:19

Claude のデザインに関する考察と感情

## 日本語翻訳：要約：中心的な論点是、Figma の専用でロックされたファイル形式がネイティブのスキーマを持たず、深いエイリアシングおよび未文書化されたプリミティブに依存を迫られること（例：946 色の変数を含むネストされたグループのあるファイル）であり、これがコードトレーニング済みの AI モデルが設計論理を正確に解釈することを妨げる。LLM はこれらの特定の不透明な Figma 構造ではなくコードに対してトレーニングされているため、「Figma Make」のような現在のツールは、設計ファイルが依然として規範的であると示唆することでユーザーを誤導し、実質的にワークフローを新しいエージェント時代と不相容の専用エコシステムにロックしている。その対応として、Claude Design とような新たなツールは、「HTML と JS をすべて徹底する」というアプローチを取り、コードと直接統合してレポジトリから AI エージェントへ供給される統一されたフィードバックループを創出する。著者は業界における分岐の予測を行う：一方は誠実なコード連結による生産ツールへの道筋、他方は Photoshop に似た制約のない探求環境への道筋となる。クリーンなコードからのこの転換を批判しつつも、著者は Sketch などの競合業者に対してネイティブ機能に安住するのではなく、粒子エフェクトやメッシュ変換などの特定機能を備えた革新を促し、Figma の形式が AI エージェントに必要なトレーニングデータへの含まれにくさを指摘している。 ## テキストを翻訳（必要に応じて；そうでない場合は元のものを繰り返す）： ## Summary: The core argument is that Figma's proprietary, locked-down file format lacks a native schema, forcing reliance on deep aliasing and undocumented primitives (exemplified by files containing 946 color variables within nested groups) that prevent code-trained AI models from accurately interpreting design logic. Because LLMs were trained on code rather than these specific, opaque Figma structures, current tools like "Figma Make" are misleading users by suggesting the design file remains canonical, effectively locking workflows into a proprietary ecosystem incompatible with the emerging agentic era. In response, new tools like Claude Design adopt an "HTML and JS all the way down" approach, integrating directly with code to create a unified feedback loop where repositories feed AI agents. The author predicts a fork in the industry: one path toward honest, code-linked production tools, and another for unconstrained exploration environments similar to Photoshop. While criticizing this shift away from clean code, the author also urges competitors like Sketch to innovate with specific features (particle effects, mesh transforms) rather than resting on native capabilities, noting that Figma's format prevents its inclusion in necessary training data for AI agents.