log-2023-03-29

---

PAPERS:

• NetKAT???【PL的文章太反人类了】：for SDN programming...
  新的structural的范式易于验证和诊断【因为这样诊断也可以写成一条条program？】

• NetKAT后续，ryan
  还没理解文章的目的，应该和network关系不大了

CODE:

• Java：String用split() 方法根据匹配给定的正则表达式来拆分字符串。
  注意：【 . 、 $、 | 和 * 等转义字符，必须得加 \】【多个分隔符，可以用 | 作为连字符。】

CONFUSIONS:
*

OTHERS: