口コミサイト LabLog の
Scott Carnahan 研究室
モンストラス・ムーンシャインを表現論から探る研究室。

About研究室について
表現論から、ムーンシャインを探る。
Scott Carnahan 研究室は、
主な
最近は、
用語の説明
- モンストラス・ムーンシャイン
- モンスター群と
いう 巨大な 有限群と、 保型関数とを 結びつける 不思議な 対応。 この 研究室の 主な 課題 - 頂点代数
- ムーンシャインの
研究に 関わる 代数の 仕組みの 1つ。 最近は Lean4 での 形式化の 対象にもなっている - 保型関数
- ある
種の 変換に 対して 決まった 性質を もつ関数。 ムーンシャインの 研究に 関わる - 形式化
- 数学の
定義や 証明を、 コンピュータが 検査できる 形で 書き下す こと
Research研究テーマ
表現論を
※イメージ画像モンストラス・ムーンシャイン
主な
※イメージ画像Lean4 による形式化
頂点代数と
Members教員
- 准教授Scott Carnahan
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
RelatedScott Carnahan 研究室に近い研究室
佐垣 大輔 研究室理工学群 数学類リー代数・量子群の
伊藤 敦 研究室理工学群 数学類代数幾何学。
桑原 敏郎 研究室理工学群 数学類表現論、
木村 健一郎 研究室理工学群 数学類代数多様体のこの
画像について
トップと
- トップの
画像:「Math01」 MathKnight ✡ (Talk) No machine-readable author provided. MathKnight assumed (based on copyright claims)./CC BY 2.5(トリミング) - モンストラス・ムーンシャイン:「Computational Group Theory」 DrRezaZomorrodian/CC BY-SA 4.0(トリミング)
- Lean4 に
よる 形式化:「Closeup of keys」 John Snyder/CC BY-SA 4.0(トリミング) - 関連する
研究室 (佐垣 大輔 研究室) :「Root system A1xA1xA1」 self/パブリックドメイン (トリミング) - 関連する
研究室 (伊藤 敦 研究室) :「Algebraic geometry」 P.wormer/CC BY-SA 3.0(トリミング) - 関連する
研究室 (桑原 敏郎 研究室) :「Matematička gimnazija - Mathematical Gymnasium Belgrade - MGB - Physics Laboratory 1」 MGB/パブリックドメイン (トリミング) - 関連する
研究室 (木村 健一郎 研究室) :「Node (algebraic geometry)」 The original uploader was Jakob.scholbach at Wikipedia./CC BY-SA 3.0(トリミング)
LabLog について
LabLog
この