LAB LOG评价网站 LabLog 的页面
Scott Carnahan 研究室
正在显示日语原文 · 查看译文
モンストラス・ムーンシャインを表現論から探る研究室。
About关于研究室
表現論から、ムーンシャインを探る。
Scott Carnahan 研究室は、
主な
最近は、
术语说明
- モンストラス・ムーンシャイン
- モンスター群と
いう 巨大な 有限群と、 保型関数とを 結びつける 不思議な 対応。 この 研究室の 主な 課題 - 頂点代数
- ムーンシャインの
研究に 関わる 代数の 仕組みの 1つ。 最近は Lean4 での 形式化の 対象にもなっている - 保型関数
- ある
種の 変換に 対して 決まった 性質を もつ関数。 ムーンシャインの 研究に 関わる - 形式化
- 数学の
定義や 証明を、 コンピュータが 検査できる 形で 書き下す こと
Research研究课题
表現論を
※示意图モンストラス・ムーンシャイン
主な
※示意图Lean4 による形式化
頂点代数と
Members教师
- 副教授Scott Carnahan
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与Scott Carnahan 研究室相似的研究室
佐垣 大輔 研究室理工学群 数学類リー代数・量子群の
伊藤 敦 研究室理工学群 数学類代数幾何学。
桑原 敏郎 研究室理工学群 数学類表現論、
木村 健一郎 研究室理工学群 数学類代数多様体の本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《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 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。