SuBonan

やがて、平凡な人になる

  • SuBonan
2021-12-26 15k words 14 mins.

组合数学杂记

不是很感兴趣。

- 数学杂记
more...
2021-12-06 40k words 37 mins.

概率论与数理统计

没有什么比年轻时代更感寂寞的了。——《こころ》

- 数学杂记
more...
2021-11-16 5.2k words 5 mins.

Widening Operator & Narrowing Operator

咸咸的海风吹起来初江一般的情愫,唤醒了新治本能的勇气。

- 程序语言理论
more...
2021-11-11 5.1k words 5 mins.

关于抽象解释的一点理解

神游窈冥昏默之乡是一件严肃的事。

- 程序语言理论
more...
2021-11-07 1.8k words 2 mins.

算术表达式和类型范畴之间的一点点关系

然所谓困苦者,乃锻炼之谓,非使之柔弱以自苦也。

- 数学杂记
more...
2021-11-06 4.6k words 4 mins.

关于循环的证明和完全格上单调函数的不动点定理

我最喜欢吃红豆了。

- 数学杂记
more...
2021-11-02 28k words 25 mins.

类型和程序设计语言_续

她很丑,还可怜兮兮的。但她身上洋溢着爱。

- 计算机基础
more...
2021-10-20 50k words 46 mins.

类型和程序设计语言

幸福迟了一夜才来。

- 计算机基础
more...
2021-09-27 54k words 49 mins.

程序设计语言的形式语义(续)

日月如百代过客,去而复返,返而复去。艄公穷生涯于船头;马夫引缰辔迎来老年,日日羁旅,随处栖身。

- 程序语言理论
more...
2021-09-22 49k words 44 mins.

程序设计语言的形式语义

一个没有才华没有灵感的人也没有放弃的资格

- 程序语言理论
more...
1…8910…13
SuBonan

SuBonan

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

Random Posts

  • - 计算机基础
    类型和程序设计语言
  • - 文献阅读
    Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
  • - 量子计算
    Quantum Information
  • - 数学杂记
    线性代数及其应用
  • - 数学杂记
    Sublinear Algorithms
  • - 数学杂记
    Differentiable Manifolds 微分流形
  • - 数学杂记
    Fibration
  • - 数学杂记
    SU(2),SO(3)的表示
  • - 计算机基础
    操作系统
  • - 文献阅读
    Separation Logic Review

Recent Comments

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