スティーブン・ウォーシャル

スティーブン・ウォーシャル
生まれる	(1935-11-15)1935年11月15日 ニューヨーク市
死亡	2006年12月11日(2006-12-11)（享年71歳） マサチューセッツ州グロスター
知られている	フロイド・ワーシャルアルゴリズム

スティーブン・ウォーシャル（1935年11月15日 - 2006年12月11日）は、アメリカのコンピュータ科学者でした。ウォーシャルは、そのキャリアを通じて、オペレーティングシステム、コンパイラ設計、言語設計、オペレーションズリサーチの研究開発に携わりました。ウォーシャルは、2006年12月11日にマサチューセッツ州グロスターの自宅で癌のため亡くなりました。遺族には妻のサラ・ダンラップと2人の子供、アンドリュー・D・ウォーシャルとソフィア・VZ・ウォーシャルがいます。

ウォーシャルはニューヨーク市で生まれ、ブルックリンの公立学校に通った。ニューヨーク州マウントバーノンのABデイビス高校を卒業し、ハーバード大学に進学し、 1956年に数学の学士号を取得した。当時は興味のある分野のプログラムがなかったため、上級学位は取得しなかった。しかし、いくつかの大学で大学院課程を履修し、コンピュータサイエンスとソフトウェアエンジニアリングの発展に貢献した。1971年から1972年の学年度には、フランスの大学 でソフトウェアエンジニアリングの講義を行った。

ハーバード大学卒業後、ウォーシャルはORO（オペレーション・リサーチ・オフィス）で働きました。これはジョンズ・ホプキンス大学がアメリカ陸軍の研究開発を行うために設立したプログラムです。1958年に彼はOROを辞めてテクニカル・オペレーションズという会社に就職し、軍事ソフトウェア・プロジェクトの研究開発研究所の設立に携わりました。1961年に彼はテクニカル・オペレーションズを辞めてマサチューセッツ・コンピュータ・アソシエイツを設立しました。後にこの会社はアプライド・データ・リサーチ（ADR）の一部となりました。合併後、ウォーシャルはADRの取締役に就任し、さまざまなプロジェクトや組織を管理しました。彼は1982年にADRを退職し、マサチューセッツ州グロスターのアハヴァト・アキム寺院で 聖書ヘブライ語のクラスを毎週教えました。

推移閉包アルゴリズム（現在ではウォーシャルのアルゴリズムとして知られている）が正しいという彼の証明については、興味深い逸話がある。彼と技術部門の同僚は、このアルゴリズムが常に機能するかどうかを誰が最初に判断できるかについてラム酒のボトルを賭けた。ウォーシャルは一晩で証明を思いつき、賭けに勝ち、ラム酒も勝ち、それを賭けの負けた人と分け合った。ウォーシャルは机に向かって座っているのが好きではなかったため、インド洋の帆船やギリシャのレモン園など、型破りな場所で創作活動の多くを行った。

• ケネス・H・ローゼン（2003年）。離散数学とその応用、第5版。アディソン・ウェスレー。ISBN 0-07-119881-4。
• ACM 書誌ジャーナル – ウォーシャル論文の引用
• スティーブン・ウォーシャル、ボストン・グローブ、訃報、2006 年 12 月 13 日
• ケープアンのアハヴァト・アキム寺院が100周年を祝う、グロスター・ジューイッシュ・ジャーナル、2004年5月7日～20日

• スティーブン・ウォーシャル。ブール行列に関する定理。Journal of the ACM、9(1):11–12、1962年1月。
• Thomas E. Cheatham, Jr.、Stephen Warshall: 「半形式的な」英語のような言語で表現された検索要求の翻訳。Commun. ACM 5(1): 34–39 (1962)

• ウォーシャルのアルゴリズム