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

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

Random Posts

  • - 数学杂记
    Sketching Algorithms for Big Data
  • - 数学杂记
    Analysis of Boolean Function （Course Exercise Solutions)
  • - 量子计算
    Pretty Good Measurements and HSP
  • - 数学杂记
    数学分析（上）
  • - 数学杂记
    Yoneda Lemma 米田引理
  • - 数学杂记
    关于循环的证明和完全格上单调函数的不动点定理
  • - 数学杂记
    Johnson-Lindenstrauss Lemma
  • - 数学杂记
    傅里叶变换 (绕过群表示论，单位根)
  • - 数学杂记
    Lambda Cube
  • - 量子计算
    Quantum Random Walk

Recent Comments

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