SuBonan

やがて、平凡な人になる

  • SuBonan
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...
2021-08-05 36k words 33 mins.

量子Fourier变换

我常认为是丑女造就了美人,是愚氓举出了智者,是懦夫衬照了英雄,是众生渡化了佛祖。

- 量子计算
more...
2021-07-28 24k words 22 mins.

量子线路

万物皆有裂痕,那是光照进来的地方

- 量子计算
more...
1…91011…14
SuBonan

SuBonan

やがて、平凡な人になる
132 posts
10 categories
  • Home
  • About
  • Posts
    • Archives
    • Categories

Random Posts

  • - 数学杂记
    关于复合函数极限的运算法则
  • - 数学杂记
    一点关于Fourier transformation的东西
  • - 文献阅读
    Algorithms for Dynamic Geometric Problems over Data Streams
  • - 数学杂记
    SU(2),SO(3)的表示
  • - 杂感
    时而夕拾
  • - 数学杂记
    离散数学-集合部分
  • - 量子计算
    量子线路
  • - 量子计算
    量子噪声和量子运算
  • - 量子计算
    Kraus Theorem
  • - 数学杂记
    关于Monad

Recent Comments

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