2023.07.06
https://gyazo.com/a723748b49414568dfec49d82dcc3b86
前:
2023.07.05
後:
2023.07.07
#日報
やった
Fedibird
の方にいくつかのトゥートをした
定理証明支援系用のフォントについて
大いなる工業!
読んだ
鹿島 亮; "コンピュータサイエンスにおける様相論理"
様相μ計算
について
思った
様相μ計算
ムズすぎる
表記が煩雑すぎて面倒すぎるのが一点,
不動点
の概念があんまり理解できないのが一点…