Kagoshima University · Graduate School of Science and Engineering · 准教授

Research keywordssemi-galois categories・Eilenberg variety theory・Kleene algebra with tests・fuzzy logic・topos theory・hyperdoctrines・logic in computer science・finite models

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Takeo Uramoto . Semi-galois Categories I: The classical Eilenberg variety theory . Journal of Pure and Applied Algebra229 ( 2 ) 1078632025 · 掲載種別： 研究論文（学術雑誌） 出版者・発行元： Elsevier BV DOI： 10.1016/j.jpaa.2025.107863
• Y. Maruyama, S. Nakata, T. Uemura, T. Uramoto and A. Yasuda . Tripos and Topos Theory for Fuzzy Logic: Baaz Δ Translation as Lawvere-Tierney Cotopology and Higher-Order Hyperdoctrinal C2025 · 記述言語： 英語 掲載種別： 研究論文（国際会議プロシーディングス） DOI： 10.1109/FUZZ62266.2025.11152210
• 浦本武雄2022
• 藤川 正毅, 田中 真人, 井元 佑介, 三目 直登, 浦本 武雄, 山中 脩也 . Hyper-dual numbersを用いたOgden型超弾性モデルの定式化とその性能評価 . 日本機械学会論文集86 ( 881 ) 19-00256 2020年12020 · 記述言語： 日本語 掲載種別： 研究論文（学術雑誌）

• 代数的言語理論と類体論の融合研究2022 · 配分額： 3510000円 （ 直接経費： 2700000円 、 間接経費： 810000円 ）
• 正規言語の所属問題への副有限モノイドと擬ガロア圏の構造論の応用2016 · 配分額： 3640000円 （ 直接経費： 2800000円 、 間接経費： 840000円 ） 正規言語の分類理論であるEilenberg理論を公理化し、その整数論への応用例を見つけた。特にBorgerが定義した意味でのWitt vectorに対するChristolの定理の類似を証明した。その後、この定理の続編としてBostとConnesによって導入されたBost-Connes系というC*力学系の数論的部分代数とWitt vectorのなす代数が同型であることを観察している。このことから、Witt vectorをmodular関数の変形族の特殊値によって実現できるだろうことを示唆を得て、それに関する観察を得た。

• Official profile