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

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

Random Posts

  • - 数学杂记
    Galois Theory
  • - 数学杂记
    Something About Linear Logic
  • - 数学杂记
    Immerman-Szelepcsényi Theorem
  • - 数学杂记
    马尔科夫链-蒙特卡洛方法及其一个例子Metropolis-Hastings抽样
  • - 外语
    日本语笔记
  • - 绘画
    絵
  • - 杂感
    杂感
  • - 文献阅读
    A Correctness and Incorrectness Program Logic
  • - 数学杂记
    一点关于Fourier transformation的东西
  • - 计算机基础
    类型和程序设计语言_续

Recent Comments

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