[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）18 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
987(1): [sage] 2024/09/01(日) 14:49:57.15 ID:xqhMXmb+(68/80)
>>986
数学以外の興味Permalink
義務的に数学の研究を行うことは精神衛生に悪いとだんだん分かってきたので、博士後期以降は
「何かに興味があってノッているそのときどきに、興味の赴くままにやりたいことをやる」
というスタンスで数学をして生きてきました。そこから、
「数学的な概念をコンピュータプログラムとして実装して計算させたり遊んだりする」
ことが自分の関心のあることだということに気づきました。
988(1): [sage] 2024/09/01(日) 14:50:38.75 ID:xqhMXmb+(69/80)
>>987
例えば博士時代は、Dynkin型道多元環や前射影的多元環上の加群圏とCoxeter群との関係から、Coxeter群の純組合せ論的な主張を考え、例外型の場合にはSageMathでコンピュータプログラムを書いて計算させたりしていました。
また「加群圏や三角圏のAR quiverが分かれば対象の間のHomが分かる」というよく知られた事実を、実際にAR quiverが与えられたらHomの次元を計算するPythonコードを書いたり、
ポスドク時代は、あるクラスの多元環の加群圏の様々な計算をするためのWebアプリを作ったり、
Leanという定理証明系（数学の定理やその証明をプログラミング言語を使って正しさの検証ができる）を使って、実際に加群論の定理を証明したり、布教のためにLeanの数学者向けのワークショップを開いたりしていました。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.102s*