URAMOTO TAKEO
Organization
Institute of Mathematics for Industry Division of Applied Mathematics Assistant Professor
School of Sciences Department of Mathematics（Concurrent）
Graduate School of Mathematics Department of Mathematics（Concurrent）
Joint Graduate School of Mathematics for Innovation
（Concurrent）
School of Engineering
（Concurrent）
Title
Assistant Professor
Profile
My research concerns algebra and theoretical computer science.
Homepage
-
https://researchmap.jp/takeouramoto
Research Map
External link
Degree
-
学士（理学）（京都大学）
-
修士（理学）（京都大学）
-
Ph.D (Science) (Kyoto University)
Research Interests・Research Keywords
-
Research theme：algebraic language theory and class field theory
Keyword：algebraic language theory, class field theory
Research period： 2017.1
-
Research theme：theory of computation and algebraic language theory
Keyword：theory of computation, algebraic language theory, category theory
Research period： 2009.4
Papers
-
A short essay on the interplay between algebraic language theory, galois theory, and class field theory: comparing physics and theory of computation International journal
Takeo Uramoto
2022.12
-
Semi-galois Categories II: An arithmetic analogue of Christol's theorem Reviewed
Takeo Uramoto
Journal of Algebra 508 ( 15 ) 539 - 568 2018.8
-
Semi-galois Categories I: The Classical Eilenberg Variety Theory Reviewed International journal
Takeo Uramoto
Proceedings of Logic in Computer Science, 2016 2016.7
-
Fundamental theorem of matrix representations of hyper-dual numbers for computing higher-order derivatives Reviewed International journal
Yusuke Imoto, Naoya Yamanaka, Takeo Uramoto, Masato Tanaka, Masaki Fujikawa, Naoto Mitsume
JSIAM Letters 2020.6
-
Hyper-dual numbersを用いたOgden型超弾性モデルの定式化とその性能評価 Reviewed
藤川 正毅, 田中 真人, 井元 佑介, 三目 直登, 浦本 武雄, 山中 脩也
日本機械学会論文集 86 ( 881 ) 19-00256 2020.1
-
On an unsuccessful construction of semi-galois categories
2051 137 - 142 2017.10
-
Canonical finite models of Kleene algebra with tests Reviewed
Takeo Uramoto
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 85 ( 4 ) 595 - 616 2016.6
-
正規言語のVariety Theoryと動的命題論理
浦本 武雄
数理解析研究所講究録 1964 133 - 151 2015.10
-
A modified completeness theorem of KAT and decidability of term reducibility Reviewed International journal
Takeo Uramoto
Proceedings of Relational and Algebraic Methods in Computer Science, 2014 2014.4
-
双対性による正規言語のVariety Theory
浦本武雄
数理解析研究所講究録 2014.2
Books
-
圏論の地平線
西郷甲矢人（ Role： Joint author）
2024.4
-
正規表現技術入門：最新エンジン実装と理論的背景
新屋 良磨, 鈴木 勇介, 高田 謙, 喜田 拓也, 浦本 武雄（ Role： Joint author）
2015.5
Presentations
-
Semi-galois Categories I: The Classical Eilenberg Variety Theory International conference
Takeo Uramoto
Annual ACM/IEEE Symposium on Logic in Computer Science 2016.7
-
On the integrality of algebraic Witt vectors over imaginary quadratic fields International conference
Yasuhiro Ishitsuka, Takeo Uramoto
Symbolic Computation in Software Science 2021.9
-
Finite automata and non-commutative analogue of Lambda rings International conference
Takeo Uramoto
CALCO Early Ideas Workshop 2017.6
-
A modified completeness theorem of KAT and decidability of term reducibility International conference
Takeo Uramoto
Relational and Algebraic Methods in Computer Science 2014.4
MISC
-
代数的言語理論の圏論的公理化とガロア理論との統一
浦本 武雄
現代思想 2020.7
-
計算階層 / 代数的言語理論とガロア理論の統一がもたらすもの
浦本 武雄
数学セミナー2019年12月号 2019.12
-
圏論入門の足掛かり
浦本武雄，丸山善宏
数学セミナー 2022.3
Academic Activities
-
圏論の歩き方
2011.7 - 2015.8
Research Projects
-
代数的言語理論と類体論の融合研究
Grant number：22K03248 2022 - 2026
日本学術振興会 科学研究費助成事業 基盤研究(C)
Authorship：Principal investigator Grant type：Scientific research funding
-
超双対数に基づく高精度・高速微分計算理論の構築
2022
IMI共同利用研究若手・学生研究-短期共同研究
Authorship：Coinvestigator(s) Grant type：On-campus funds, funds, etc.
-
代数的言語理論と類体論の新しい接点の追求
2021
共同利用研究（若手研究-短期共同研究）
Authorship：Principal investigator Grant type：On-campus funds, funds, etc.
-
正規言語の所属問題への副有限モノイドと擬ガロア圏の構造論の応用
Grant number：40759726 2016 - 2019
科学研究費助成事業 若手研究(A,B)
Authorship：Principal investigator Grant type：Scientific research funding
Educational Activities
-
I engage in education on mathematics and computer science.
Class subject
-
数学トランジション基礎
2024.4 - 2024.9 First semester
-
数学トランジション基礎I
2023.4 - 2023.9 First semester
-
複素関数論
2022.10 - 2023.3 Second semester
-
数学トランジション基礎I
2022.4 - 2022.9 First semester
-
複素関数論
2021.10 - 2022.3 Second semester
-
数学トランジション基礎1
2021.4 - 2021.9 First semester
Social Activities
-
言語に潜むパターンを記述せよ！〜数理の力とその展望〜
東北大学大学院情報科学研究科 仙台 2019.2