研究活動
研究活動一覧
開催日
タイトル講師・場所
2025.10.31
Introduction to Lean theorem prover
水野 勇磨 (Postdoctoral Researcher, University College Cork, Ireland)
Online via Zoom / 理化学研究所
2025.10.27 ～
2025.10.31
2025.10.31
局所 Langlands 対応の圏化 （4年：数理科学特論9） （院：数理科学特別講義 IX）
今井 直毅 (東京大学)
ウエスト1号館 C-512 中講義室
2025.10.24
An overview of some connections between the geometry of arithmetic sets and the properties of their zeta functions.
Driss Essouabri (Jean Monnet University / Institut Camille Jordan)
C-513 中講義室および Zoomミーティング
2025.10.24
干拓地における液状化ハザードマップの改善に向けた新たな手法
A Novel Approach for Improving Liquefaction Hazard Maps in Reclaimed Land
A Novel Approach for Improving Liquefaction Hazard Maps in Reclaimed Land
D-414 IMIコンファレンスルーム
2025.10.24
Zig-zag holds for Galois representations
Eknath Ghate (Tata Institute)
C-513 中講義室および Zoomミーティング
2025.10.22
防災志向を深化させる実験・産業・数理の融合アプローチの新展開
New Developments in Combined Experimental, Industrial, and Mathematical Approaches to Disaster Prevention
New Developments in Combined Experimental, Industrial, and Mathematical Approaches to Disaster Prevention
D-413 IMIオーディトリアム
2025.10.21
Multiple-Goal EBLUP under an Area-Level Model for Small Area Estimation
Masayo HIROSE (Kyushu University)
Online via Zoom
2025.10.20 ～
2025.10.24
2025.10.24
微分形式を使った物理シミュレーション （4年：数理科学特論7） （院：数理科学特別講義 VII）
深川 宏樹 (DeepFlow株式会社)
ウエスト1号館 C-512 中講義室
2025.10.20 ～
2025.10.22
2025.10.22
代数曲線やアーベル多様体に関連する数論アルゴリズム
Number-theoretic algorithms related to algebraic curves and abelian varieties
Number-theoretic algorithms related to algebraic curves and abelian varieties
D-413 IMIオーディトリアム
2025.10.17 ～
2025.10.19
2025.10.19
Digital Brain Workshop
九州地区九重共同研修所・山の家
研究活動カレンダー
年
月
研究活動カレンダー
年
月
研究活動カレンダー
年
月
最新ニュース
- 2025.9.16
- 機械学習と数理モデルの融合と理論の深化 Ⅲ / Integration of machine learning and mathematical modeling, and deepening of its theory Ⅲ(2025/10/11(土)--13(月)開催)のお知らせ
- 2025.9.16
- xR技術を活用した教育手法の確立と教育DX化 / Establishing Educational Methodologies Using xR Technologies and Advancing Education DX(2025/10/3(金)開催)のお知らせ
- 2025.9.16
- Digital Brain Workshop(2025/10/17(金)--19(日)開催)のお知らせ
- 2025.9.11
- 数学・数理科学5研究拠点合同市民講演会「マス・フォア・ソサエティ －社会を支える数理のチカラ－」(2025/11/15(土)開催)のお知らせ
- 2025.9.05
- Logic, Algebra and Category Theory: Applications in Computer Science(2025/9/29(月)--10/3(金)開催)のお知らせ