本文印刷
全画面プリント
過去の記録
過去の記録 ～03/19｜本日 03/20 | 今後の予定 03/21～
2026年03月19日(木)
日仏数学拠点FJ-LMIセミナー
13:30-14:15 数理科学研究科棟(駒場) 056号室
Amaury HAYAT 氏 (ENPC, Paris)
How can AI Help Mathematicians? (英語)
https://fj-lmi.cnrs.fr/seminars/
Amaury HAYAT 氏 (ENPC, Paris)
How can AI Help Mathematicians? (英語)
[ 講演概要 ]
The advent of artificial intelligence raises an important question: can AI assist mathematicians in solving open problems in mathematics? This talk explores this question from multiple perspectives. We will explore how different types of AI models can be trained to provide valuable insights into mathematical questions from different areas of mathematics and applied mathematics. We will also present recent works on AI models specifically designed for automated theorem proving.
[ 参考URL ]The advent of artificial intelligence raises an important question: can AI assist mathematicians in solving open problems in mathematics? This talk explores this question from multiple perspectives. We will explore how different types of AI models can be trained to provide valuable insights into mathematical questions from different areas of mathematics and applied mathematics. We will also present recent works on AI models specifically designed for automated theorem proving.
https://fj-lmi.cnrs.fr/seminars/
2026年03月18日(水)
日仏数学拠点FJ-LMIセミナー
13:30-14:15 数理科学研究科棟(駒場) 056号室
Amaury HAYAT 氏 (ENPC, Paris)
Stabilization of PDEs and AI for mathematics (英語)
https://fj-lmi.cnrs.fr/seminars/
Amaury HAYAT 氏 (ENPC, Paris)
Stabilization of PDEs and AI for mathematics (英語)
[ 講演概要 ]
Control theory consists in asking: if we can act on a system, what can we make it do? One of the main problems is the stabilization problem: how can we act on a system to guarantee the long-term behavior of its solutions? In this presentation, we will examine this problem from several angles. First, we will look at the problem of stabilizing PDEs from an abstract perspective and present a recent approach called F-equivalence (or sometimes Fredholm backstepping). The principle is simple: instead of trying to find a control that makes the system stable, we look at another problem: we try find a control that renders the PDE system dynamically equivalent to a simpler system for which stability is already known. Besides being interesting in itself, this approach has also resulted in new results in control theory, and we will review the progress that has been made in the last three years. In a second part, we will focus on a more concrete problem: the stabilization of hyperbolic equations modeling road traffic. We will show how abstract mathematical concepts, such as entropic solutions, can have tangible impacts in real-world scenarios, and we will discuss their application to traffic regulation and the reduction of traffic jams.
[ 参考URL ]Control theory consists in asking: if we can act on a system, what can we make it do? One of the main problems is the stabilization problem: how can we act on a system to guarantee the long-term behavior of its solutions? In this presentation, we will examine this problem from several angles. First, we will look at the problem of stabilizing PDEs from an abstract perspective and present a recent approach called F-equivalence (or sometimes Fredholm backstepping). The principle is simple: instead of trying to find a control that makes the system stable, we look at another problem: we try find a control that renders the PDE system dynamically equivalent to a simpler system for which stability is already known. Besides being interesting in itself, this approach has also resulted in new results in control theory, and we will review the progress that has been made in the last three years. In a second part, we will focus on a more concrete problem: the stabilization of hyperbolic equations modeling road traffic. We will show how abstract mathematical concepts, such as entropic solutions, can have tangible impacts in real-world scenarios, and we will discuss their application to traffic regulation and the reduction of traffic jams.
https://fj-lmi.cnrs.fr/seminars/
応用解析セミナー
16:00-17:30 数理科学研究科棟(駒場) 128号室
Dietmar Hoemberg 氏 (Weierstrass Institute, Berlin)
A phasefield approach to two-scale topology optimization (English)
Dietmar Hoemberg 氏 (Weierstrass Institute, Berlin)
A phasefield approach to two-scale topology optimization (English)
[ 講演概要 ]
Subject of my presentation is a novel approach for optimizing both the macroscopic shape and the porous mesoscopic structure of components. In the first part of my presentation I will introduce the concept of phasefield based topology optimization. The second part of my presentation is devoted to two-scale topology optimization. The key feature here is the introduction of an additional local volume control (LVC), which allows to adjust the desired spatial scales. The main novelty is that the radius of the LVC may depend both on space and a local stress measure. This allows for creating optimal topologies with heterogeneous mesostructures enforcing any desired spatial grading and accommodating stress concentrations by stress dependent pore size. I will present some analytical results for the resulting optimal control problem and conclude with numerical results showing the versatility of our approach for creating optimal macroscopic designs with tailored mesostructures.
Subject of my presentation is a novel approach for optimizing both the macroscopic shape and the porous mesoscopic structure of components. In the first part of my presentation I will introduce the concept of phasefield based topology optimization. The second part of my presentation is devoted to two-scale topology optimization. The key feature here is the introduction of an additional local volume control (LVC), which allows to adjust the desired spatial scales. The main novelty is that the radius of the LVC may depend both on space and a local stress measure. This allows for creating optimal topologies with heterogeneous mesostructures enforcing any desired spatial grading and accommodating stress concentrations by stress dependent pore size. I will present some analytical results for the resulting optimal control problem and conclude with numerical results showing the versatility of our approach for creating optimal macroscopic designs with tailored mesostructures.
2026年03月11日(水)
代数学コロキウム
17:00-18:00 数理科学研究科棟(駒場) 117号室
Kam Fai Tam 氏 (Xiamen Malaysia University)
A conjectural construction of Arthur Packets in Fargues-Scholze's categorical local Langlands correspondence
Kam Fai Tam 氏 (Xiamen Malaysia University)
A conjectural construction of Arthur Packets in Fargues-Scholze's categorical local Langlands correspondence
[ 講演概要 ]
The presentation consists of two parts. In the first part, we review -- from a novice point of view -- the categorical local Langlands correspondence due to Fargues and Scholze. Topics include: the structure of Bun_G and LocSys_{\hat G}, spectral action via Hecke operators, geometric Satake transform, and some conjectural consequences proposed by Fargues. (Apologies: the p-adic geometry underlying the relative Fargues-Fontaine curve is not included.)
In the second part, I will present a conjectural construction of Arthur packets in Fargues-Scholze's framework. This construction is based on the vanishing cycle functor introduced by Cunningham-Fiori-Moussaoui-Mracek-Xu, which is in turn inspired by Adams-Barbasch-Vogan for real groups. (A confession for curious audiences: this presentation offers essentially no new results. My goal is to illustrate how the legacy of James Arthur may influence other theories.)
The presentation consists of two parts. In the first part, we review -- from a novice point of view -- the categorical local Langlands correspondence due to Fargues and Scholze. Topics include: the structure of Bun_G and LocSys_{\hat G}, spectral action via Hecke operators, geometric Satake transform, and some conjectural consequences proposed by Fargues. (Apologies: the p-adic geometry underlying the relative Fargues-Fontaine curve is not included.)
In the second part, I will present a conjectural construction of Arthur packets in Fargues-Scholze's framework. This construction is based on the vanishing cycle functor introduced by Cunningham-Fiori-Moussaoui-Mracek-Xu, which is in turn inspired by Adams-Barbasch-Vogan for real groups. (A confession for curious audiences: this presentation offers essentially no new results. My goal is to illustrate how the legacy of James Arthur may influence other theories.)
2026年03月10日(火)
作用素環セミナー
16:45-18:15 数理科学研究科棟(駒場) 126号室
宮本勇輝 氏 (千葉大学)
Group von Neumann algebras of non-unimodular almost unimodular groups and their twisted versions
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
宮本勇輝 氏 (千葉大学)
Group von Neumann algebras of non-unimodular almost unimodular groups and their twisted versions
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
作用素環セミナー
15:00-16:30 数理科学研究科棟(駒場) 126号室
Kai Toyosawa 氏 (Universität Münster)
Relative biexactness of amalgamated free product von Neumann algebras
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
Kai Toyosawa 氏 (Universität Münster)
Relative biexactness of amalgamated free product von Neumann algebras
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
2026年03月09日(月)
東京名古屋代数セミナー
16:00-17:30 オンライン開催
Kyoungmo Kim 김 경모 氏 (University of Cologne)
Algebras derived equivalent to skew-gentle algebras (English)
https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html
Kyoungmo Kim 김 경모 氏 (University of Cologne)
Algebras derived equivalent to skew-gentle algebras (English)
[ 講演概要 ]
The class of gentle algebras has several nice properties: its derived categories are well understood, it has deep connections with surface geometry, and it is closed under derived equivalence. A generalized class of skew-gentle algebras also has well-behaved derived categories and a geometric model. However, the class of skew-gentle algebras is not closed under derived equivalence. In this talk, we introduce a larger class of semi-gentle algebras with a geometric model and talk about closedness of the class under derived equivalence. This is a joint work with Severin Barmeier, Cheol-Hyun Cho, Kyungmin Rho, Sibylle Schroll, and Zhengfang Wang.
Zoom ID 834 4165 7899
Password 799113
[ 参考URL ]The class of gentle algebras has several nice properties: its derived categories are well understood, it has deep connections with surface geometry, and it is closed under derived equivalence. A generalized class of skew-gentle algebras also has well-behaved derived categories and a geometric model. However, the class of skew-gentle algebras is not closed under derived equivalence. In this talk, we introduce a larger class of semi-gentle algebras with a geometric model and talk about closedness of the class under derived equivalence. This is a joint work with Severin Barmeier, Cheol-Hyun Cho, Kyungmin Rho, Sibylle Schroll, and Zhengfang Wang.
Zoom ID 834 4165 7899
Password 799113
https://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html
2026年02月20日(金)
講演会
16:30-17:30 数理科学研究科棟(駒場) 056号室
日比谷 紀之 氏 (東京大学 名誉教授／東京海洋大学 客員教授／(国研)海洋研究開発機構 アドバイザー)
月と海底地形が織りなす深海乱流の世界 (日本語)
日比谷 紀之 氏 (東京大学 名誉教授／東京海洋大学 客員教授／(国研)海洋研究開発機構 アドバイザー)
月と海底地形が織りなす深海乱流の世界 (日本語)
[ 講演概要 ]
極域で強く冷却されて沈降した深層水は、約1500年をかけて全球を巡り、インド洋や北太平洋で湧昇した後、再び極域へと戻ることで、「海洋のベルトコンベア」と呼ばれる深層海洋循環を形成している。この循環に伴う低緯度から高緯度への熱輸送は、地球の温和な気候を維持する上で極めて重要な役割を果たしている。
深層海洋循環を維持するためには、深層水の湧昇を可能にする海洋表層から深層への浮力注入が必要であり、その主たる要因として深海乱流混合が考えられている。しかしながら、毎秒約2000万トンと推定される深層水をすべて表層へと戻すのに十分な乱流混合は、未だ観測・説明されておらず、いわゆる Missing Mixing 問題として残されてきた。
本セミナーでは、深層海洋循環モデルの高精度化に向けて、これまでに解明してきた研究成果を紹介する。具体的には、月による潮汐強制によって励起された内部潮汐波が海洋内部領域に伝播し、主密度躍層深度において散逸することで生じる乱流混合（far-field mixing）に着目し、その強度の緯度依存性とグローバルマッピングを示す。一方で、強い潮流が粗い海底凹凸地形を越えて流れることで生成される内部風下波が主役となる海底近傍での乱流混合（near-field mixing）について、その鉛直構造を明らかにするとともに、これらの力学過程を反映した新たなパラメタリゼーションを提案する。月と海底凹凸地形が織りなす深海乱流混合の実態を通して、深層海洋循環維持機構の理解深化を目指す。
極域で強く冷却されて沈降した深層水は、約1500年をかけて全球を巡り、インド洋や北太平洋で湧昇した後、再び極域へと戻ることで、「海洋のベルトコンベア」と呼ばれる深層海洋循環を形成している。この循環に伴う低緯度から高緯度への熱輸送は、地球の温和な気候を維持する上で極めて重要な役割を果たしている。
深層海洋循環を維持するためには、深層水の湧昇を可能にする海洋表層から深層への浮力注入が必要であり、その主たる要因として深海乱流混合が考えられている。しかしながら、毎秒約2000万トンと推定される深層水をすべて表層へと戻すのに十分な乱流混合は、未だ観測・説明されておらず、いわゆる Missing Mixing 問題として残されてきた。
本セミナーでは、深層海洋循環モデルの高精度化に向けて、これまでに解明してきた研究成果を紹介する。具体的には、月による潮汐強制によって励起された内部潮汐波が海洋内部領域に伝播し、主密度躍層深度において散逸することで生じる乱流混合（far-field mixing）に着目し、その強度の緯度依存性とグローバルマッピングを示す。一方で、強い潮流が粗い海底凹凸地形を越えて流れることで生成される内部風下波が主役となる海底近傍での乱流混合（near-field mixing）について、その鉛直構造を明らかにするとともに、これらの力学過程を反映した新たなパラメタリゼーションを提案する。月と海底凹凸地形が織りなす深海乱流混合の実態を通して、深層海洋循環維持機構の理解深化を目指す。
2026年02月10日(火)
数値解析セミナー
16:30-18:00 数理科学研究科棟(駒場) 122号室
Franz Chouly 氏 (Universidad de la República)
Finite Element Methods for the Elasto-Plastic Torsion Problem (English)
https://sites.google.com/g.ecc.u-tokyo.ac.jp/utnas-bulletin-board/
Franz Chouly 氏 (Universidad de la República)
Finite Element Methods for the Elasto-Plastic Torsion Problem (English)
[ 講演概要 ]
We will describe finite element methods for the elasto-plastic torsion problem, as a prototype of variational inequality with constraints on the gradient of the solution. This problem has been an object of study from the theoretical viewpoint since the 1970s. From the numerical analysis viewpoint, it remains difficult to obtain optimal a priori error estimates. We will present the numerical analysis and numerical results for three methods based on standard Lagrange finite elements of orden 1 or 2: a direct discretization and a Nitsche discretization of a modified variational inequality, when the source term is constant, and a penalty technique for a non constant source term. Particularly the Nitsche technique yields fully optimal a priori error bounds. This is a joint work with Patrick Hild (Université Paul Sabatier, Toulouse, France) and Tom Gustafsson (Aalto University, Finland).
[ 参考URL ]We will describe finite element methods for the elasto-plastic torsion problem, as a prototype of variational inequality with constraints on the gradient of the solution. This problem has been an object of study from the theoretical viewpoint since the 1970s. From the numerical analysis viewpoint, it remains difficult to obtain optimal a priori error estimates. We will present the numerical analysis and numerical results for three methods based on standard Lagrange finite elements of orden 1 or 2: a direct discretization and a Nitsche discretization of a modified variational inequality, when the source term is constant, and a penalty technique for a non constant source term. Particularly the Nitsche technique yields fully optimal a priori error bounds. This is a joint work with Patrick Hild (Université Paul Sabatier, Toulouse, France) and Tom Gustafsson (Aalto University, Finland).
https://sites.google.com/g.ecc.u-tokyo.ac.jp/utnas-bulletin-board/
2026年01月23日(金)
博士論文発表会
9:15-10:30 数理科学研究科棟(駒場) 118号室
范 凌虎 氏 (東京大学大学院数理科学研究科)
Modular quotient singularities and their crepant resolutions
（モジュラー商特異点とそのクレパント解消）
范 凌虎 氏 (東京大学大学院数理科学研究科)
Modular quotient singularities and their crepant resolutions
（モジュラー商特異点とそのクレパント解消）
博士論文発表会
11:00-12:15 数理科学研究科棟(駒場) 118号室
大貫 紘嵩 氏 (東京大学大学院数理科学研究科)
Global +-regularity of regular del Pezzo surfaces in mixed characteristic
（混標数の正則 del Pezzo 曲面の大域的+正則性）
大貫 紘嵩 氏 (東京大学大学院数理科学研究科)
Global +-regularity of regular del Pezzo surfaces in mixed characteristic
（混標数の正則 del Pezzo 曲面の大域的+正則性）
博士論文発表会
13:00-14:15 数理科学研究科棟(駒場) 118号室
夏 小焜 氏 (東京大学大学院数理科学研究科)
Reflection vectors in the quantum cohomology of a blowup
（ブローアップの量子コホモロジーの鏡映ベクトルについて）
夏 小焜 氏 (東京大学大学院数理科学研究科)
Reflection vectors in the quantum cohomology of a blowup
（ブローアップの量子コホモロジーの鏡映ベクトルについて）
博士論文発表会
14:45-16:00 数理科学研究科棟(駒場) 118号室
杉本 悠太郎 氏 (東京大学大学院数理科学研究科)
On the dynamical degrees over abelian varieties and rational varieties
(アーベル多様体および有理多様体上の力学的次数について)
杉本 悠太郎 氏 (東京大学大学院数理科学研究科)
On the dynamical degrees over abelian varieties and rational varieties
(アーベル多様体および有理多様体上の力学的次数について)
博士論文発表会
11:00-12:15 数理科学研究科棟(駒場) 122号室
前川 拓海 氏 (東京大学大学院数理科学研究科)
A six-functor formalism for sheaves over locally proper maps and the Bauer-Furuta construction
（局所固有写像上の層に対する六つの関手の枠組み，そしてBauer-Furutaの構成）
前川 拓海 氏 (東京大学大学院数理科学研究科)
A six-functor formalism for sheaves over locally proper maps and the Bauer-Furuta construction
（局所固有写像上の層に対する六つの関手の枠組み，そしてBauer-Furutaの構成）
博士論文発表会
13:00-14:15 数理科学研究科棟(駒場) 122号室
土屋 正朗 氏 (東京大学大学院数理科学研究科)
On a relation between two types of Symmetry Breaking Operators from O(2, 1) to O(1, 1)
(O(2, 1) から O(1, 1) への 2 種類の Symmetry Breaking Operator の関係性について)
土屋 正朗 氏 (東京大学大学院数理科学研究科)
On a relation between two types of Symmetry Breaking Operators from O(2, 1) to O(1, 1)
(O(2, 1) から O(1, 1) への 2 種類の Symmetry Breaking Operator の関係性について)
博士論文発表会
14:45-16:00 数理科学研究科棟(駒場) 122号室
樋川 達郎 氏 (東京大学大学院数理科学研究科)
On the (k, a)-generalized Fourier transform and the minimal representation of the conformal group
（(k, a)-一般化Fourier変換と共形変換群の極小表現について）
樋川 達郎 氏 (東京大学大学院数理科学研究科)
On the (k, a)-generalized Fourier transform and the minimal representation of the conformal group
（(k, a)-一般化Fourier変換と共形変換群の極小表現について）
博士論文発表会
9:15-10:30 数理科学研究科棟(駒場) 126号室
HAFID Ayoub 氏 (東京大学大学院数理科学研究科)
Noncommutative coarse metric geometry
（非可換疎距離幾何）
HAFID Ayoub 氏 (東京大学大学院数理科学研究科)
Noncommutative coarse metric geometry
（非可換疎距離幾何）
博士論文発表会
11:00-12:15 数理科学研究科棟(駒場) 126号室
朱 浩哲 氏 (東京大学大学院数理科学研究科)
Pure States of the Second Order Irrational Rotation Algebra Arising from Automorphisms of the Hyperfinite II1 Factor
(超有限II1型因子環の自己同型から生じる2次無理数回転環の純粋状態）
朱 浩哲 氏 (東京大学大学院数理科学研究科)
Pure States of the Second Order Irrational Rotation Algebra Arising from Automorphisms of the Hyperfinite II1 Factor
(超有限II1型因子環の自己同型から生じる2次無理数回転環の純粋状態）
博士論文発表会
13:00-14:15 数理科学研究科棟(駒場) 126号室
洞 龍弥 氏 (東京大学大学院数理科学研究科)
Connecteness and full subcategories of topoi
(トポスの連結性と充満部分圏）
洞 龍弥 氏 (東京大学大学院数理科学研究科)
Connecteness and full subcategories of topoi
(トポスの連結性と充満部分圏）
博士論文発表会
14:45-16:00 数理科学研究科棟(駒場) 126号室
岡 優丞 氏 (東京大学大学院数理科学研究科)
Solvability of nonlinear parabolic equations with singular data and Besov-Morrey spaces
（特異データを有する非線形放物型方程式の可解性とべゾフ・モレイ空間）
岡 優丞 氏 (東京大学大学院数理科学研究科)
Solvability of nonlinear parabolic equations with singular data and Besov-Morrey spaces
（特異データを有する非線形放物型方程式の可解性とべゾフ・モレイ空間）
博士論文発表会
9:15-10:30 数理科学研究科棟(駒場) 128号室
田川 智也 氏 (東京大学大学院数理科学研究科)
Spectral and Microlocal Analysis of
Schrödinger Equations with Slowly Decaying and Perturbed Harmonic Oscillator Potentials
（緩やかに減衰するポテンシャルおよび調和振動子型ポテンシャルに関するシュレーディンガー方程式のスペクトル解析と超局所解析）
田川 智也 氏 (東京大学大学院数理科学研究科)
Spectral and Microlocal Analysis of
Schrödinger Equations with Slowly Decaying and Perturbed Harmonic Oscillator Potentials
（緩やかに減衰するポテンシャルおよび調和振動子型ポテンシャルに関するシュレーディンガー方程式のスペクトル解析と超局所解析）
博士論文発表会
14:45-16:00 数理科学研究科棟(駒場) 128号室
井上 卓哉 氏 (東京大学大学院数理科学研究科)
A bijection between symmetric plane partitions and quasi transpose
complementary plane partitions
（対称な平面分割と擬転置相補な平面分割の間の全単射）
井上 卓哉 氏 (東京大学大学院数理科学研究科)
A bijection between symmetric plane partitions and quasi transpose
complementary plane partitions
（対称な平面分割と擬転置相補な平面分割の間の全単射）
2026年01月22日(木)
博士論文発表会
9:15-10:30 数理科学研究科棟(駒場) 118号室
山本 寛史 氏 (東京大学大学院数理科学研究科)
Computing the local 2-component of a non-selfdual automorphic representation of GL3
（GL3の非自己双対保型表現の局所2進成分の計算）
山本 寛史 氏 (東京大学大学院数理科学研究科)
Computing the local 2-component of a non-selfdual automorphic representation of GL3
（GL3の非自己双対保型表現の局所2進成分の計算）
博士論文発表会
11:00-12:15 数理科学研究科棟(駒場) 118号室
高梨 悠吾 氏 (東京大学大学院数理科学研究科)
On the Hiraga-Ichino-Ikeda conjecture on formal degrees for G2
（G2の形式次数における平賀・市野・池田予想について）
高梨 悠吾 氏 (東京大学大学院数理科学研究科)
On the Hiraga-Ichino-Ikeda conjecture on formal degrees for G2
（G2の形式次数における平賀・市野・池田予想について）
博士論文発表会
13:00-14:15 数理科学研究科棟(駒場) 118号室
三神 雄太郎 氏 (東京大学大学院数理科学研究科)
(φ,Γ)-modules over relatively discrete algebras
（相対離散的な環上の(φ,Γ)加群）
三神 雄太郎 氏 (東京大学大学院数理科学研究科)
(φ,Γ)-modules over relatively discrete algebras
（相対離散的な環上の(φ,Γ)加群）
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203 次へ >
