Posted on "2022Y10M"

  • SuBonan

All / 2022 Y / 10 MArchive

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

SuBonan

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

Random Posts

  • - 数学杂记
    紧致辛群和四元代数
  • - 程序语言理论
    Widening Operator & Narrowing Operator
  • - 数学杂记
    Galois Connection & Galois Embedding
  • - 数学杂记
    Basic LWE Problem
  • - 数学杂记
    概率论与数理统计
  • - 量子计算
    Quantum Random Walk
  • - 程序语言理论
    程序设计语言的形式语义（续）
  • - 数学杂记
    一点关于Set Cover的近似算法
  • - 数学杂记
    离散数学-图论部分
  • - 杂感
    古怪的人

Recent Comments

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