Loading article…
シーモア・ギンズバーグ（1927年12月12日 - 2004年12月5日）は、 オートマタ理論、 形式言語理論、 データベース理論、そしてコンピュータ科学全般におけるアメリカの先駆者でした。彼の研究は、理論コンピュータ科学を数学や電気工学といった分野から区別する上で大きな影響を与えました。
ギンズバーグは、そのキャリアを通じて、理論計算機科学の様々なトピックに関する論文を100本以上、著書を3冊出版した。
シーモア・ギンズバーグは1948年にニューヨーク市立大学で理学士号を取得し、同級生のマーティン・デイビスと共にエミール・ポストが教える優等生向け数学の授業に出席した。[ 1 ]彼は1952年にミシガン大学でベン・ドゥシュニクの下で数学の博士号を取得した。
ギンズバーグのキャリアは1951年、フロリダ州コーラルゲーブルズにあるマイアミ大学の数学助教授に就任したことから始まった。1955年、ノースロップ社に勤務するためカリフォルニア州に移住し、コンピュータ科学に専念するようになった。その後、ナショナル・キャッシュ・レジスター社、ヒューズ・エアクラフト社、システム・デベロップメント社で勤務した。
SDCでギンズバーグはまず抽象機械の理論に集中した。[ 2 ]その後、形式言語理論とコンピュータサイエンスの基礎に特化した研究プロジェクトを立ち上げ、主導した。研究グループのメンバーには、シーラ・グライバック、マイケル・A・ハリソン、ジーン・ローズ、エド・スパニアー、ジョー・ウリアンなどがいた。このグループから生まれた研究は、コンピュータサイエンス理論を他の分野から区別し、ギンズバーグを理論コンピュータサイエンスコミュニティの中心に据えた。[ 3 ]
SDC の時代に、若きジェフ・ウルマンはギンズバーグのもとで夏を過ごし、形式言語理論とコンピュータ科学理論の研究に対する幅広いアプローチを学んだ。アル・アホは、ウルマンがギンズバーグのもとで過ごした夏が、アホのコンピュータ科学のキャリアに大きな影響を与えたと述べている。インタビューでアホは、プリンストン大学で博士号取得のために勉強していた当時、コンピュータ科学はほとんどなかったことを回想している。しかし、ウルマンがギンズバーグのもとでの夏から戻った後、アホはウルマンが「実質的にホップクロフトと私に形式言語理論を教えてくれた」と述べている。 [ 4 ]
ギンズバーグは1966年に南カリフォルニア大学の教員となり、 1968年にはコンピュータサイエンス学科の設立に尽力した。 1974年にはグッゲンハイム・フェローシップを受賞し、その年は世界各地を巡り、自身が創設に貢献した理論コンピュータサイエンスの分野について講演を行った。1978年、ギンズバーグは南カリフォルニア大学初のフレッチャー・ジョーンズ記念コンピュータサイエンス教授に任命され、1999年に退職するまでその職を務めた。彼は1970年代を通して、形式言語理論とオートマトンに関する研究を続けた。
1980年代、ギンスバーグは南カリフォルニア大学（USC）でデータベース理論を専門とする研究グループを設立した。彼は1982年にマリーナ・デル・レイで最初のPODS（データベースシステムの原理に関するシンポジウム）を組織し、1990年代まで同会議の推進力となった。1992年のPODSでは、彼の64歳の誕生日を記念してサプライズセッションが設けられ、ジェフ・ウルマンが編集した記念論文集が彼のために作成された。[ 5 ]
ギンズバーグのキャリアは、1999年にアルツハイマー病の発症と診断されたことで突然終わりを迎えた。彼は現役の教職から引退し、南カリフォルニア大学（USC）のコンピュータサイエンス名誉教授となった。晩年は健康状態が悪化し、2004年12月5日に亡くなった。
ギンスバーグ氏は、2005年にACM SIGMOD Record [ 3 ]に掲載された追悼記事で、愛情を込めて偲ばれた。コンピュータサイエンス理論への貢献に加え、研究にもたらした明確な焦点と、博士課程学生の指導者としての役割を真剣に受け止めたことでも記憶されている。また、若い研究者への惜しみない支援でも記憶されている。ギンスバーグ氏の指導を受けたものの、彼の博士課程学生ではなかった人々には、ジョナサン・ゴールドスタイン、シーラ・グレイバック、マイケル・A・ハリソン、リチャード・ハル、ジェフ・ウルマンなどがいる。
ギンズバーグの初期の研究はオートマタ理論に集中していた。1958年、彼は「気にしない」回路の最小化が必ずしも最小の結果をもたらすとは限らないことを証明した。[ 6 ]オートマタ理論における彼の研究は、スイッチング理論コミュニティをより理論的な方向へと導いた。この研究は、1962年に機械の数学に関する書籍の出版という形で結実した。[ 7 ]
ギンズバーグは1960年代に形式言語理論に注目し、文脈自由文法を研究し、1966年に文脈自由言語の包括的な概説を発表した。[ 8 ]ギンズバーグは、文脈自由言語と「ALGOLのような」言語との関連性を最初に指摘した人物である。 [ 9 ]これにより、形式言語理論 の分野がプログラミング言語の研究に応用されるようになった。文脈自由文法とプッシュダウンアクセプタに関するギンズバーグの研究成果は、この分野で最も深遠で美しいものの一つと考えられている。これらは、形式言語とオートマタの分野で研究している多くのコンピュータ科学者にとって、今もなお標準的なツールとなっている。[ 3 ]この時期の彼の論文の多くは、シーラ・グライバックやマイケル・A・ハリソンなど、他の著名な形式言語研究者との共著である。
形式システムのさまざまな見解の統合は、ギンズバーグの研究における一貫したテーマであった。[ 3 ]形式言語理論において、彼の論文は、文法ベースのシステム、アクセプタベースのシステム、および言語ファミリーの代数的特徴付けの間の関係を調べた。この研究の集大成は、1967年にシーラ・グライバッハとの共同研究により、コンピュータ科学の最も深い分野の1つである抽象言語ファミリーの創設であった。 [ 10 ] [ 11 ]
1974年、ギンズバーグはアーミン・B・クレマーズと共に文法形式の理論を発展させた。[ 12 ] [ 13 ] [ 14 ] [ 15 ]
1980年代、ギンズバーグはデータベース理論の分野における初期の先駆者となった。彼は引退するまでこの分野で研究を続けた。彼の専門的な貢献は、関数依存性[ 16 ] [ 17 ]、オブジェクト履歴[ 18 ] 、スプレッドシート履歴[ 19 ] 、 Datalog [ 20 ]、データ再構築[ 21 ]など、多岐にわたる分野に及んだ。
