ノーマン・シャピロ

ノーマン・ザルモン・シャピロはアメリカの数学者であり、ライス・シャピロの定理の共著者であった。

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

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

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

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

シャピロは1955年にアロンゾ・チャーチの指導の下、プリンストン大学で博士号を取得した。1955年、プリンストン大学の博士課程の学生だったシャピロは、現在多対一還元と呼ばれている計算可能性理論を「強い還元可能性」という言葉で表現した。彼の論文は「計算可能性の度合い」^[2]と題され、1958年に出版された。

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

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

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

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

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

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