Posted on "2022Y10M"

  • SuBonan

All / 2022 Y / 10 MArchive

10-25 - 计算机与数学
Homotopy Type Theory
SuBonan

SuBonan

やがて、平凡な人になる
图形学作业请点这里
75 posts
10 categories
13 tags
  • Home
  • About
  • Posts
    • Archives
    • Categories

Random Posts

  • 组合数学杂记
  • 絵
  • 计算理论错题补全计划
  • - 量子计算
    量子傅里叶变换、隐含子群和特征标
  • - 照片
    Pictures
  • - 语文 - 随笔
    憋出来的废话
  • 程序设计语言的形式语义（续）
  • - 计算机与数学
    Category theory
  • 计算机网络
  • - 杂感
    记

Recent Comments

    © 2019 – 2023 SuBonan @ SuBonan
    Powered by Hexo & Theme.Shoka