Posted on "2022Y10M"

  • SuBonan

All / 2022 Y / 10 MArchive

10-25 - 数学杂记
Homotopy Type Theory
SuBonan

SuBonan

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

Random Posts

  • - 数学杂记
    一点关于Haar Measure
  • - 数学杂记
    傅里叶变换 (绕过群表示论,单位根)
  • - 量子计算
    Quantum Complexity Theory
  • - 数学杂记
    紧致辛群和四元代数
  • - 杂感
    杂想
  • - 数学杂记
    群表示论和特征标
  • - 杂感
    唯有隐瞒和思念从未停止
  • - 数学杂记
    算术表达式和类型范畴之间的一点点关系
  • - 杂感
    憋出来的废话
  • - 数学杂记
    Analysis of Boolean Function (Course Exercise Solutions)

Recent Comments

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