ロバート・L・コンスタブル | |
|---|---|
| 生まれる | ロバート・リー・コンスタブル 1942年（82～83歳） |
| 市民権 | アメリカ合衆国 |
| 母校 | |
| 知られている | ヌプル |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | コーネル大学 |
| 博士課程の指導教員 | スティーブン・クリーネ |
| 博士課程の学生 |
|
ロバート・リー・コンスタブル（1942年生まれ）はアメリカのコンピュータ科学者である。コーネル大学コンピュータサイエンス学部の教授であり、同大学の初代学部長および元学部長である。[2]彼はコンピュータプログラムと数学的証明を結びつける研究、特にNuprlシステムで知られている。Nuprl以前は、PL/CV形式システムと検証システムの開発に携わっていた。[3]アロンゾ・チャーチは、コンスタブルがプリンストン大学在学中に3年生の論文を指導した。[4]コンスタブルは1968年にスティーブン・クリーネの 指導の下、博士号を取得し、40人以上の学生を指導してきた。[5]
コンスタブルはマルクトオーバードルフサマースクールのディレクターを務めた。[6]
選定された出版物
- RLコンスタブルとMJオドネル著『プログラミング論理』、ウィンスロップ、ケンブリッジ、1978年。
- RL Constable、SD Johnson、CD Eichenlaub著『PL/CV2プログラミングロジック入門』Lecture Notes in Computer Science 135、Springer-Verlag、1982年
- PRLグループ. Nuprl証明開発システムによる数学の実装. Prentice-Hall , Engelwood Cliffs, NJ, 1986.
コーネルFCISの開発
 | This section may require cleanup to meet Wikipedia's quality standards. The specific problem is: Unencyclopedic grammar and style. (October 2025) |
1999年、コーネル大学はコンピューティング・情報科学部（FCIS）を創設した。これは学部長を置くものの、カレッジのような管理組織を持たないカレッジレベルの組織である。学生と教員は他のカレッジに所属し、教員は兼任となった。例えば、2002年には、コンピュータサイエンスの教員が工学部とFCISの両方に配属された。[7]新しいFCISはコンピュータグラフィックス・プログラムの統括組織となり、後に統計科学科も新設された。FCISは50名以上の提携教員を擁するまでに成長し、それぞれが他の学部と兼任となった。[8] 2020年、アン・S・バウアーズ氏の財政支援により、FCISはコーネル・バウアーズCIS（コンピューティング・情報科学カレッジ）となった。[要出典]
FCISはロバート・コンスタブルの構想でした。彼は、この新しいコンピュータ時代において、コーネル大学のあらゆる部門が研究と教育にコンピューティングを活用するための支援を必要としており、そのためにはコンピューティングをカレッジレベルにまで引き上げる必要があると感じていました。彼は、構造的にはカレッジでありながら真のカレッジではない「学部」を学部長が率いるという、新しく革新的な方法を提案しました。コンスタブルはこの構想の実現に数年を費やしました。彼は初代学部長を務め、5年間の任期を2期務めました。2008年に彼が議長を退任した際、当時副学長だったビディ・マーティンは、この構想とその実現はコンスタブルの功績であると述べました。[9]
二つ目の革新は、情報科学科の創設でした。この学科はコンピュータサイエンスと対立するのではなく、連携して活動します。FCISという名称にISが含まれている点に留意してください。コンスタブルは、コンピュータサイエンスの適切なメンバーに、この新学科の発展を長年にわたり担う責任を与えました。2024年現在、情報科学科はコーネル大学のすべての学部で専攻と副専攻を提供しています。多くの教員がコンピュータサイエンスと情報科学を兼任しています。[12]
受賞歴
- ACMフェロー、1995年。
- グッゲンハイムフェローシップ、1990-1991年。
- 自動推論への顕著な貢献に対してエルブランド賞、2014年。[13]
参考文献
- ^ 数学系譜プロジェクトのロバート・L・コンスタブル
- ^ Steele, Bill (2008年6月11日). 「コンピューター科学・情報科学科初代学部長ロバート・コンスタブル氏が2009年に退任」Cornell Chronicle . コーネル大学.
- ^ Constable, Robert L.; Johnson, Scott D. (1979). 「A PL/CV Precis」. Proceedings of the 6th ACM SIGACT–SIGPLAN symposium on Principles of programming languages (POPL '79) . Association for Computing Machinery. pp. 7– 20. doi :10.1145/567752.567754.
- ^ Constable, Robert L.; Gries, David (2015年7月21日). 「A Conversation with Robert L. Constable」. ecommons.cornell.edu . 2019年9月29日閲覧。
- ^ 「ロバート・リー・コンスタブル」.数学系譜プロジェクト. 2015年9月2日閲覧。
- ^ 「ロバート・L・コンスタブル」コーネル大学、1997年。 2015年9月2日閲覧。
- ^ 「情報科学が新たな形を発表」cornell.edu . 2020年10月30日時点のオリジナルよりアーカイブ。2024年3月20日閲覧。
- ^ FCISのウェブサイトは2004年にウェイバックマシンにアーカイブされています。メインページは[1]です。学部長のページは[2]です。計算生物学[3]、計算科学・工学[4]、情報科学[5]、共同プログラム[6]のページは[7]です。
- ^ 「ロバート・コンスタブル氏、コンピューティング・情報科学科創設学部長が2009年に退任」cornell.edu。2013年6月8日時点のオリジナルよりアーカイブ。 2024年3月20日閲覧。
- ^ “Faculty”. cs.cornell.edu . 2023年12月7日時点のオリジナルよりアーカイブ。 2024年3月20日閲覧。
- ^ “Faculty”. infosci.cornell.edu . 2023年12月25日時点のオリジナルよりアーカイブ。 2024年3月20日閲覧。
- ^ 少なくとも4名の教員がコンピュータサイエンスと情報科学の兼任教員となり、両学科で指導的な役割を担ってきました。2023年時点のコンピュータサイエンスの教員一覧[10] と情報科学の教員一覧[11]は、以下のとおりです。
- ^ 「自動推論への顕著な貢献に対するエルブランド賞、CADE自動推論会議」cadeinc.org . 2016年12月20日時点のオリジナルよりアーカイブ。 2024年3月19日閲覧。
外部リンク
- コーネル大学コンピューティング・情報科学部のホームページ
- 数学系譜プロジェクトのロバート・L・コンスタブル
