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


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch