Loading article…
ヤン・LA・ファン・デ・スネプシュート | |
|---|---|
| 生まれる | 1953年9月12日 |
| 死亡 | 1994年2月23日（40歳） |
| 国籍 | オランダ語 |
| 母校 | アイントホーフェン工科大学 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | アイントホーフェン工科大学、トゥエンテ大学、フローニンゲン大学、カリフォルニア工科大学 |
| 博士課程の指導教員 | マーティン・レム、エドガー・ダイクストラ |
| 博士課程の学生 | ピーター・ホフスティー |
ヨハネス・ランベルトゥス・アドリアナ・ファン・デ・スネプシュート（オランダ語: [ˈsnɛpsxøːt] ; 1953年9月12日 - 1994年2月23日）は、オランダのコンピュータ科学者、教育者。マーティン・レムとエドガー・ダイクストラに師事。死去当時、カリフォルニア工科大学のコンピュータサイエンスの教授であった。[1] また、「Proxac」と呼ばれる定理証明用エディタを開発していた。[2]
バイオグラフィー
ファン・デ・スネプシュートは1977年にアイントホーフェン工科大学を電気技師として卒業した。卒業論文の指導教員は数学科のFrans EJ Krusman Aretzであった。この間、彼はマイクロプロセッサ会社の共同設立者でもあり、後に2社目を設立することになる。トゥエンテ大学で1年間働いた後、アイントホーフェンに戻り、1983年に博士号を取得した。その後、カリフォルニア工科大学で1年間過ごした後、フローニンゲン大学で教授として働き始めた。1988年、ファン・デ・スネプシュートは家族とともにカリフォルニア工科大学に戻り、そこで研究を続け、著書「What Computing Is All About 」を出版した。[1]
1994年2月23日の早朝、ヴァン・デ・スネプシュートは眠っている妻のテッレ（他の場所ではツリーズと呼ばれている[3]）を、後に現場で発見された斧で襲ったとされている。その後、彼は家に火を放ち、周囲が燃える中死亡した。テッレと14歳、12歳、10歳の3人の子供たちは燃える家から逃げ出した。[4]
参考文献
- トレース理論とVLSI設計、博士論文、索引も含めてすべて手書き。[3]後にLecture Notes in Computer Scienceの第200巻として出版。[5]
- What computing is all about、[6] はコンピュータサイエンスにおける選択された基本的なトピックの調査であり、ダイクストラはこれを「科学者としての[ファン・デ・スネプシュートの]熱意と教育者としての献身の両方を強く反映した絶対的な宝物」と評した。[1]
参考文献
- ^ abc ダイクストラ、エドガー W. (1994 年 5 月)。 「ヤン・ラ・ヴァン・ド・スネプシュート」。コンピューティングの形式的な側面。6 (3): 247–249。土井：10.1007/BF01215406 。2024 年7 月 11 日に取得。ファン・デ・スネプシュート氏は同誌の編集委員会の一員だった。
- ^ Van de Snepscheut, Jan LA (1993). 「Proxac: プログラム変換用エディター」. Caltech Computer Science Technical Reports . 2012 年5 月 23 日閲覧。
- ^ ab Van de Snepscheut、ヤン LA (1983 年 10 月 14 日)。トレース理論と VSLI 設計 (博士論文)。アイントホーフェン工科大学2024 年7 月 11 日に取得。
- ^ カールソン、マイク（1994年2月24日）。「カリフォルニア工科大学の教授が妻を襲い家を燃やした後に死亡：暴力：娘は家族が火事から逃げる際に父親がマッチに火をつけているのを見たと語る。動機は不明」ロサンゼルス・タイムズ。 2012年5月21日閲覧。
- ^ Van de Snepscheut, Jan LA ( 1985). トレース理論と VLSI 設計。コンピュータサイエンスの講義ノート。第 200 巻。ベルリン: Springer。p. 141。doi :10.1007/ BFb0031414。ISBN 3-540-15988-6. 2024年7月11日閲覧。
- ^ Van de Snepscheut、ヤン LA (1993)。コンピューティングとは何か。ニューヨーク: Springer-Verlag。 p. 478.ISBN 0387940219。
外部リンク
Wikiquote の Jan LA van de Snepscheut に関する引用