Posted on "2023Y09M"

  • SuBonan

All / 2023 Y / 09 MArchive

09-16 - 数学杂记
Galois Connection & Galois Embedding
09-09 - 文献阅读
A Correctness and Incorrectness Program Logic
SuBonan

SuBonan

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

Random Posts

  • - 杂感
    回忆一下最近读过的小说
  • - 数学杂记
    线性代数翻书
  • - 数学杂记
    Logic categories
  • - 杂感
    睡美人
  • - 计算机基础
    汇编语言乱七八糟的优化
  • - 数学杂记
    Ladner's Theorem
  • - 照片
    Pictures
  • - 量子计算
    量子傅里叶变换、隐含子群和特征标
  • - 文献阅读
    Computation & Programs
  • - 计算机基础
    计算机网络

Recent Comments

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