Organization
Graduate School of Informatics Department of Complex Systems Science 1 Designated Assistant Professor
Title
Designated Assistant Professor
UEMURA Taichi
Papers 3
-
A direct-categorical approach to opetopic sets and opetopes Reviewed
Uemura, Taichi
Theory and Applications of Categories Vol. 45 ( 6 ) page： 206 - 245 2026
-
$\infty$-type theories Reviewed International coauthorship
Nguyen, Hoang Kim and Uemura, Taichi
Higher Structures Vol. 9 ( 1 ) page： 179 - 226 2025
-
Tripos and Topos Theory for Fuzzy Logic: Baaz Δ Translation as Lawvere-Tierney Cotopology and Higher-Order Hyperdoctrinal Completion Reviewed International coauthorship
Maruyama, Yoshihiro and Nakata, Satoshi and Uemura, Taichi and Uramoto, Takeo and Yasuda, Arisa
2025 IEEE International Conference on Fuzzy Systems (FUZZ) 2025
Books 2
-
n月刊ラムダノート「特集：計算とは何か」
上村太一（ Role： Contributor , #4 証明を「計算」する ― Cubical Agdaによるホモトピー型理論入門）
ラムダノート株式会社 2026.1
-
数学セミナー2025年11月号
上村太一（ Role： Contributor , 圏を集めるとどうなるの？）
日本評論社 2025.10
Presentations 2
-
An elementary definition of opetopic sets International conference
Taichi Uemura
Kyoto Category Theory Meeting 2025.2.12 Yuki Maehara
-
Higher inductive types in (∞,1)-categories Invited International conference
Taichi Uemura
Workshop on Categorical Structures and Computer Science (2024 Edition) 2024.11.1 Masahito Hasegawa, Hayato Nasu