Loading article…
アラン・L・セルマン | |
|---|---|
 アラン・L・セルマン | |
| 生まれる | 1941年4月2日 |
| 死亡 | 2021年1月22日（享年79歳） |
| 母校 | 1962年、ニューヨーク市立大学理学士、1964年 、カリフォルニア大学 バークレー校修士、1970年、ペンシルベニア州立大学博士 |
| 知られている | 構造複雑性理論 |
| 配偶者 | シャロン・セルマン |
| 受賞歴 | ACMフェロー フルブライト賞 フンボルト研究賞 バッファロー大学優秀学者賞 ニューヨーク州立大学学長賞 学術・創造活動優秀賞 日本学術振興会 招待フェローシップ ACM SIGACT功労賞複雑性における構造に関するシンポジウム設立に対する IEEEコンピュータソサイエティ功労賞 |
| 科学者としてのキャリア | |
| フィールド | 理論計算機科学 数学 |
| 論文 | 算術的還元可能性と有限構造で有効な式の集合 (1970) |
| 博士課程の指導教員 | ポール・アックス |
| 博士課程の学生 | ヨアヒム・グロルマン ジョン・ゲスケ ロイ・ルビンスタイン アシシュ・ナイク A・パヴァン S・セングプタ リユ・チャン ドゥン・ グイエン アンドリュー ・ヒューズ 荻原光則（ポスドク指導員） エディス・ヘマスパアンドラ（ポスドク指導員） クリスチャン・グラッサー（ポスドク指導員） |
アラン・ルイス・セルマン（1941年4月2日 - 2021年1月22日）[1]は、個々のアルゴリズムの問題ではなく、計算複雑性のクラス間の関係性の観点から計算複雑性を研究する構造複雑性理論の研究で知られる数学者、理論計算機科学者でした。[2] [3]
教育とキャリア
セルマンはニューヨーク市立大学の卒業生で、カリフォルニア大学バークレー校で修士号を取得した後、1970年にペンシルベニア州立大学で博士号を取得した。[4]彼の博士論文「算術的還元可能性と有限構造で有効な公式の集合」は、スティーブン・コール・クリーネの弟子であるポール・アクストの指導を受けた。[5]
彼はカーネギーメロン大学で博士研究員、フロリダ州立大学で数学の助教授を務めた後、アイオワ州立大学のコンピュータサイエンス学部に移り、最終的に教授になった。1980年代後半にノースイースタン大学に移り、学部長代理となり、1990年に再びバッファロー大学に移り、コンピュータサイエンス学部長となった。彼は2014年に退職し、2021年1月22日に亡くなった。[4]
彼は毎年開催される計算複雑性会議の初代議長を務め[4] 、 2001年から18年間にわたり「Theory of Computing Systems」誌の編集長を務め[6]た。 [3]
主な出版物
セルマンの研究論文には、計算能力に応じたさまざまな種類の縮約の分類、約束問題の定式化、一義的なチューリングマシンで解ける問題の複雑性クラスUP 、およびそれらの暗号の計算複雑性への応用に関するよく引用される研究が含まれていました。[2] [3]
- ラドナー、RE ;リンチ、NA ; セルマン、AL (1975)、「多項式時間還元可能性の比較」、理論計算機科学、1 (2): 103–123、doi : 10.1016/0304-3975(75)90016-X、MR 0395319
- Even, Shimon ; Selman, Alan L.; Yacobi, Yacov (1984)、「約束問題の複雑さと公開鍵暗号への応用」、Information and Control、61 (2): 159–173、doi : 10.1016/S0019-9958(84)80056-X、MR 0772678
- グロルマン、ヨアキム; セルマン、アラン L. (1988)、「公開鍵暗号システムの複雑性測定」、SIAM Journal on Computing、17 (2): 309–335、doi :10.1137/0217018、MR 0935342
セルマンはいくつかの編集本の編集者であるだけでなく、教科書「計算可能性と複雑性理論」（スティーブ・ホーマーとの共著、Springer、2001年、第2版、2011年）の共著者でもある。[7]
認識
セルマンはフルブライト奨学生およびフンボルトフェローでした。[ 4]彼は1998年に「計算複雑性理論への影響力のある貢献者であり、学術的なコンピュータサイエンスコミュニティ内の献身的な専門家」としてACMフェローに任命されました。[8] 2002年に、ACM SIGACT （計算機協会のアルゴリズムと計算理論に関する特別興味グループ）は、計算複雑性会議の設立に貢献したことと、国立科学財団の政策報告書の起草を通じて理論計算機科学研究への資金提供に貢献したことを称え、彼に功労賞を授与しました。[9]
ジャーナル「Theory of Computing Systems」は彼を偲んで記念号を刊行する予定である。[6]
参考文献
- ^ セルマン、シャロン、「In memoriam」、バッファロー大学、 2021年8月6日閲覧
- ^ ab フェナー、スティーブン（2021年3月）、「アランの思い出」、ACM SIGACTニュース、52（1）：87–93、doi：10.1145/3457588.3457603、S2CID 232245680
- ^ abc Hemaspaandra、Lane A.（2014年9月）、「美しい構造：アラン・セルマンの貢献への感謝」、ACM SIGACT News、45（3）：54–70、doi：10.1145/2670418.2670436、S2CID 1948170
- ^ abcd Dr. Alan L. Selman 1941-2021、アイオワ州立大学コンピューターサイエンス学部、2021年2月12日、2021年8月6日閲覧
- ^ 数学系譜プロジェクトのアラン・セルマン
- ^ ab 「アラン・L・セルマン記念号」、ジャーナルアップデート：コンピューティングシステムの理論、シュプリンガー、 2021年8月6日取得
- ^ 計算可能性と複雑性理論のレビュー:
- アナトリー V. アニシモフ (第 1 版)、Zbl 1033.68045
- Eowyn W. Čenek (2002、第 1 版)、ACM SIGACT ニュース、doi :10.1145/582475.582480
- Jeffrey Shallit (2013、第 2 版)、ACM SIGACT ニュース、doi :10.1145/2556663.2556672
- ヘリベルト・フォルマー (第 2 版)、Zbl 1248.68192
- ^ 「アラン・セルマン」、ACMフェロー、Association for Computing Machinery 、 2021年8月6日閲覧
- ^ 2002 ACM-SIGACT 功労賞: アラン・セルマン、ACM SIGACT 、 2021-08-06取得
外部リンク
- Google Scholarにインデックスされた Alan Selman の出版物