Loading article…
アルト・サロマ | |
|---|---|
 2005 年のアルト・サロマ。 | |
| 生まれる | 1934年6月6日 |
| 国籍 | フィンランド語 |
| 母校 | トゥルン・イリオピスト |
| 科学者としてのキャリア | |
| フィールド | 数学 コンピュータサイエンス |
| 機関 | トゥルン・イリオピスト |
| 論文 | 有限集合にわたる複数の変数の関数の合成について (1960) |
| 博士課程の指導教員 | クスタ・インケリ |
| 博士課程の学生 | ニール・D・ジョーンズ ジュハニ・カルフマキ・ ヤルコ・カリ ライラ・カリ ポール ・ヴィタニー |
アルト・クスター・サロマー（1934年6月6日生まれ）は、フィンランドの 数学者、コンピュータ科学者です。40年以上にわたる彼の研究キャリアは、形式言語とオートマトン理論に焦点を当てています。
幼少期と教育
サロマは1934年6月6日にフィンランドのトゥルクで生まれた。1954年にトゥルク大学で学士号を取得し、1960年に同大学で博士号を取得した。サロマの父親はトゥルク大学の哲学教授であった。[1]サロマは1957年にバークレーでジョン・マイヒルが行ったセミナーでオートマトン理論と形式言語について学んだ。[2]
キャリア
1965年、サロマはトゥルク大学の数学教授となり、1999年に退職した。また、1960年代後半にはカナダのオンタリオ州ロンドンにあるウェスタンオンタリオ大学で2年間、1970年代にはデンマークのオーフスにあるオーフス大学で2年間勤務した。[1] [3]
サロマは1979年から1985年までヨーロッパ理論計算機科学協会の会長を務めた。 [4]
出版物
サロマは、オートマトン理論（1969年）、形式言語（1973年）、Lシステムの数学理論（1980年、グジェゴシュ・ローゼンベルグとの共著）、形式言語理論の宝石（1981年） 、公開鍵暗号（1990年）、DNAコンピューティング（1998年、グジェゴシュ・ローゼンベルグとゲオルゲ・パウンとの共著）など、46冊の教科書を執筆または共著しています。サロマはローゼンベルグとともに、形式言語理論に関する全3巻、2000ページの参考文献である形式言語ハンドブック（1997年）を編集しました。[5]これらの書籍は、それぞれの分野で標準的な参考文献となることがよくあります。たとえば、形式言語は1991年に数学で最も引用されている100のテキストの1つであると報告されました。[1]
サロマは、プロとしてのキャリアを通じて科学雑誌に400本以上の論文を発表しています。また、「コンピューター科学者がサウナについて知っておくべきこと」など、非科学的な論文も執筆しています。[6]引退後、アルト・サロマはさらに100本近くの科学論文を発表しています。
受賞と表彰
サロマーはフィンランドアカデミーからアカデミアンの称号を授与されており[7] [8] 、この称号を授与された存命のフィンランド人12人のうちの1人である。彼は2004 年にEATCS 賞も受賞しました。[9]サロマーは 7 つの名誉学位を取得しています。[9] 2013 年 6 月 13 日、サロマーはウェスタン オンタリオ大学から名誉博士号を授与されました。[10]
私生活
サロマは1959年に結婚しました。[11]彼にはキルスティとカイという2人の子供がいます。[11]カイはキングストンのクイーンズ大学でコンピュータサイエンスの教授を務めており、形式言語やオートマトン理論の分野でも研究を行っています。[12]
参考文献
- ^ abc カルフマキ、J. (1991)。 「アルト・サロマーの短い伝記」。情報と計算。151 (1-2): 2-4。土井：10.1006/inco.1998.2760。
- ^ Salomaa, A. (2004). 「Myhill、Turku、サウナ詩：EATCS賞から生まれた思い出」欧州理論計算機科学協会紀要84 :12–15.
- ^ Salomaa, A. (1999)、「イベントと言語」、Calude, CS (編)、『理論計算機科学における人々とアイデア』、Springer、pp. 253–273。
- ^ Brauer, Ute; Brauer, Wilfried (1997). 「EATCSのSilver Jubilee」. EATCS. 2011年12月12日時点のオリジナルよりアーカイブ。2013年11月24日閲覧。
- ^ インファンテ・ロペス、ガブリエル (2005)。「グジェゴシュ・ローゼンベルグとアルト・サロマの『形式言語ハンドブック』のレビュー」。論理、言語、情報ジャーナル。14 (4): 457–466。JSTOR 40180402。
- ^ Salomaa, A. (1981). 「コンピュータ科学者がサウナについて知っておくべきこと」.欧州理論計算機科学協会紀要. 15 : 8–21.
- ^ “Finnish Academyians of Science — Academy of Finland”. 2019年3月24日時点のオリジナルよりアーカイブ。2018年7月7日閲覧。
- ^ フィンランドアカデミー、「アカデミー会員 | フィンランドアカデミー」。2014年3月29日時点のオリジナルよりアーカイブ。2014年6月2日閲覧。。
- ^ ab van Leeuwen, Jan (2004)、「優秀業績賞: EATCS Award 2004」、欧州理論計算機科学協会紀要、84 : 10–11
- ^ “Arto Salomaa - コンピュータサイエンス - ウェスタン大学”. ウェスタンオンタリオ大学コンピュータサイエンス学部. 2018年7月8日時点のオリジナルよりアーカイブ。 2018年7月7日閲覧。。
- ^ ab サロマー、アルト。 "履歴書" 。2018年7月4日に取得。。
- ^ “Kai T. Salomaa”.クイーンズ大学. 2014年4月21日時点のオリジナルよりアーカイブ。2014年4月21日閲覧。
外部リンク
- 数学系譜プロジェクトのアルト・サロマ
- Arto Salomaa ホームページ
- Microsoft Academicによって索引付けされた Arto Salomaa の出版物