| 岡田 聡一 (おかだ そういち/Okada, Soichi) 教授 |
 |
研 究 室 |
理学部A館 427号室 (内線5596) |
| 電子メール |
okada (at) math.nagoya-u.ac.jp |
| メッセージ |
組合せ論と表現論(さらには可積分系などの他の分野)が交わっているところで研究を進めています.特に,古典群などの表現論に関係する組合せ論(Young 図形,対称関数,Robinson-Schensted対応など)に興味があります.現在は,このような組合せ論を用いて古典群,対称群などの代数系の表現論を考察したり,表現論や可積分系のアイデアを利用してalternating sign matrixなどの数え上げ問題に取り組んだりしていんます. |
| 教 員 紹 介 |
okada_soichi_ja.pdf [PDF/189KB] |
| 研究テーマ |
- algebraic and enumerative combinatorics
- combinatorial representation theory
|
| 主 要 論 文 |
| [1] | S. Okada. Applications of minor summation formulas to rectangular-shaped representations of classical groups. J. Algebra 205 (1998), no. 2, 337–367. |
| [2] | S. Okada. Algebras associated to the Young–Fibonacci lattice. Trans. Amer. Math. Soc. 346 (1994), no. 2, 549–568. |
|
 |
| 糟谷 久矢 (かすや ひさし/Kasuya, Hisashi) 教授 |
 |
研 究 室 |
理学部A館 343号室 (内線5580) |
| 電子メール |
kasuya (at) math.nagoya-u.ac.jp |
| 個人ページ |
https://sites.google.com/site/hisashikasuyamath/ |
| メッセージ |
主に微分幾何学および複素幾何学を研究しています.複素微分幾何学において主要な研究対象であるケーラー構造を“持たない”空間の幾何学(非ケーラー幾何学)に興味を持って研究しています.また,空間の非可換な不変量における幾何構造の反映についての理論(非可換Hodge理論)を理解することを目指しています.また空間の中でも,対称性の高い対象であるリー群や等質空間に興味を持っております.近年は対称性の高い空間で対称“ではない”’幾何構造(非不変幾何学)の理論の発展を目指して研究しています. |
| 教 員 紹 介 |
kasuya_hisashi_ja.pdf [PDF/192KB] |
| 研究テーマ |
- differential geometry
- complex geometry
- Lie group and homogeneous space
|
| 主 要 論 文 |
| [1] | H. Kasuya. Minimal models, formality and hard Lefschetz properties of solvmanifolds with local systems. J. Differential Geom. 93, (2013), 269–298. |
| [2] | H. Kasuya. Techniques of constructions of variations of mixed hodge structures. Geom. Funct. Anal. 28 (2018), no. 2, 393–442. |
| [3] | I. Biswas, H. Kasuya. Higgs bundles and flat connections over compact Sasakian manifolds. Comm. Math. Phys. 385 (2021), no. 1, 267–290. |
|
| 受 賞 歴 |
| 2013年 | 日本数学会賞建部賢弘奨励賞 (日本数学会) 「可解多様体のトポロジーと幾何」 | |
 |
| 加藤 淳 (かとう じゅん/Kato, Jun) 准教授 |
 |
研 究 室 |
多元数理科学棟 503号室 (内線2410) |
| 電子メール |
jkato (at) math.nagoya-u.ac.jp |
| メッセージ |
専門分野は非線型偏微分方程式論です.非線型偏微分方程式は,様々な自然現象を記述するモデルとして現れますが,その可解性,解の一意性といった,数学的な適切性について研究しています.特に,私は非線型の波動現象を記述する方程式を関数解析・調和解析(フーリエ解析,実解析)的手法を用いて研究して来ました.最近は,波動写像など,幾何学的背景を持つ非線形波動方程式にも興味を持っています. |
| 教 員 紹 介 |
kato_jun_ja.pdf [PDF/204KB] |
| 研究テーマ |
- nonlinear partial differential equations
- Fourier analysis
|
| 主 要 論 文 |
| [1] | J. Kato, M. Nakamura and T. Ozawa. A generalization of the weighted Strichartz estimates for wave equations and an application to self-similar solutions. Comm. Pure Appl. Math. 60 (2007), no. 2, 164–186. |
| [2] | J. Kato. Existence and uniqueness of the solution to the modified Schrodinger maps. Math. Res. Lett. 12 (2005), 171–186. |
| [3] | Jun Kato. The uniqueness of nondecaying solutions for the Navier-Stokes equations. Arch. Rational Mech. Anal. 169 (2003), 159–175. |
|
| 受 賞 歴 |
| 2008年 | 日本数学会賞建部賢弘特別賞 (日本数学会) 「調和写像分散流の初期値問題の適切性の研究」 | |
 |
| ジャック・ガリグ (Garrigue, Jacques) 教授 |
 |
研 究 室 |
多元数理科学棟 405号室 (内線4661) |
| 電子メール |
garrigue (at) math.nagoya-u.ac.jp |
| 個人ページ |
https://www.math.nagoya-u.ac.jp/~garrigue/home-j.html |
| メッセージ |
関数型プログラミング言語およびオブジェクト指向プログラミング言語の理論を研究しています.主な興味は「型」です.型によってデータや関数の定義域が分かるだけでなく,その意味自体にも大きな影響があり,間違いを避ける上で役に立ちます.10年前から,世界に型を付けるのがモットーでしたが,この遠大な計画はまだ完成していません. |
| 教 員 紹 介 |
garrigue_jacques_ja.pdf [PDF/196KB] |
| 研究テーマ |
- functional programming languages
- type theory
- lambda-calculus
|
| 主 要 論 文 |
| [1] | J. Garrigue. Relaxing the value restriction. in Functional and Logic Programming—7th International Symposium, FLOPS 2004, Nara 2004, LNCS 2998, Springer-Verlag. |
| [2] | J. Garrigue and D. Rémy. Extending ML with semi-explicit higher order polymorphism. Inform. and Comput. 155 (1999), 134–171. |
|
| 受 賞 歴 |
| 2023年 | Programming Languages Software Award (ACM SIGPLAN) 「OCaml言語の実装について」 | |
 |
| 川村 友美 (かわむら ともみ/Kawamura, Tomomi) 准教授 |
 |
研 究 室 |
理学部A館 357号室 (内線4534) |
| 電子メール |
tomomi (at) math.nagoya-u.ac.jp |
| メッセージ |
結び目理論と低次元トポロジーを主な専門分野としています.簡単にいうと,紐のもつれ具合を調べる幾何学です.特に結び目や絡み目の不変量,即ちその複雑さを数値や多項式などで表したものの性質を考察しています.一見易しい公式の証明に,特異点論や接続幾何,物理学で発展したゲージ理論やコバノフホモロジー理論などの高度な理論で得られた結果が応用される奥深さに,常に驚かされ続けています. |
| 教 員 紹 介 |
kawamura_tomomi_ja.pdf [PDF/214KB] |
| 研究テーマ |
- knot theory
- low dimensional topology
|
| 主 要 論 文 |
| [1] | T. Kawamura. The Rasmussen invariants and the sharper slice-Bennequin inequality on knots. Topology 46 (2007), 29–38. |
| [2] | T. Kawamura. Essential cycles in graph divides as a link representation. Tokyo J. Math. 29 (2006) 515–527. |
|
| 受 賞 歴 |
| 2003年 | 日本数学会賞建部賢弘奨励賞 (日本数学会) 「結び目解消数の4次元的評価とディバイド絡み目の研究」 | |
 |
| 菅野 浩明 (かんの ひろあき/Kanno, Hiroaki) 教授 (素粒子宇宙起源研究機構兼任) |
 |
研 究 室 |
理学部A館 447号室 (内線2417) |
| 電子メール |
kanno (at) math.nagoya-u.ac.jp |
| メッセージ |
専門は数理物理学で,特にゲージ理論や弦理論(M理論)の量子論的幾何学を 研究しています.一般に,無限自由度をもつゲージ場や弦の量子論的力学は非常に難しいのですが,超対称性や双対性を利用して幾何学と結びつく深い結果が得られる場合があります.これは,物理法則の幾何学化というアインシュタイン以降の思想を実現するもので,表現論・可積分系・微分幾何・代数幾何などの諸分野が交錯する場を提供しています. |
| 教 員 紹 介 |
kanno_hiroaki_ja.pdf [PDF/205KB] |
| 研究テーマ |
- mathematical physics
- geometry of string theory and gauge theories
- supersymmetry
- manifold of special holonomy
|
| 主 要 論 文 |
| [1] | T. Eguchi and H. Kanno. Topological strings and Nekrasov’s formulas. J. High Energy Phys. (2003), no. 12, 006 (electronic). |
| [2] | L. Baulieu, H. Kanno and I. M. Singer. Special quantum field theories in eight and other dimensions. Comm. Math. Phys. 194 (1998), no. 1, 149–175. |
|
 |
| 喜多 奈々緒 (きた ななお/Kita, Nanao) 准教授 |
 |
研 究 室 |
理学部A館 331号室 (内線5612) |
| 電子メール |
kita (at) math.nagoya-u.ac.jp |
| 個人ページ |
https://sites.google.com/view/nanaokita/ホーム |
| メッセージ |
グラフ理論・離散最適化理論・アルゴリズム設計などを研究しています.とりわけ,離散最適化問題における計算量的性質の本質を解明することを動機として,これと関わるグラフの様々な構造を追究することに取り組んでいます.特に,多項式時間可解性の本質に迫るべく,グラフ上の離散最適化問題に現れる標準構造や双対性を主な研究対象として来ました.特定の計算量クラスに属する離散最適化問題に普遍的に現れる構造や離散数理分野における汎用的な理論的道具となりうる構造定理を得ることに興味を持ち研究しています. |
| 教 員 紹 介 |
kita_nanao_ja.pdf [PDF/156KB] |
| 研究テーマ |
- graph theory
- discrete optimization (combinatorial optimization)
- discrete algorithm
|
| 主 要 論 文 |
| [1] | N. Kita. A partially ordered structure and a generalization of the canonical partition for general graphs with perfect matchings. Lecture Notes in Comput. Sci., 7676, Springer, 2012, 85–94. |
| [2] | N. Kita. Structure of towers and a new proof of the tight cut lemma. Lecture Notes in Comput. Sci., 10627, Springer, 2017, 225–239. |
| [3] | N. Kita, Nonbipartite Dulmage–Mendelsohn decomposition for Berge duality. Lecture Notes in Comput. Sci., 10976, Springer, 2018, 293–304. |
|
 |
| 木下 真也 (きのした しんや/Kinoshita, Shinya) 准教授 |
 |
研 究 室 |
理学部A館 345号室 (内線2545) |
| 電子メール |
kinoshita (at) math.nagoya-u.ac.jp |
| メッセージ |
私の専門は偏微分方程式論で, 量子力学やプラズマ工学, 流体力学等で現れる様々な波動現象を記述する分散型・波動方程式を研究してきました. 私の研究の目的は, ある時刻での情報(初期値)が与えられたとき, 方程式を満たす解の存在や一意性の証明に加え, 得られた解の振る舞いを調べることです. その道具として自然に登場するのが調和解析で, 特にフーリエ制限法と呼ばれる理論が大きな役割を果たします. 最近では, 方程式への応用を目指すだけではなく, 最先端のフーリエ制限理論自体にも興味を持ち, 勉強をしています. |
| 教 員 紹 介 |
kinoshita_shinya_ja.pdf [PDF/158KB] |
| 研究テーマ |
- partial differential equations
- harmonic analysis
|
| 主 要 論 文 |
| [1] | S. Kinoshita. Global well-posedness for the Cauchy problem of the Zakharov–Kuznetsov equation in 2D. Ann. Inst. H. Poincaré Anal. Non Linéaire, 32 (2021), 451–505. |
| [2] | S. Herr and S. Kinoshita. Subcritical well-posedness results for the Zakharov–Kuznetsov equation in dimension three and higher. Ann. Inst. Fourier (Grenoble) 73 (2023), no. 3, 1203–1267. |
| [3] | S. Kinoshita, S. Nakamura and A. Sanwal. Decoupling inequality for paraboloid under shell type restriction and its application to the periodic Zakharov system. Comm. Math. Phys. 404 (2023), no 2, 883–926. |
|
 |
| 久保 仁 (くぼ まさし/Kubo, Masashi) 准教授 |
 |
研 究 室 |
多元数理科学棟 403号室 (内線2825) |
| 電子メール |
kubo (at) math.nagoya-u.ac.jp |
| 個人ページ |
https://www.math.nagoya-u.ac.jp/~kubo/ |
| メッセージ |
専門は情報理論,なかでも情報源符号化(簡単にいうとデータ圧縮の理論)について研究しています.一見して情報工学っぽい名前ですが,私はあくまで確率論をベースにした「数学」の一分野としてアプローチしています.そんな訳で情報理論という名前に反して,実は研究にはほとんどコンピュータを使わなかったりします. 情報理論は誕生してまだ半世紀と新しい分野なので,まだまだこれからの分野です.なお情報理論には私の研究しているテーマ以外にも通信路符号化,符号理論,暗号理論などがあり,テーマによっては幾何学や代数学などとも密接に関係しています. |
| 教 員 紹 介 |
kubo_masashi_ja.pdf [PDF/212KB] |
| 研究テーマ |
- source coding
- large deviation
- stochastic process
|
| 主 要 論 文 |
| [1] | S. Ihara and M. Kubo. Error exponent of coding for stationary memoryless sources with a fidelity criterion. IEICE Trans. E88-A (2005), no. 5, 1339–1345. |
| [2] | S. Ihara and M. Kubo. The asymptotics of string matching probabilities for Gaussian random sequences. Nagoya Math. J. 166 (2002), 39–54. |
| [3] | S. Ihara and M. Kubo. Error exponent for coding of memoryless Gaussian sources with a fidelity criterion. IEICE Trans. E83-A (2000), no. 10, 1891–1897. |
|
 |
| 笹原 康浩 (ささはら やすひろ/Sasahara, Yasuhiro) 助教 |
 |
研 究 室 |
理学部A館 339号室 (内線5579) |
| 電子メール |
sasahara (at) math.nagoya-u.ac.jp |
| 個人ページ |
https://www.math.nagoya-u.ac.jp/~sasahara/sasahara.html |
| メッセージ |
幾何学や物理学に現れる非線形楕円型方程式を変分法の理論を用いて研究している.峠の補題や鞍点定理などを援用した変分問題の解の大域的な構造に関する研究は多方面で大きく進展しているが,従来の正則性の理論には解が汎関数の最小元であることを前提としているものも多く,そのまま適用することができない場合がある.このような問題点の克服が最近の研究課題である. |
| 教 員 紹 介 |
sasahara_yasuhiro_ja.pdf [PDF/107KB] |
| 研究テーマ |
|
 |