河東泰之「セミナーの準備のしかたについて」は本当に正しいのか？

河東泰之「セミナーの準備のしかたについて」は本当に正しいのか？at MATH

河東泰之「セミナーの準備のしかたについて」は本当に正しいのか？ - 暇つぶし2ch263:１３２人目の素数さん
23/12/09 20:47:11.56 c0Pat/gf.net
>>225
>HoTTで
(参考)
URLﾘﾝｸ(phsc.jp)
科学基礎論学会
HoTTと圏論の哲学的用途
才川隆文 (Takafumi Saikawa) 名古屋大学大学院多元数理科学研究科博士後期課程
田中健策 (Kensaku Tanaka) 名古屋大学大学院多元数理科学研究科博士後期課程

次ページ

続きを表示

1を表示