分类1 on Martin's space

High-level Petri Net(COMP201)

Wed, 11 Jan 2023 20:47:53 +0000

复（预）习过程中遇到Petri net，记录一下

Petri Net是一种系统模型。因为不确定哪个transition会先fire，所以它是非确定性的，通常被用于建立离散分布式系统。

Sat, 07 Jan 2023 09:36:47 +0000

总结每天学到的知识点和有价值的题型

Sun, 01 Jan 2023 15:37:32 +0000

刷leetcode总能看见哈希表，对哈希表有大致的了解，但是一直不知道HashTable，HashMap和HashSet在Java中的区别。今天看到一个博主的文章再结合官方文档的学习，受益良多，记录一下。

Sat, 31 Dec 2022 10:56:24 +0000

2022，低开高走并且创出新高的一年。

Fri, 30 Dec 2022 22:51:29 +0000

贴标签命令实现版本控制

Fri, 30 Dec 2022 14:58:23 +0000

生成Reference的神器

Fri, 16 Dec 2022 17:24:27 +0000

大家都是幸运者，世界上只有幸运者。有朝一日，所有的其他人无一例外，都会被判死刑，他自己也会被判死刑，幸免不了。

这两天在赶due，总会心烦意乱，于是找到了《局外人》这本书，花了两天的空闲时间读完了这个哲学（？）著作。

Fri, 16 Dec 2022 16:04:33 +0000

git config --global user.name "name"

git config --global user.email "email@gmail.com"

其中name写自己的名字，email@gmail.com写自己的email

Fri, 09 Dec 2022 14:41:23 +0000

CYK——非常高效的解析算法