2025/03/06 更新

写真a

ウエムラ　タイチ
上村　太一
UEMURA Taichi
所属
大学院情報学研究科 複雑系科学専攻 多自由度システム情報論 特任助教
職名
特任助教
 

講演・口頭発表等 2

  1. An elementary definition of opetopic sets 国際会議

    Taichi Uemura

    Kyoto Category Theory Meeting  2025年2月12日  Yuki Maehara

    　詳細を見る

    開催年月日： 2025年2月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Kyoto University   国名：日本国  

  2. Higher inductive types in (∞,1)-categories 招待有り 国際会議

    Taichi Uemura

    Workshop on Categorical Structures and Computer Science (2024 Edition)  2024年11月1日  Masahito Hasegawa, Hayato Nasu

    　詳細を見る

    開催年月日： 2024年10月 - 2024年11月

    記述言語：英語   会議種別：口頭発表（招待・特別）  

    開催地：RIMS, Kyoto Univerisity   国名：日本国  

講演・口頭発表等の先頭へ▲