ウラモト タケオ
浦本 武雄
URAMOTO TAKEO
所属
マス・フォア・インダストリ研究所 応用理論研究部門 助教
理学部 数学科（併任）
数理学府 数理学専攻（併任）
マス・フォア・イノベーション連係学府
（併任）
工学部 機械工学科（併任）
職名
助教
プロフィール
代数学および理論計算機科学の研究を行なっています．
ホームページ
-
https://researchmap.jp/takeouramoto
Research Map
外部リンク
学位
-
学士（理学）（京都大学）
-
修士（理学）（京都大学）
-
博士（理学）（京都大学）
研究テーマ・研究キーワード
-
研究テーマ：代数的言語理論と類体論の融合研究
研究キーワード：代数的言語理論，類体論
研究期間： 2017年1月
-
研究テーマ：計算理論および代数的言語理論の研究
研究キーワード：計算理論，代数的言語理論，圏論
研究期間： 2009年4月
論文
-
A short essay on the interplay between algebraic language theory, galois theory, and class field theory: comparing physics and theory of computation 国際誌
Takeo Uramoto
2022年12月
-
Semi-galois Categories II: An arithmetic analogue of Christol's theorem 査読
Takeo Uramoto
Journal of Algebra 508 ( 15 ) 539 - 568 2018年8月
-
Semi-galois Categories I: The Classical Eilenberg Variety Theory 査読 国際誌
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 査読 国際誌
Yusuke Imoto, Naoya Yamanaka, Takeo Uramoto, Masato Tanaka, Masaki Fujikawa, Naoto Mitsume
JSIAM Letters 2020年6月
-
Hyper-dual numbersを用いたOgden型超弾性モデルの定式化とその性能評価 査読
藤川 正毅, 田中 真人, 井元 佑介, 三目 直登, 浦本 武雄, 山中 脩也
日本機械学会論文集 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 査読
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 査読 国際誌
Takeo Uramoto
Proceedings of Relational and Algebraic Methods in Computer Science, 2014 2014年4月
-
双対性による正規言語のVariety Theory
浦本武雄
数理解析研究所講究録 2014年2月
書籍等出版物
-
圏論の地平線
西郷甲矢人（ 担当： 共著）
2024年4月
-
正規表現技術入門：最新エンジン実装と理論的背景
新屋 良磨, 鈴木 勇介, 高田 謙, 喜田 拓也, 浦本 武雄（ 担当： 共著）
2015年5月
講演・口頭発表等
-
Semi-galois Categories I: The Classical Eilenberg Variety Theory 国際会議
Takeo Uramoto
Annual ACM/IEEE Symposium on Logic in Computer Science 2016年7月
-
On the integrality of algebraic Witt vectors over imaginary quadratic fields 国際会議
Yasuhiro Ishitsuka, Takeo Uramoto
Symbolic Computation in Software Science 2021年9月
-
Finite automata and non-commutative analogue of Lambda rings 国際会議
Takeo Uramoto
CALCO Early Ideas Workshop 2017年6月
-
A modified completeness theorem of KAT and decidability of term reducibility 国際会議
Takeo Uramoto
Relational and Algebraic Methods in Computer Science 2014年4月
MISC
-
代数的言語理論の圏論的公理化とガロア理論との統一
浦本 武雄
現代思想 2020年7月
-
計算階層 / 代数的言語理論とガロア理論の統一がもたらすもの
浦本 武雄
数学セミナー2019年12月号 2019年12月
-
圏論入門の足掛かり
浦本武雄，丸山善宏
数学セミナー 2022年3月
学術貢献活動
-
圏論の歩き方
2011年7月 - 2015年8月
共同研究・競争的資金等の研究課題
-
代数的言語理論と類体論の融合研究
研究課題/領域番号：22K03248 2022年 - 2026年
日本学術振興会 科学研究費助成事業 基盤研究(C)
担当区分：研究代表者 資金種別：科研費
-
超双対数に基づく高精度・高速微分計算理論の構築
2022年
IMI共同利用研究若手・学生研究-短期共同研究
担当区分：研究分担者 資金種別：学内資金・基金等
-
代数的言語理論と類体論の新しい接点の追求
2021年
共同利用研究（若手研究-短期共同研究）
担当区分：研究代表者 資金種別：学内資金・基金等
-
正規言語の所属問題への副有限モノイドと擬ガロア圏の構造論の応用
研究課題/領域番号：40759726 2016年 - 2019年
科学研究費助成事業 若手研究(A,B)
担当区分：研究代表者 資金種別：科研費
教育活動概要
-
数学・計算機科学に関わる教育に携わっている．
担当授業科目
-
数学トランジション基礎
2024年4月 - 2024年9月 前期
-
数学トランジション基礎I
2023年4月 - 2023年9月 前期
-
複素関数論
2022年10月 - 2023年3月 後期
-
数学トランジション基礎I
2022年4月 - 2022年9月 前期
-
複素関数論
2021年10月 - 2022年3月 後期
-
数学トランジション基礎1
2021年4月 - 2021年9月 前期
社会貢献活動
-
言語に潜むパターンを記述せよ！〜数理の力とその展望〜
東北大学大学院情報科学研究科 仙台 2019年2月
学内運営に関わる各種委員・役職等
-
2021年6月 - 現在 研究所 広報委員