Posted on "2023Y"

All / 2023 Y Archive

09 M

09-09 - 文献阅读

A Correctness and Incorrectness Program Logic

08 M

08-10 - 数学杂记

关于Monad

07 M

07-27 - 文献阅读

Separation Logic Review

07-27 - 数学杂记

Logic categories

07-19 - 文献阅读

A Quantum Interpretation of Bunched Logic And Quantum Separation Logic

06 M

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 - 杂感

时而夕拾