Loading article…
アナトール・スリセンコ (スリセンコ) (ロシア語: Анатоль Олесьевич Слисенко) | |
|---|---|
 | |
| 生まれる | 1941年8月15日 |
| 国籍 | ロシア語、フランス語 |
| 母校 | サンクトペテルブルク国立大学 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス 数学 |
| 機関 | ステクロフ数学研究所 サンクトペテルブルク国立大学 レニングラード ソ連科学アカデミー情報科学・オートメーション研究所 パリ東クレテイユ ヴァル＝ド＝マルヌ大学 レニングラード工科大学 |
| 博士課程の指導教員 | ニコライ・アレクサンドロヴィッチ・シャニン |
| 博士課程の学生 | ドミトリー・グリゴリエフ |
アナトール・スリセンコ（ロシア語：Анатоль Олесьевич Слисенко [1]）（1941年8月15日生まれ）は、ソビエト連邦、ロシア、フランスの数学者、コンピュータ科学者である。彼の研究対象には、自動定理証明、再帰解析、計算複雑性、アルゴリズム、グラフ文法、検証、コンピュータ代数、エントロピー[2]、コンピュータサイエンスに関連する確率モデルなどがある。[3] [4]
幼少期
アナトール・スリセンコはシベリアで生まれ、父親はそこで軍事地形学連隊の長を務めていました。彼は1963年に レニングラード国立大学数学・機械工学部を卒業（優等学位）。
学歴
彼は1967年にレニングラードのステクロフ数学研究所で博士号（理学候補、指導教員はニコライ・アレクサンドロヴィチ・シャニン）を取得し、1981年にモスクワのステクロフ数学研究所で理学博士号（高等博士号）を取得した。
1963年から1981年まで、彼はソ連科学アカデミーのステクロフ数学研究所（LOMI）のレニングラード部門に所属していました。1967年から1992年まで、彼は計算複雑性に関するレニングラードセミナーを主催し、ソ連におけるこの分野の発展に重要な役割を果たしました。
1981年から1993年まで、ソ連科学アカデミーのレニングラード情報科学・自動化研究所のアルゴリズム理論研究室長を務めた。1993年から2009年まで、フランスのパリ東クレテイユ大学の教授を務め、2009年以来、同大学の名誉教授である。また、1997年から2007年まで、アルゴリズム複雑性・論理研究室の室長（ある意味では創立者）も務めた。
1981年から1987年までレニングラード工科大学の非常勤教授を務め、1988年から1992年まではレニングラード国立大学数学・力学学部の教授兼コンピュータサイエンス学科長を務め、同学科の創設を主導した（同学科のチームはACM国際大学対抗プログラミングコンテストで4回世界チャンピオンになった）。[5]多くの数学者（ユーリ・マティヤセビッチ、ディマ・グリゴリエフ、E.ヒルシュなど）が学生向けの彼のセミナーで研究を始めた。
スリセンコは多くの会議、特に1983年にポーランドのワルシャワで開催された国際数学者会議に講演者として招待された。
研究
彼の成果としては、回文をリアルタイムで認識する6ヘッド1テープのチューリングマシン[6] 、さまざまな文字列マッチング問題（コンパクトな形式ですべての周期性を見つけることを含む）をリアルタイムで解くアルゴリズム（一種のポインタマシン用）[7]、スリセンコグラフ文法（多時間で解けるNP困難問題のクラスを記述）[8]、ハードリアルタイムコントローラの検証の決定可能クラス[9] 、半代数的障害物間の最短経路を構築するアルゴリズム[10] 、 [11]、アルゴリズムと推論システムの分析のためのエントロピーのような概念[12]、[13]などが挙げられます。
彼はN.Shanin 、S.Maslov、G.Mints、V.Orevkovと自動定理証明について協力し、D.Beauquier [9] 、 D.Grigoriev、D.Burago、A.Rabinovich、P.Vasilyev [14]らとアルゴリズム問題に関して協力した。[15]
参考文献
- ^ ""Слисенко Анатоль Олесьевич"". 2018-04-01 のオリジナルからアーカイブ。2016 年 7 月 14 日に取得。
- ^ アナトール・スリセンコ。計算のエントロピー測定について
- ^ Math-Net.Ru(ロシア語)の出版物
- ^ フランスの出版物リスト
- ^ アナトール・スリセンコのACMシニアメンバー賞
- ^ A. Slisenko. 入力付きマルチヘッドチューリングマシンによる対称述語の認識。Proc. Steklov Inst. of Mathematics, AMS, 129:25–208, 1976. ロシア語: Trudy Matematicheskogo Instituta Akademii Nauk SSSR, 129:30–202, 1973.
- ^ A. Slisenko. 周期性の検出とリアルタイムでの文字列マッチング。J. of Soviet Mathematics, 22(3):1316-1386, 1983. ロシア語: Zapiski Nauchnykh Seminarov LOMI, 105:62–173, 1981.
- ^ A. Slissenko. 文脈自由文法は困難な問題の多項式時間サブクラスを記述するためのツールである。Inf. Process. Lett., 14(2):52–56, 1982.
- ^ ab Danièle Beauquier、Anatol Slissenko。時間制限付きアルゴリズムの仕様記述のための第一階論理：基本特性と決定可能クラス。Annals of Pure and Applied Logic、113(1–3):13–52、2002年。
- ^ J. Heintz、T. Krick、A. Slissenko、P. Solerno。平面上の半代数的障害物の周りの最短経路の探索、J. of Math. Sci.、70(4):1944–1949、1994。ロシア語版: Zapiski Nauchnykh Seminarov LOMI、192:164–174、1991。
- ^ D. Grigoriev、A. Slissenko。平面内の半代数的障害物があるホモトピークラスでの最小リンクパスの計算、St. Petersburg Math. J.、10(2):315–332、1999年。ロシア語版：Algebra and Analysis、10(2):124–147、1998年。
- ^ A. Slissenko. 知識処理システムの情報品質の尺度について。情報科学：国際ジャーナル、57–58:389–402、1991年。
- ^ A. Slissenko. ドメイン分割によるアルゴリズムのエントロピー収束について。19ページ、2016年。[1]
- ^ Anatol Slissenko、Pavel Vasilyev。述語論理モデル検査による時間指定抽象ステートマシンのシミュレーション。Journal of Universal Computer Science。
- ^ アナトール・スリセンコのホームページ
外部リンク
- 数学系譜プロジェクトのアナトール・スリセンコ