ノーマン・シャピロ

ノーマン・シャピロ
ノーマン・シャピロ
生まれる	(1932-01-28)1932年1月28日
死亡	2021年10月14日(2021-10-14)（享年89歳）
教育	1952年イリノイ大学で数学の学士号を取得; 1955年プリンストン大学博士号取得;
母校	イリノイ大学; プリンストン大学;
知られている	ライス・シャピロ定理; MH メッセージ処理システム;
配偶者	ナオミ・シャピロ
子供たち	1
	科学者としてのキャリア
機関	ランド研究所
論文	計算可能性の度合い（1958年）
博士課程の指導教員	アロンゾ・チャーチ

American mathematician (1932–2021)

ノーマン・ザルモン・シャピロ（1932年1月28日 - 2021年10月14日）はアメリカの数学者であり、ライス・シャピロの定理の共著者である。

教育

シャピロは1952年にイリノイ大学で数学の学士号を取得した。

シャピロは1954年の夏をニュージャージー州マレーヒルのベル研究所で過ごし、カレル・デ・レーウ、エド・ムーア、クロード・シャノンと共同で、無限のランダムイベント列（例えば、公平なコインを投げる）を生成するオラクルマシンをチューリングマシンに付加することで、計算不可能な列を出力できるかどうかという問題を研究した。モンテカルロ法の有効性はよく知られているため、そうではないと考える人もいるかもしれないが、結果は否定的だった。正確にはこうである。

有限アルファベット上の無限文字列Sは、等確率の 0 と 1 の無限シーケンスを生成するオラクルマシンで拡張されたチューリングマシンによって確率 1 で出力できる場合、計算可能です。

さらに、出力確率が任意の正の数であれば結果は維持され、オラクルマシンの問い合わせが1を返す確率は任意の計算可能な実数である。^[1]

シャピロは1955年、アロンゾ・チャーチの指導の下、プリンストン大学で博士号を取得しました。1955年、プリンストン大学の博士課程在学中、シャピロは「強い還元可能性（strong reducibility）」という造語を用い、現在では多対一還元と呼ばれている計算可能性理論を提唱しました。彼の論文は『計算可能性の次数（Degrees of Computability ）』 ^[2]と題され、1958年に出版されました。

キャリア

シャピロは、1959 年から 1999 年まで、シンクタンクであるRAND コーポレーションで数学者およびコンピュータ科学者として活躍しました。1960 年代後半から 1970 年代前半にかけて、シャピロは、コンピュータベースの最初のマッピングおよび地図作成システムの 1 つを設計する主任でした。

1970年代にシャピロはMHメッセージ処理システムの共同設計者となった。^{[3] MHはシェルコマンドを使ってメッセージを個別のファイルとして操作するという}Unixの設計原理を活用した最初のメールシステムであった。

1972年、ノーマン・Z・シャピロは電子メールのエチケットに関するエッセイで独創的な先駆者となり、15年以上もの間ほとんど考慮されることのなかった概念を提示しました。彼の著作は、ネチケットに関する最初の本格的な著作と言えるでしょう。最初のエッセイは「電子メールの倫理とエチケットに向けて」でした。^[4]

1970年代から1990年代にかけて、シャピロはコンピュータサイエンス、数学、そしてモデリングにおいて、数多くの新しく独自の貢献を果たしました。1980年代初頭には、ランド研究所において、大規模かつ複雑なゲーム構造のシミュレーション（RAND戦略評価システム）のソフトウェアアーキテクトを務めました。このシミュレーションでは、地域的または世界的な危機や戦争を再現し、エージェントが人間のチームに代わって高度な意思決定を行うというオプションが与えられました。これらの意思決定は、大規模な世界規模の戦闘モデルに表現された行動を方向づけました。エージェントは、例えば政権交代を反映させるなど、異なるバージョンに置き換えることも可能でした。エージェントは、自身内でシミュレーションを実行し、「先読み」を用いて潜在的な戦略をテストすることができました。このシステムは成功裏に実装され^[5]、冷戦終結前の1980年代後半に使用されました。その後の開発の一環として、シャピロはH.エドワード・ホールと共同で、Abel（後にRAND-ABELと呼ばれる）と呼ばれる新しいプログラミング言語を発明しました。これは、英語のような見た目と読みやすさを持つ最初のAI型シミュレーション言語ではありませんでしたが、以前のものよりも明確で、プログラマー以外の人にも読みやすいものでした。ABELの主な革新性は、雑誌記事やエッセイに見られるような普通の表のように人間が理解できる表をコードとして実行したことです。ABELコンパイラは、これらの「英語」の表を、データ値、決定木、複雑な条件分岐と値設定関数など、複数の方法で使用します。自然言語の表がこのように機械で実行されたのはこれが初めてでした。

シャピロは、データベースとプライバシー、自動化が裁判制度に与える影響、自動化の将来、そして数学、化学、生物学の分野などについて、幅広く執筆活動を行っています。彼の著作の多くは、出版社であるランド研究所から全文PDFとして無料で入手できます。

参考文献

^ K. de Leeuw、EF Moore、CE Shannon、N. Shapiro、「確率的機械による計算可能性」、オートマトン研究、C. ShannonおよびJ. McCarthy編、プリンストン大学出版、1956年、183-212頁。
^ 数学系譜プロジェクトのノーマン・シャピロ
^ ロバート・H・アンダーソン、ノーマン・シャピロ、トーラ・K・ビクソン、フィリス・カンター共著「MHメールシステムの設計」、カリフォルニア州サンタモニカ：ランド社、1989年。https://www.rand.org/pubs/notes/N3017。印刷版も入手可能。
^ シャピロ、ノーマン、ロバート・H・アンダーソン共著「電子メールの倫理とエチケットに向けて」サンタモニカ、カリフォルニア州：ランド社、1985年。https://www.rand.org/pubs/reports/R3283。印刷版も入手可能。
^ Davis, Paul K.、H. Edward Hall、「RSAS システムソフトウェアの概要」、サンタモニカ、カリフォルニア州：RAND Corporation、1988年。https://www.rand.org/content/dam/rand/pubs/notes/2009/N2755.pdf。

外部リンク

ノーマン・Z・シャピロのRAND出版物50件のリスト
ABEL言語概要
ユーザーフレンドリーを超えて
ノーマン・Z・シャピロのマイクロソフト学術著者データベースへの掲載

[1] K. de Leeuw、EF Moore、CE Shannon、N. Shapiro、「確率的機械による計算可能性」、オートマトン研究、C. ShannonおよびJ. McCarthy編、プリンストン大学出版、1956年、183-212頁。

[2] 数学系譜プロジェクトのノーマン・シャピロ

[3] ロバート・H・アンダーソン、ノーマン・シャピロ、トーラ・K・ビクソン、フィリス・カンター共著「MHメールシステムの設計」、カリフォルニア州サンタモニカ：ランド社、1989年。https://www.rand.org/pubs/notes/N3017。印刷版も入手可能。

[4] シャピロ、ノーマン、ロバート・H・アンダーソン共著「電子メールの倫理とエチケットに向けて」サンタモニカ、カリフォルニア州：ランド社、1985年。https://www.rand.org/pubs/reports/R3283。印刷版も入手可能。

[5] Davis, Paul K.、H. Edward Hall、「RSAS システムソフトウェアの概要」、サンタモニカ、カリフォルニア州：RAND Corporation、1988年。https://www.rand.org/content/dam/rand/pubs/notes/2009/N2755.pdf。