所属
大学院情報学研究科 複雑系科学専攻 多自由度システム情報論 特任助教
職名
特任助教
ウエムラ タイチ
上村 太一
UEMURA Taichi
論文 3
-
A direct-categorical approach to opetopic sets and opetopes 査読有り
Uemura, Taichi
Theory and Applications of Categories 45 巻 ( 6 ) 頁： 206 - 245 2026年
-
$\infty$-type theories 査読有り 国際共著
Nguyen, Hoang Kim and Uemura, Taichi
Higher Structures 9 巻 ( 1 ) 頁： 179 - 226 2025年
-
Tripos and Topos Theory for Fuzzy Logic: Baaz Δ Translation as Lawvere-Tierney Cotopology and Higher-Order Hyperdoctrinal Completion 査読有り 国際共著
Maruyama, Yoshihiro and Nakata, Satoshi and Uemura, Taichi and Uramoto, Takeo and Yasuda, Arisa
2025 IEEE International Conference on Fuzzy Systems (FUZZ) 2025年
書籍等出版物 2
-
n月刊ラムダノート「特集：計算とは何か」
上村太一（ 担当： 分担執筆 , 範囲: #4 証明を「計算」する ― Cubical Agdaによるホモトピー型理論入門）
ラムダノート株式会社 2026年1月
-
数学セミナー2025年11月号
上村太一（ 担当： 分担執筆 , 範囲: 圏を集めるとどうなるの？）
日本評論社 2025年10月
講演・口頭発表等 2
-
An elementary definition of opetopic sets 国際会議
Taichi Uemura
Kyoto Category Theory Meeting 2025年2月12日 Yuki Maehara
-
Higher inductive types in (∞,1)-categories 招待有り 国際会議
Taichi Uemura
Workshop on Categorical Structures and Computer Science (2024 Edition) 2024年11月1日 Masahito Hasegawa, Hayato Nasu