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

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

Random Posts

  • - 数学杂记
    TSP问题中消除子圈的MTZ约束
  • - 程序语言理论
    关于抽象解释的一点理解
  • - 计算机基础
    Machine Learning 机器学习
  • - 数学杂记
    Interactive Proof System
  • - 数学杂记
    线性代数及其应用
  • - 数学杂记
    Sublinear Algorithms
  • - 数学杂记
    组合数学杂记
  • - 计算机基础
    C++中数组和内存分布
  • - 杂感
    杂想
  • - 数学杂记
    The relation between DFA and Functors

Recent Comments

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