Posted on "2022Y10M"

  • SuBonan

All / 2022 Y / 10 MArchive

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

SuBonan

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

Random Posts

  • - 数学杂记
    运筹学
  • - 数学杂记
    离散数学-代数系统
  • - 杂感
    杂想
  • - 量子计算
    Pretty Good Measurements and HSP
  • - 量子计算
    量子线路
  • - 外语
    日本语笔记
  • - 数学杂记
    Johnson-Lindenstrauss Lemma
  • - 绘画
    加藤惠生贺图
  • - 数学杂记
    Time Hierarchy Theorem
  • - 数学杂记
    对称群的表示

Recent Comments

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