SuBonan

やがて、平凡な人になる

  • SuBonan
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...
2021-08-28 17k words 16 mins.

量子噪声和量子运算

沙漠之所以美丽,是因为不知在哪里藏着一口水井

- 量子计算
more...
2021-08-20 15k words 14 mins.

量子搜索

因为生着脚,所以要走

- 量子计算
more...
1…8910…13
SuBonan

SuBonan

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

Random Posts

  • - 数学杂记
    Homotopy Type Theory
  • - 计算机基础
    Introduction to Database
  • - 量子计算
    Quantum Key Distribution
  • - 数学杂记
    Cryptography
  • - 计算机基础
    关于Haskell对Kmeans算法parallel并行实现的注释
  • - 数学杂记
    关于Monad
  • - 数学杂记
    傅里叶变换 (绕过群表示论,单位根)
  • - 量子计算
    量子傅里叶变换、隐含子群和特征标
  • - 计算机基础
    C-C++语法
  • - 杂感
    古怪的人

Recent Comments

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