学位取得状況
| 令和6.3.25 | 大井 拓夢 | Convergence of processes time-changed by Gaussian multiplicative chaos (ガウス乗法カオスによる時間変更過程の収束について) | 課程博士 | 令和6.3.25 | 眞田 嵩大 | Algebraic effects and handlers for arrows (アローに対する代数的エフェクトとハンドラ) | 課程博士 | 令和6.3.25 | 柴田 泰輔 | Embedded contact homology and its applications to 3-dimensional Reeb flows (埋め込まれた接触ホモロジーとその三次元レーブ流への応用) | 課程博士 | 令和6.3.25 | 中田 哲 | Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic （トポス理論における局所作用素と直観主義算術における準古典的公理の分離） | 課程博士 | 令和6.3.25 | 湯地 ともき | Category-theoretic Reconstruction of Log Schemes from Categories of Reduced fs Log Schemes （被約 fs Log スキームの圏からの Log スキームの圏論的復元） | 課程博士 | 令和5.3.23 | 天野 雄樹 | Locally Defined Independence Systems on Graphs | 課程博士 | 令和5.3.23 | 石井 竣 | A study on the pro-p outer Galois representations associated to once-punctured CM elliptic curves for ordinary primes | 課程博士 | 令和5.3.23 | 石川 寿雄 | Modeling Approach to Transient Behaviors in Miscible Fluids with Two Layers https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/283509/1/drigk04889.pdf | 課程博士 | 令和5.3.23 | 笹谷 晃平 | Some inequalities between Ahlfors regular conformal dimension and spectral dimensions for resistance forms | 課程博士 | 令和5.3.23 | 清水 陵嗣 | The pro-C anabelian geometry of number fields | 課程博士 | 令和5.3.23 | 冨田 悠 | Planar Realizability via Left and Right Applications | 課程博士 | 令和5.3.23 | 馬原 凌河 | Extension of Additive Valuations to General Valuations on the Existence of EFX （EFX配分の存在に関する非加法的評価関数への拡張） | 課程博士 | 令和5.3.23 | 山口 永悟 | The m-step solvable Grothendieck conjecture for affine hyperbolic curves over finitely generated fields | 課程博士 | 令和4.3.23 | 上田 衛 | Affine super Yangians and rectangular W-superalgebras | 課程博士 | 令和4.3.23 | 軽尾 浩晃 | The reduced Dijkgraaf--Witten invariant of double twist knots in the Bloch group of Fp | 課程博士 | 令和4.3.23 | 杉本 祥馬 | ON THE FEIGIN-TIPUNIN CONJECTURE | 課程博士 | 令和4.3.23 | 長岡 高広 | The universal covers of hypertoric varieties and Bogomolov’s decomposition | 課程博士 | 令和4.3.23 | 南 規楽 | Trace Equivalence and Epistemic Logic to Express Security Properties https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/275009/1/drigk04777.pdf | 課程博士 | 令和3.3.23 | 今村 拓万 | A nonstandard invariant of coarse spaces | 課程博士 | 令和3.3.23 | 更科 明 | Reconstruction of open subschemes of elliptic curves in positive characteristic by their geometric fundamental groups under some assumptions | 課程博士 | 令和3.3.23 | 吹原 耀司 | Generalization of Bounded Linear Logic and its Categorical Semantics RIMS-preprint 1932 | 課程博士 | 令和3.3.23 | 室谷 岳寛 | A study on anabelian geometry of complete discrete valuation fields | 課程博士 | 令和3.3.23 | 森 隆大 | Lp-Kato class measures and their relations with Sobolev embedding theorems | 課程博士 | 令和2.3.23 | 辻村 昇太 | Combinatorial Belyi Cuspidalization and Arithmetic Subquotients of the Grothendieck-Teichmüller Group | 課程博士 | 令和2.3.23 | 向井 大智 | Mirror symmetry of nonabelian Landau-Ginzburg orbifolds with loop type potentials | 課程博士 | 令和2.3.23 | 吉野 将旭 | An L2-index formula for monopoles with Dirac-type singularities | 課程博士 | 平成31.3.25 | 石川 勝巳 | Quandle coloring conditions and zeros of the Alexander polynomials of Montesinos links | 課程博士 | 平成31.3.25 | 石川 卓 | Construction of general symplectic field theory | 課程博士 | 平成31.3.25 | 元良 直輝 | Free fields realizations of W-algebras and Applications | 課程博士 | 平成31.3.25 | 澤田晃一郎 | Reconstruction of invariants of configuration spaces of hyperbolic curves from associated Lie algebras | 課程博士 | 平成31.3.25 | 得重 雄毅 | Random Walks on random trees and hyperbolic groups: trace processes on boundaries at infinity and the speed of biased random walks | 課程博士 | 平成31.3.25 | 中島 秀太 | Maximal edge-traversal time in First Passage Percolation | 課程博士 | 平成31.3.25 | 東山 和巳 | The semi-absolute anabelian geometry of geometrically pro-p arithmetic fundamental groups of associated low-dimensional configuration spaces | 課程博士 | 平成31.3.25 | 杉本 佳弘 | Spectral spread and non-autonomous Hamiltonian diffeomorphisms | 課程博士 | 平成31.3.25 | 河口 祐輝 | Near Miss abc -Triples in General Number Fields | 課程博士 | 平成31.3.25 | 望月 厚志 | On the Casson-Walker invariant of 3-manifolds with genus one open book decompositions | 課程博士 | 平成30.3.26 | 社本 陽太 | Hodge-Tate conditions for Landau-Ginzburg models | 課程博士 |
| 平成30.3.26 | 滝坂 透 | 無限文字列の大規模幾何 | 課程博士 |
| 平成30.3.26 | 中村 ちから | Asymptotic behaviors of random walks: application of heat kernel estimates | 課程博士 |
| 平成29.3.23 | 松本 慧 | Coherence Spaces and Uniform Continuity | 課程博士 |
| 平成29.3.23 | 南出 新 | Indecomposability of various profinite groups arising from hyperbolic curves | 課程博士 |
| 平成29.3.23 | 本浦庄太 | A General Framework for Dynamic Epistemic Logic | 課程博士 |
| 平成29.3.23 | 陽 煜 | Degeneration of Period Matrices of Stable Curves | 課程博士 |
| 平成28.3.23 | 阿部圭宏 | Cover times and extrema of local times for random walks on graphs | 課程博士 |
| 平成28.3.23 | 佐々木真二 | 二重変わり点におけるStokes曲線の分岐現象、そして三準位系の遷移確率に対する仮想変わり点の影響 | 課程博士 |
| 平成28.3.23 | 髙山侑也 | Nahm's equations, quiver varieties and parabolic sheaves | 課程博士 |
| 平成27.3.23 | 飯島 優 | Some group-theoretic aspects of outer Galois representations associated to hyperbolic curves | 課程博士 |
| 平成27.3.23 | 石本健太 | Hydrodynamics of squirming locomotion at low Reynolds numbers （低レイノルズ数における微生物遊泳の流体力学) | 課程博士 |
| 平成27.3.23 | 佐藤哲也 | Identifying All Preorders on the Subdistribution Monad | 課程博士 |
| 平成27.3.23 | Jaeyoo Choy | Moduli spaces of framed symplectic and orthogonal bundles on $\mathbb{P}^{2}$ and the K-theorectic Nekrasov partition functions | 論文博士 |
| 平成26.3.24 | 岩木耕平 | On WKB theoretic transformations for Painlevé transcendents on degenerate Stokes segments | 課程博士 |
| 平成26.3.24 | 岡村和弥 | Algebraic and Statistical Approach to Infinite Quantum Systems | 課程博士 |
| 平成26.3.24 | 藤田健人 | The Mukai conjecture for log Fano manifolds | 課程博士 |
| 平成26.3.24 | 若林泰央 | An explicit formula for the generic number of dormant indigenous bundles | 課程博士 |
| 平成25.11.25 | 岡崎建太 | The state sum invariant of 3-manifolds constructed from the E6 linear skein | 課程博士 |
| 平成25.3.25 | 犬伏正信 | Covariant Lyapunov Analysis of Navier-Stokes Turbulence RIMS-preprint 1770 | 課程博士 |
| 平成25.3.25 | 木村恵二 | Boussinesq convection and motions of boundary spheres in a rotating spherical shell RIMS-preprint 1772 | 課程博士 |
| 平成25.3.25 | 佐々木英一 | Stability and bifurcations of two-dimensional zonal jet flows on a rotating sphere RIMS-preprint 1771 | 課程博士 |
| 平成25.3.25 | 廣瀬三平 | On a WKB theoretic transformation for a completely integrable system near a degenerate point where two turning points coalesce | 課程博士 |
| 平成24.3.26 | 安藤浩志 | Polish Groups of Finite Type and Their Lie Algebras | 課程博士 |
| 平成24.3.26 | 小布施祈織 | Asymptotic analysis of long-time behaviour of zonal flows in two-dimensional turbulence on a β plane RIMS-preprint 1737 | 課程博士 |
| 平成24.3.26 | 鈴木咲衣 | On the universal sl2 invariant of boundary bottom tangles | 課程博士 |
| 平成24.3.26 | 野坂武史 | 4-fold symmetric quandle invariants of 3-manifolds | 課程博士 |
| 平成24.3.26 | 長谷部高広 | Analytic continuations of Fourier and Stieltjes transforms and generalized moments of probability measures | 課程博士 |
| 平成24.3.26 | 白石大典 | Random walk on non-intersecting two-sided random walk trace is subdiffusive in low dimensions | 課程博士 |
| 平成24.1.23 | 木村嘉之 | Quantum unipotent subgroup and Dual canonical basis | 課程博士 |
| 平成23.11.24 | 原田 僚 | Operational and harmonic-analytic aspects of quasi-probability distributions | 課程博士 |
| 平成23.9.26 | 尾高悠志 | The Calabi conjecture and K-stability | 課程博士 |
| 平成23.3.23 | 西郷甲矢人 | From Combinatorics to Noncommutative Probability | 課程博士 |
| 平成23.3.23 | 星野直彦 | A Modified GoI Interpretation for a Linear Functional Programming Language and its Adequacy | 課程博士 |
| 平成22.7.23 | 高尾尚武 | Braid monodromies on proper curves and pro-$l$ Galois representations | 論文博士 |
| 平成22.3.23 | 土岡俊介 | Hecke-Clifford superalgebras and crystals of type D^{(2)}_{1} | 課程博士 |
| 平成22.3.23 | 宮部賢志 | An extension of van Lambalgen's Theorem to infinitely many relative 1-random reals | 課程博士 |
| 平成22.3.23 | 佐野良夫 | Matroids on convex geometries: Subclasses, operations, and optimization | 課程博士 |
| 平成21.9.24 | 卓 建宏 CHO, Chien-Hong |
A finite difference scheme for blow-up solutions of nonlinear wave equations
（爆発解を持つ非線形波動方程式の差分スキーム） |
課程博士 |
| 平成21.7.23 | 平井広志 | Tight spans of distances and the dual fractionality of undirected multiflow problems | 論文博士 |
| 平成21.7.23 | 星 裕一郎 | Absolute anabelian cuspidalizations of configuration spaces of proper hyperbolic curves over finite fields | 論文博士 |
| 平成21.5.25 | 榎本直也 | A QUIVER CONSTRUCTION OF SYMMETRIC CRYSTALS | 課程博士 |
| 平成21.3.23 | 長尾健太郎 | K-theory of quiver varieties, q-Fock space and nonsymmetric Macdonald polynomials | 課程博士 |
| 平成21.3.23 | 岡田拓三 | Nonrational weighted hypersurfaces | 課程博士 |
| 平成21.3.23 | 浅田和之 | Extensional Universal Types for Call-by-Value | 課程博士 |
| 平成21.3.23 | 大橋久範 | On the number of Enriques quotients of a Ｋ3 surface | 課程博士 |
| 平成19.9.25 | 西川享宏 |
Towards the exact WKB analysis of the PII hierarchy
（ PII hierarchyの完全WKB解析） |
論文博士 |
| 平成19.7.23 | 川ノ上帆 |
Toward resolution of singularities over a field of
positive characteristic
Part I. Foundation; the language of the idealistic filtration
( 正標数の特異点解消に向けて 第一部. 基礎； イデアル的フィルトレーションの言語) |
課程博士 |
| 平成19.3.23 | 渡邉忠之 |
Configuration space integral for long n-knots and
the Alexander polynomial
( 長n次元結び目の配置空間積分とアレクサンダー多項式 ) |
課程博士 |
| 平成19.3.23 | Rashid Farooq |
A Polynomial-time Algorithm for a Stable Matching Problem
with Linear Valuations and Bounded Side Payments
( 線形評価関数と有界な手付をもつ安定マッチング問題に 対する多項式時間アルゴリズム) |
課程博士 |
| 平成19.3.23 | 眞野 元 |
Radon transform of functions supported on a homogeneous cone
(等質錐上に台をもつ関数のラドン変換) |
課程博士 |
| 平成19.3.23 | 濱田信輔 | 一般化 Proudman-Johnson 方程式の爆発問題について | 課程博士 |
| 平成19.3.23 | 中田景子 |
A module system with applicative functors
and recursive path references
（作用的ファンクタとパスを用いての再帰的参照機構を持つ モジュールシステム） RIMS-preprint 1583 |
課程博士 |
| 平成18.9.25 | Moskovich, Daniel D. | Surgery Untying of Coloured Knots
(色付き結び目を手術で解く) |
課程博士 |
| 平成18.7.24 | 中村信裕 | Mod p vanishing theorem of Seiberg-Written invariants for 4-manifolds with \mathbb{Z}_p-actions
(\mathbb{Z}_p作用付の４次元多様体についてのサイバーグ・ウィッテン不変量のmod p 消滅定理) |
課程博士 |
| 平成18.3.23 | 植田一石 | Homological Mirror Symmetry for Toric del Pezzo Surfaces
(トーリック del Pezzo 曲面に対するホモロジー的ミラー対称性) |
課程博士 |
| 平成18.3.23 | 中野圭介 |
An Implementation Scheme for XML Transformation Languages through
Derivation of Stream Processors
(ストリーム処理器の自動導出によるXML変換言語の実装法) |
課程博士 |
| 平成18.3.23 | 矢野孝次 |
Excursion measure away from an exit boundary of one-dimensional
diffusion processes
(1次元拡散過程の流出境界における遠足測度) |
課程博士 |
| 平成17.3.23 | 那須弘和 |
Obstructions to deforming space curves and non-reduced
components of the Hilbert scheme
(空間曲線の変形における障害とHilbertスキー厶の非被約成分) |
課程博士 |
| 平成16.9.24 | 高橋篤史 |
tt* Geometry of Rank Two
(階数2のtt*幾何) |
論文博士 |
| 平成16.5.24 | 吉永正彦 |
Characterization of a free arrangement and conjecture
of Edelman and Reiner
(自由配置の特徴付けとEdelman-Reinerの予想) |
課程博士 |
| 平成15.9.24 | 古庄英和 |
p-ADIC MULTIPLE ZETA VALUES I -
p-ADIC MULTIPLE POLYLOGARITHMS AND THE
p-ADIC KZ EQUATION
(p進多重ゼータ値I-p進多重ポリログとp進KZ方程式) |
課程博士 |
| 平成15.7.23 | 角谷良彦 |
Duality between Call-by-Name Recursion and Call-by-Value Iteration
(名前呼び再帰プログラムと値呼び繰り返しプログラムの間の双体性) |
課程博士 |
| 平成15.3.24 | 小林健太 |
A numerical verification method for the global uniqueness of a positive
solution for Nekrasov's equation (Nekrasov方程式の正値解の大域的な一意性に対する数値的検証法) |
課程博士 |
| 平成15.3.24 | 早川貴之 |
Blowing ups of 3-dimensional terminal singularities (3次元端末特異点のブローアップ) |
論文博士 |
| 平成14.9.24 | 室田一雄 |
Discrete Convex Analysis
(離散凸解析) |
論文博士 |
| 平成14.5.23 | 川村勝紀 |
Infinitesimal Takesaki duality of Hamiltonian vector fields on
a symplectic manifold (シンプレクティック多様体上のハミルトニアンベクトル場の無限小竹崎双対性) |
課程博士 |
| 平成14.3.25 | 竹山美宏 |
Form factors of SU(N) invariant Thirring model (SU(N)不変Thirring模型の形状因子) |
課程博士 |
| 平成13.7.23 | 赤坂立也 |
An integral PBW basis of the quantum Affine algebra of type A^{(2)}_2 (A^{(2)}_2型アファイン量子群の整数式のPBW型基底) |
課程博士 |
| 平成12.11.24 | 吉井大吾 |
A GENERALIZATION OF KAC-MOODY ALGEBRAS AND THE SERRE RELATIONS (カッツ-ムーディ代数とセール関係式のある一般化) |
課程博士 |
| 平成12.5.23 | 濱地賢太郎 |
Quantum moment maps and invariants for G-invariant star products (G不変スター積の量子運動量写像と不変量について) |
課程博士 |
| 平成12.3.23 | 青木宏樹 |
Estimating Siegel modular forms of genus 2 using Jacobi forms (ヤコビ形式を用いた種数2のジーゲル保型形式の評価) |
課程博士 |
| 平成12.3.23 | 小池達也 |
On the exact WKB analysis of second order linear ordinary differential
equations with simple poles (単純極を含む二階線型常微分方程式の完全WKB解析について) |
課程博士 |
| 平成12.3.23 | 竹村剛一 |
the decomposition of level-1 irreducible highest-weight modules with respect
to the level-0 actions of the quantum affine algebra (量子アフィン代数のレベル1既約最高ウェイト表現の、レベル0の作用についての分解) |
課程博士 |
| 平成12.3.23 | 藤野 修 |
The indices of log canonical singularities (対数的標準特異点の指数について) |
課程博士 |
| 平成12.3.23 | 山ノ井克俊 |
Algebro-geometric version of Nevanlinna's lemma on logarithmic derivative
and applications (ネバリンナの対数微分の補題の代数幾何的定式化とその応用) |
課程博士 |
| 平成11.11.24 | 坂上貴之 | Numerical computation of a three-dimensional vortex sheet with swirl flow (3次元Swirl流中の渦層の数値計算) |
論文博士 |
| 平成11.9.24 | 朱 景輝 | Numerical Study of Stagnation-point Flows of Incompressible Fluid (非圧縮流体の淀み点流問題の数値的な研究) |
課程博士 |
| 平成11.3.23 | 田辺 誠 | Timed Petri Net and Temporal Linear Logic | 課程博士 |
| 平成11.3.23 | 橋本政朋 | First-Class Contexts in ML | 課程博士 |
| 平成11.3.23 | 守屋 創 | Variational Principle and the Dynamical Entropy of Space Translation | 課程博士 |
| 平成10.3.23 | 北内英章 | Topological Structure of Magnetic Flux Lines Generated by Thermal Convection in a Rotating Spherical Shell | 課程博士 |
| 平成10.3.23 | 鈴木武史 | Rogawski's Conjecture on the Jantzen Filtration for the Degenerate Affine Hecke Algebra of Type A | 課程博士 |
| 平成9.9.24 | 南出靖彦 | Full Lifting of Type Parameters (型引数の完全な持ち上げ) |
論文博士 |
| 平成9.3.24 | 上野亮一 | Which Properties of Coverings of the Riemann Sphere Minus Three Points can be Found Also in Higher Dimensional Cases? | 課程博士 |
| 平成9.3.24 | 小島武夫 | Correlation Functions for an Impenetrable Bose Gas with Neumann or Dirichlet Boundaries at the Ground State | 課程博士 |
| 平成9.3.24 | 斉藤義久 | Quantum Toroidal Algebras and their Vertex Representations | 課程博士 |
| 平成8.3.23 | 香川孝司 | Mutable Data Structures and Composable References in a Pure Functional Language | 課程博士 |
| 平成8.3.23 | 加藤希理子 | Cohen-Macaulay Approximations from the Viewpoint of Triangulated Categories | 課程博士 |
| 平成8.3.23 | 小山佳孝 | Bosonization of Admissible Representations of U_q(\hat{sl}_2)at Level -1/2 and q-Vertex Operators | 課程博士 |
| 平成8.3.23 | 三浦英昭 | Enstrophy Generation in a Shock-Dominated Turbulence | 課程博士 |
| 平成8.3.23 | 宮崎琢也 | The Generalized Whittaker Functions for Sp(2,R) and the Gamma Factor of the Andrianov L-Function | 課程博士 |
| 平成8.3.23 | Beronov,K.N. | Structure and Stability of Vorticity Layers in Viscous Stagnation Flows | 課程博士 |
| 平成8.3.23 | 西村 進 | Strict Functional Language with Cyclic Recursive Data | 課程博士 |
| 平成8.3.23 | 岩田 覚 | Principal Structure of Submodular Systems and Hitchcock-type Independent Flows | 論文博士 |
| 平成8.3.23 | 玉川安騎男 | The Grothendieck Conjecture for Affine Curves | 論文博士 |
| 平成7.9.25 | 山田浩嗣 | Lie Group Theoretical Construction of Period Mapping | 論文博士 |
| 平成7.3.23 | 山田裕二 | Bethe Ansatz Equations for the Broken ZN -Symmetric Model | 課程博士 |
| 平成7.3.23 | 吉田淳一 | On the Geometry of Differential Equations Associated with the Theta-zerovalue | 課程博士 |
| 平成7.1.23 | 松本 眞 | Galois Representations on Profinite Braid Groups on Curves | 論文博士 |
| 平成6.3.23 | 池田憲明 | Two-Dimensional Gravity and Nonlinear Gauge Theory | 課程博士 |
| 平成6.3.23 | 沈 君佩 | Characterization of the Relatively Compact Subsets ofρ_α^{single} in Space B_{2,σ} | 課程博士 |
| 平成6.3.23 | 西崎真也 | Simply Typed Lambda Calculus with First-class Environments | 課程博士 |
| 平成6.3.23 | 小森洋平 | Semialgebraic Description of Teichm\"uler Space | 課程博士 |
| 平成6.3.23 | 中島俊樹 | Crystal Base and a Generalization of the Littlewood-Richardson Rule for the Classical Lie Algebras | 論文博士 |
| 平成6.3.23 | 泉 正己 | Subalgebras of infinite C*-algebras with finite Watatani Indices I.Guntz Algebras | 論文博士 |
| 平成5.7.29 | 服部隆志 | Constraint Logic Programming with Priority | 論文博士 |
| 平成5.3.23 | 西野和義 | An Application of the Peter-Weyl Theorem to Non-Abelian Lattice Gauge Theory | 課程博士 |
| 平成5.3.23 | 平川正孝 | A Generalization of Conditional Expectation and Operator Valued Weight | 課程博士 |
| 平成4.3.23 | 長谷川 立 | Relational Limits in General Polymorphism | 課程博士 |
| 平成4.3.23 | 佐竹郁夫 | Automorphisms of the Extended Affine Root System and Modular Property for Flat Theta Invariants | 課程博士 |
| 平成3.11.25 | 高山幸秀 | Extraction of Redundancy-free Programs from Constructive Natural Deduction | 論文博士 |
| 平成3.3.23 | 芦野隆一 | On Nagumo's HS -stability in Singular Perturbations | 論文博士 |
| 平成3.3.23 | 中屋敷 厚 | Commuting Partial Differential Operators and Vector Bundles over Abelian Varieties | 課程博士 |
| 平成3.3.23 | Neto.O.M.B. | Blow up for a Holonomic System | 課程博士 |
| 平成2.11.24 | 尾関育三 | On the Microlocal Structure of the Regular Prehomogeneous Vector Space Assocaited with SL(5)×GL(4) | 論文博士 |
