「％s」で公開された記事

全て / 2023 年 アーカイブ

09 月

09-09 - 文献阅读

A Correctness and Incorrectness Program Logic

08 月

08-10 - 数学杂记

关于Monad

07 月

07-27 - 文献阅读

Separation Logic Review

07-27 - 数学杂记

Logic categories

07-19 - 文献阅读

A Quantum Interpretation of Bunched Logic And Quantum Separation Logic

06 月

06-26 - 文献阅读

Communication Complexity and Lower Bounds for Streaming Algorithm

06-18 - 数学杂记

Sketching Algorithms for Big Data

06-14 - 计算机基础

Introduction to Database

06-10 - 数学杂记

Johnson-Lindenstrauss Lemma

06-06 - 杂感

时而夕拾