最終更新日: 2026年7月21日
[English]
Ludwig-Maximilians-Universität München (LMU Munich / ミュンヘン大学，ドイツ)，博士課程 [研究室のマイページ]
指導教員: Michael Walter 先生
メールアドレス: keiya.sakabe (at) lmu.de
2026年4月 – ： Ludwig-Maximilians-Universität München (ミュンヘン大学，ドイツ) 博士課程在籍
2025年5月 – 2026年3月： Ruhr-Universität Bochum (ルール大学ボーフム，ドイツ) 博士課程在籍
2025年3月： 東京大学 大学院情報理工学系研究科 数理情報学専攻 修士課程修了
2023年3月： 東京大学 工学部 計数工学科 卒業
2018年3月： 海陽中等教育学校 卒業
修士論文： Convergence Analyses of First-Order Optimization Methods for Unbounded Convex Functions (非有界凸関数に対する一次最適化手法の収束性解析)
指導教員：松尾宇泰先生
学士論文： 非有界な凸関数に対する最急降下法と行列スケーリングへの応用
指導教員：平井広志先生
Strassen’s support functionals coincide with the quantum functionals.
Keiya Sakabe, Mahmut Levent Doğan, Michael Walter.
[arXiv]
Accepted at the 67th IEEE Symposium on Foundations of Computer Science (FOCS 2026).
Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions.
Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou.
[Proceeding][arXiv]
41st Annual Symposium on Logic in Computer Science (LICS 2026), pp. 15:1–15:28, 2026.
Gradient descent for unbounded convex functions on Hadamard manifolds and its applications to scaling problems.
Hiroshi Hirai, Keiya Sakabe.
[Journal][Proceeding][arXiv]
Mathematics of Operations Research, available online.
Proceedings of the 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS 2024), pp. 2387–2402, 2024.
Finding Hall blockers by matrix scaling.
Koyo Hayashi, Hiroshi Hirai, Keiya Sakabe.
[Journal][arXiv]
Mathematics of Operations Research 49(4):2166–2179, 2024.
Entropic tensor scaling computes the quantum functionals.
[Slides]
2026年7月： TENORS Workshop 2 – Computational Methods for Tensors in Mathematics and Quantum Physics，トレント(イタリア)
Entanglement polytopes, algorithms, and applications.
[Slides]
2026年6月： MCQST Summer School 2026，ゾントホーフェン(ドイツ)
非有界な凸関数に対する加速勾配法の収束性．
[スライド]
2025年3月： 日本オペレーションズ・リサーチ学会2025年春季研究発表会，東京
Gradient descent for unbounded convex functions on Hadamard manifolds and its applications to scaling problems.
[Slides]
2025年2月： MFO-RIMS Tandem Workshop: Optimization, Theoretical Computer Science and Algebraic Geometry: Convexity and Beyond，京都
Gradient descent for unbounded convex functions on Hadamard manifolds and its applications to scaling problems.
[YouTube][Slides]
2024年10月： 65th IEEE Symposium on Foundations of Computer Science (FOCS) 2024，シカゴ (アメリカ)
Gradient descent for unbounded convex functions on Hadamard manifolds and its applications to scaling problems.
[Slides]
2024年10月： AFSA・数理CS合同セミナー，東京
Hadamard 多様体上の非有界凸関数に対する最急降下法と作用素スケーリング問題への応用．
[スライド]
2024年5月： 最適化の理論とアルゴリズム：未来を担う若手研究者の集い2024，RAOTA，つくば
Hadamard 多様体上の非有界凸関数に対する勾配流・最急降下法と作用素スケーリング問題への応用．
[スライド]
2024年3月： 最適化：モデリングとアルゴリズム，東京
逆立ち独楽に対する構造保存数値解法．
[スライド]
2024年3月： 日本応用数理学会第20回研究部会連合発表会，長岡
Steepest descent algorithm for unbounded convex functions.
2023年12月： Quantum Information Colloquium, ボーフム (ドイツ)
非有界な凸関数の最適化と行列スケーリングへの応用．
2023年5月： 最適化の理論とアルゴリズム：未来を担う若手研究者の集い2023，RAOTA，つくば
非有界な凸関数の最適化と行列スケーリングへの応用．
2023年3月： 日本応用数理学会第19回研究部会連合発表会，岡山
2026年4月 – 2026年9月： Advanced Quantum Information，ミュンヘン大学
担当： Michael Walter 先生
2023年10月 – 2024年3月： 数学1D，東京大学
担当： 江澤雅彦先生
2023年4月 – 2023年9月： 数理情報工学実験第二，東京大学
担当： 佐藤峻先生
優秀発表賞． 最適化の理論とアルゴリズム：未来を担う若手研究者の集い 2024，RAOTA，2024年5月，つくば
優秀発表賞． 最適化の理論とアルゴリズム：未来を担う若手研究者の集い 2023，RAOTA，2023年5月，つくば
工学部長賞 (学修)． 2023年3月，東京大学工学部