マイケル・J・フィッシャー

マイケル・ジョン・フィッシャー（1942年生まれ）は、分散コンピューティング、並列コンピューティング、暗号化、アルゴリズムとデータ構造、計算複雑性の分野で研究を行っているアメリカのコンピュータ科学者です。

フィッシャーは1942年に米国ミシガン州アナーバーで生まれました。

フィッシャーは1963年にミシガン大学で数学の学士号を取得しました。フィッシャーはハーバード大学で応用数学の修士号と博士号を取得し、1965年に修士号、1968年に博士号を取得しました。ハーバード大学でのフィッシャーの博士号指導教官はシーラ・グライバッハでした。

フィッシャーは博士号を取得後、1968年から1969年までカーネギーメロン大学でコンピュータサイエンスの助教授を務め、1969年から1973年までマサチューセッツ工科大学(MIT)で数学の助教授、1973年から1975年までMITで電気工学の准教授を務めた。MITでは、デビッド・S・ジョンソン、フランシス・ヤオ、マイケル・ハマーなど、後に著名なコンピュータ科学者となる博士課程の学生を指導した。

1975年、フィッシャーはワシントン大学のコンピュータサイエンスの教授に任命された。1981年以来、彼はイェール大学のコンピュータサイエンスの教授であり、彼の教え子にはレベッカ・N・ライトなどがいた。フィッシャーは1982年から1986年までJournal of the ACMの編集長を務めた。^{[1] [2]}彼は1996年にAssociation for Computing Machinery (ACM)のフェローに就任した。^[3]

フィッシャーは1985年にナンシー・A・リンチ、マイケル・S・パターソンと共同で合意問題に関する研究^[4]を行い、 2001年にPODC影響力論文賞を受賞した。 ^[5]彼らの研究は、非同期分散システムでは、プロセッサが1つでもクラッシュすると合意が不可能になることを示した。ジェニファー・ウェルチは「この結果は、分散コンピューティングの理論と実践の両方に大きな影響を与えた。システム設計者は、システムがどのような状況で機能するかに関する主張を明確にする動機となった」と書いている。^[5]

フィッシャーは1982年に開催された第1回分散コンピューティング原理シンポジウム（PODC）のプログラム委員長を務めた。 ^[6]現在、PODCはこの分野を代表する会議となっている。2003年、分散コンピューティングコミュニティはフィッシャーの60歳の誕生日を記念して、第22回PODC中に講演シリーズを開催し、^[7]レスリー・ランポート、ナンシー・リンチ、アルバート・R・マイヤー、レベッカ・ライトらを講演者に迎えた。

1980年、フィッシャーとリチャード・E・ラドナー^[8]は、プレフィックス和を効率的に計算する並列アルゴリズムを発表しました。彼らは、プレフィックス和を計算する回路の構築方法を示しました。回路では、各ノードが2つの数の加算を実行します。彼らの構成では、回路の深さとノードの数の間でトレードオフを選択できます。^{[9]しかし、同じ回路設計は、}ソビエトの数学者によってかなり以前にすでに研究されていました。^{[10] [11]}

フィッシャーは理論計算機科学全般において多面的な研究を行ってきた。博士論文を含む初期の研究は構文解析と形式文法に焦点を当てていた。^[12]フィッシャーの最も引用されている研究の1つは文字列マッチングに関するものである。^[13]ミシガン大学在学中から、フィッシャーはバーナード・ギャラーとともに分離集合データ構造を研究していた。^[14]

フィッシャーは電子投票の先駆者の一人です。1985年にフィッシャーと彼の学生ジョシュ・コーエン・ベナロ^[15]は最初の電子投票方式の一つを発表しました。^[16]

暗号に関するその他の貢献としては、鍵交換問題の研究や忘却転送プロトコルがある。^[16] 1984年、フィッシャー、シルビオ・ミカリ、チャールズ・ラックオフ^[17]は、マイケル・O・ラビンの忘却転送プロトコルの改良版を発表した。

• Galler, Bernard A. ; Fischer, Michael J. (1964). 「改良された等価性アルゴリズム」Communications of the ACM . 7 (5): 301–303. doi : 10.1145/364099.364331 . S2CID  9034016.^[12 ]
• Wagner, Robert A.; Fischer, Michael J. (1974). 「文字列間の訂正問題」Journal of the ACM . 21 (1): 168–173. doi : 10.1145/321796.321811 . S2CID  13381535.^[18 ]
• Ladner, Richard E.; Fischer, Michael J. (1980). 「並列プレフィックス計算」. Journal of the ACM . 27 (4): 831–838. doi : 10.1145/322217.322232 . S2CID  207568668.. ^{[12] [19]}
• Fischer, Michael J.; Lynch, Nancy A .; Paterson, Michael S. (1985). 「1 つのプロセスに障害がある場合の分散コンセンサスの不可能性」Journal of the ACM . 32 (2): 374–382. doi : 10.1145/3149.214121 . S2CID  207660233.. ^{[20] [21]}
• Cohen, Josh D.; Fischer , Michael J. (1985)。「堅牢で検証可能な暗号的に安全な選挙方式」。第 26 回コンピュータ サイエンスの基礎に関する年次シンポジウム(sfcs 1985)。pp. 372–382。doi :10.1109/ SFCS.1985.2。ISBN 0-8186-0644-4。^[16 ]
• Fischer, MJ; Micali, S.; Rackoff , C. (1996). 「忘却転送のための安全なプロトコル (拡張要約)」. Journal of Cryptology . 9 (3): 191–195. doi : 10.1007/BF00208002 . S2CID  6333850.^[16 ]

• 公式サイト
• 数学系譜プロジェクトのマイケル・ジョン・フィッシャー
• DBLP書誌サーバーの Michael J. Fischer
• zbMATHの Fischer, Michael J.
• MathSciNetの Fischer, Michael J.