アレクセイ・セミョーノフ（数学者）

アレクセイ・セミョーノフ
生まれる	( 1950-10-13 )1950年10月13日（74歳） モスクワ、ソ連
市民権	ソビエト連邦ロシア
教育	RAS正会員（2011）
母校	モスクワ国立大学 (1972)
受賞歴
科学者としてのキャリア
フィールド	数学的論理
機関	ロモノソフモスクワ国立大学 アクセル・ベルクサイバネティクス・教育用コンピューティング研究所 FRC CSC RAS モスクワ国立教育大学 教育研究所、HSE大学 モスクワ物理工科大学 ヘルツェン大学 モスクワ市立大学
博士課程の指導教員	アルバート・ムチニック
博士課程の学生	アンドレイ・ムシュニク、ウラジミール・ヴォフク

アレクセイ (アレクセイ、アレクセイ、アレクセイとも) L. セミョノフ (ロシア語: Алексей Львович Семенов; 1950 年生まれ) は、ロシアの数学者、教育者、ロシア科学アカデミーの学者、ロシア教育アカデミーの学者です。 、部門長数学的論理とアルゴリズム理論、ロモノーソフ州立大学、教授、科学博士。

アレクセイ・セミョーノフは1950年、モスクワの電子工学およびコンピュータ技術者の家庭に生まれた。1972年、モスクワ第7学校およびモスクワ国立大学機械数学部を卒業。 1975年、科学顧問のアルバート・ムチニクのもと、モスクワ国立大学で物理学および数学の理学候補学位を取得した。博士論文のタイトルは「いくつかの決定可能理論における定義可能性について」。 1984年には、ステクロフ数学研究所で物理学および数学の理学博士号も取得しており、博士論文のタイトルは「整数上の1位関数の論理理論」である。

セミョーノフは、数理論理学、サイバネティクス、理論計算機科学、人工知能、教育 の分野で研究を行った。

数理論理学における彼の主な分野は定義可能性理論である。^[1]彼は決定可能性の結果、^{[2] [3]} コブハム・セミョーノフの定理、^[4]記号力学の応用、^[5]定義可能性記述の束[ ^{6 ] でよく知られている。 [7]}彼の学生のアンドレイ・ムチニクはニースの国際数学者会議で提起されたマイケル・O・ラビンの問題を解決した。 ^{[8] [9]}ムチニクとセミョーノフはアンドレイ・コルモゴロフの問題を解決した。 [ ¹⁰ ]彼の研究は記述的複雑性理論を起源としている。 ^[11]彼はまた、アルゴリズム理論とランダム性理論の基礎にも貢献した。^{[12] [13] [14] [15]}

彼の生徒の中には、アレクセイ・リシツァ、ユーリ・プリティキン、タチアナ・スタリコフスカヤ、ウラジミール・ヴォフクなどがいる。

セミョーノフは14歳の時に母親と協力して実用的なコンピューティングの研究を始め、特にドミトリー・ポスペロフのグループで音声認識^{[16]に取り組みました。彼は1986年にソ連で最後のスーパーコンピュータ構築の試みに参加しました。 [17]}晩年、彼はデジタル機器とメディアによって拡張された個人の概念を開発しました。^[18]この概念は、レフ・ヴィゴツキー^[19]、ヨゼフ・M・ファイゲンバーグ^{[20] 、} シェリー・タークル^[21]、 アンディ・クラーク^[22]、ミシェル・セール^[23]のビジョンを大衆学校の教育の文脈にまで広げたものです。

アレクセイ・セミョーノフの教育における理論的かつ実践的な仕事は、ニコライ・コンスタンチノフの数学学校での学生時代、そして後に教師としての関わりに端を発している。 ^{[24]彼の教育哲学は、}ロバート・リー・ムーア^[25] 、ポール・ハルモス^[26]の「実践による学習」法と、シーモア・パパート^[24]のロシア数学界構成主義的アプローチに根ざしている。^[27]

セメノフ教授の小学校における数学とコンピュータサイエンスの学習と指導のアプローチは、探究型学習、学習者による数学実験、言語発達、すべての数学の基礎として、視覚的（画面と紙）および触知可能（操作可能、動く物体）な環境、すなわち紐、バッグ、テーブル、ゲーム、ロボットを重視することに基づいています。これには、数値（算数）、解き方がわからない問題をドリルや練習よりも優先すること、すべての日常的なタスクにコンピュータを使用することなどが含まれますが、これらに限定されません。^{[28] [29] [30] [31] [32] [33] [34] [35]}

1985年、彼はソ連のすべての学校向けの最初のコンピュータサイエンスの教科書の企画者および共著者でした（編集者および共著者-アカデミー会員APエルショフ）。^[36]その後、彼は小中学校向けの数学とコンピュータサイエンスの教科書の執筆者チームのリーダーでした。^{[37] [38]}

1987年、科学アカデミーでの仕事の後、彼は非営利の新技術研究所（INT）^{[39]を設立し、ロシアの学校に構成主義の哲学を紹介し、INTと他のロシアの教育者と}MITメディアラボのパパートのグループ、^{[40] 、} ブルガリア科学アカデミーのブラゴベスト・センドフの教育問題グループ、 TERC、LCSI、キーカリキュラムプレスのロバート・ティンカーのグループとの協力を開始しました。そこでINTは、Logo、教育用レゴ、Geometer's Sketchpadなどのロシア語版や学習教材、教育教材を制作しました。^[41]

セミョーノフはセルゲイ・ソプルノフと協力して、読み書きや計算がまだできない子どもたちのためのロゴスタイルの学習環境のプロジェクトを発足、主導した。このプロジェクトはS・パパートの著書『つながる家族』でも取り上げられている。^{[42] [43] [44]}

2017年から2019年にかけて、ロシアの学校向けの成果主義教育（個別能力ベースの学習）システムの設計と実装を主導した。^{[24] [45]}

2019年、アレクセイ・セミョーノフはロシア基礎研究財団で3年間のプログラム「一般教育のデジタル化のための基礎科学支援」を組織した。^[46]専門家による選考の結果、ロシアの12地域から62チームが財政支援を受けた。「デジタル化された学校のための憲章」^[47]（2021年）は、プログラムの参加者とロシア教育界の他の著名人との対話の結果として、プログラムの作業の一環として作成された成果の1つである。

2021年、モスクワ国立大学でAIとデジタルテクノロジーに関する修士課程を開始。2022年には、数学論理とアルゴリズム理論に関する基礎学部コースを、ポール・ハルモス風の完全な問題解決コースとして再編成しました。

2022年、アレクセイ・セミョーノフは、デジタル大ロシア百科事典のソースとして新ロシア数学百科事典の編纂のリーダーとなり、副会長に就任しました。

2022年から2023年にかけて、彼は小学校のメタ科目「未来の世界」のプロジェクトを開始しました。すべての学校科目において、生徒は「紹介」（子ども同士、教師、タブレット、ネットワーク）、「組織化」（時間内に自分自身を維持する）、「コミュニケーション」（家族の長男の最初の記憶を記録するビデオ、オーディオ、テキスト）などのモジュールで現在取り組んでいる部分を通じて未来について学びます。

彼はモスクワ第7学校、モスクワ国立大学付属アンドレイ・コルモゴロフ寄宿学校、モスクワ国立大学付属機械工学部数理論理学科で教鞭を執った。

彼はモスクワ公開教育研究所の所長兼最高経営責任者（学長）を務め（1993～2013年）、モスクワの教師10万人全員の専門能力開発、現職研修、指導、コンサルティングを担当した。2002年に彼は第179学校を再建し、数学者で教師のニコライ・コンスタンチノフを復帰させ、そこで働かせた。

彼は、ロシアを代表する教員養成機関である モスクワ国立教育大学の学長兼最高経営責任者（学長）を務めました（2013～2016年）。

彼はロシア科学アカデミーのアクセル・ベルク・サイバネティクスおよび教育用コンピューティング研究所（FRC CSC）の所長です（2015年～現在）。

彼はミシガン州立大学機械工学部数理論理学およびアルゴリズム理論学科の学科長です（2018年～現在）。

彼はモスクワ高等経済大学教育研究所の上級専門家です（2017年～現在）。

彼は「Kvant マガジン」の編集長（2012～2018 年）でした。また、ジャーナルDoklady Mathematicsの編集長も務めました（2021 年から）。彼はTheoretical Computer Scienceおよび MDPI – Mathematics の巻（2022、2023 年）の招待編集者を務めました（ MDPI 学術ジャーナルのリストを参照してください）。

彼は数学、コンピューターサイエンス、教育の分野で 200 本以上の科学論文を執筆しています。

アレクセイ・セミョーノフは、数学およびICT教育者の数多くの国際活動に参加しました。

^{アレクセイ・セミョーノフのビジョンは、初等教育[48]}と一般教育[49 ^]の勧告を通じてユネスコによって支持され、普及された。後に彼は、就学前教育^[50]と初等教育^[51]の勧告を作成したイヴァン・カラシュ率いるチームに参加した。彼は、教師教育のためのICTに関するユネスコ勧告の作成に参加した。^[52]アレクセイ・セミョーノフ教授の活動と影響力は、後にユネスコの教育ICT賞によって認められた。^[53]

アレクセイ・セミョーノフは、第二次教育情報技術研究（SITES 2006）の国内コーディネーターを務め、^[54] 2030年教育のための教師に関する国際タスクフォースのメンバーなどを務めた。

1989年、彼は教育技術に関する国際組織ORT （1880年にサンクトペテルブルクで発足）のソ連および中央ヨーロッパへの復活を主導し、重要な役割を果たし、同組織の理事会メンバーおよび学術諮問委員会の共同議長を務めました。

2007年から2009年にかけて、国際数学教育委員会の執行委員会委員を務めた。

• ロシア科学アカデミー数学部門会員（2011年より）。
• ロシア教育アカデミー会員（2010年より）。
• ユネスコ – 2009年キング・ハマド・ビン・イーサ・アル・ハリーファ賞 – 教育における情報通信技術の応用に対して。^[53]
• 2006年コルモゴロフ賞– 数学の分野における優れた業績に対して、一連の著作「偶然の理論に関するANコルモゴロフの改良について」により受賞。数学者アンドレイ・ムチニクとともに受賞。
• 1998年に教育分野でロシア連邦大統領賞を受賞。モスクワ地域の教育情報化のための包括的プログラムの開発と実施チームを率いた。^[55]
• 2009年ロシア連邦政府教育分野賞– 「ロシア連邦の教育システムの情報化」プロジェクトの開発に対して。この賞は、2009年8月28日付ロシア連邦政府命令第1246-r号により授与された。^[56]

妻のEIブリーン・ソコロワはモスクワ国立大学卒で、教育者であり、教育学博士である。子供：ガリーナ・シェイナとの間に：マリア・ポシツェルスカヤ（1974年） - 教師、小学校の算数の教科書の著者、ダリア・セミョーノワ（1979年） - 歌手、教師、音楽の教科書の著者、タチアナ・ルドチェンコとの間に：ミハイル・セミョーノフ（1992年） - 新興起業家、EIブリーン・ソコロワとの間に：マルファ・ブリーン・ソコロワ（1994年） - 建築デザイナー、フョードル・ブリーン・ソコロフ（1995年） - 金融アナリスト、アンナ・セミョーノワ（1999年） - 心理学者、ニコライ・セミョーノフ（2001年） - 写真家、アンドレイ・セミョーノフ（2004年） - ファッションモデル兼ソフトウェア開発者、イワン・セミョーノフ - 高校生。孫：アレクサンドラ・セメノヴァ – 言語学者、エカテリーナ・ポシツェルスキー – 分子生物学者、ドミトリー、アナスタシヤ、グリゴリー、ティモシー、キリル – 学生、オルガ – 幼稚園。

AL セミョーノフの人生において大きな役割を果たしたのは、1979 年のヤナ・リシュリンコヴァとの出会いとその後の彼女との交流でした。

• ルドチェンコ、T.ソプルノフ、S.ウヴァーロフ、A. (2021-02-21)。 「学者アレクセイ・L・セミョノフの70周年記念」。チェビシェフスキー・スボルニク（ロシア語）。22：27―56。土井：10.22405/2226-8383-2021-22-1-27-56。S2CID  242729039。
• 「セミョーノフ：数学教育はロシア連邦の強みになるかもしれない」。国際フォーラムユーラシア教育対話。2013年4月17日。 2022年1月13日閲覧。
• 「学校はデジタル技術を無視、あるいは反対さえしている（ロシア語からの翻訳）」コメルサント紙。コメルサント出版。2021年8月28日。 2022年1月13日閲覧。出典：「Школа игнорирует цифровые технологии или даже противостоит им」（ロシア語）。 2021年8月28日。2022-01-13に取得。
• 「セミョーノフ・アレクセイ・ルヴォヴィッチ」。ロシア科学アカデミー。2022年6月20日。
• 「セミョーノフ・アレクセイ・ルヴォヴィッチ」。ロシア教育アカデミー。
• 「アレクセイ・セミョノフ博士」。ワイズ賞。2022-01-13に取得。

• Alexei Semenov — ISTINA MSU の個人ページ
• Alexei Semenov — Math-Net.ru の個人ページ
• Alexei Semenov — GoogleScholar の個人ページ