SuBonan

やがて、平凡な人になる

  • SuBonan
2021-11-11 5.1k 単語 5 分

关于抽象解释的一点理解

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

- 程序语言理论
more...
2021-11-07 1.8k 単語 2 分

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

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

- 数学杂记
more...
2021-11-06 4.6k 単語 4 分

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

我最喜欢吃红豆了。

- 数学杂记
more...
2021-11-02 28k 単語 25 分

类型和程序设计语言_续

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

- 计算机基础
more...
2021-10-20 50k 単語 46 分

类型和程序设计语言

幸福迟了一夜才来。

- 计算机基础
more...
2021-09-27 54k 単語 49 分

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

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

- 程序语言理论
more...
2021-09-22 49k 単語 44 分

程序设计语言的形式语义

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

- 程序语言理论
more...
2021-08-28 17k 単語 16 分

量子噪声和量子运算

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

- 量子计算
more...
2021-08-20 15k 単語 14 分

量子搜索

因为生着脚,所以要走

- 量子计算
more...
2021-08-05 36k 単語 33 分

量子Fourier变换

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

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

SuBonan

やがて、平凡な人になる
133 ポスト
10 カテゴリ
  • ホーム
  • プロフィール
  • 投稿
    • アーカイブ
    • カテゴリ

ランダムな記事

  • - 杂感
    记
  • - 数学杂记
    Interactive Proof System
  • - 计算机基础
    Round Elimination
  • - 计算机基础
    Distributed Algorithms
  • - 数学杂记
    SU(2),SO(3)的表示
  • - 数学杂记
    Numerical Analysis
  • - 计算机基础
    类型和程序设计语言
  • - 程序语言理论
    关于抽象解释的一点理解
  • - 数学杂记
    Category theory
  • - 计算机基础
    类型和程序设计语言_续

最近のコメント

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