2023.10.10
https://www.youtube.com/watch?v=ULKfiKvBES4
はい
知った
これのバッジおもしろいな
https://img.shields.io/badge/dynamic/json.svg?label=/sno2wman&labelColor=FFFFFF&color=383B44&style=flat-square&suffix=%20pages&query=$.count&url=https://scrapbox.io/api/pages/sno2wman#.svg
https://img.shields.io/badge/dynamic/json.svg?label=/sno2wman&labelColor=FFFFFF&color=383B44&style=flat-square&suffix=%20pages&query=$.count&url=https://scrapbox.io/api/pages/sno2wman#.svg
調べた
観た
美しいOPで泣いてた
驚きの展開
メモ
思った
ものすごく大雑把な感覚ではあるけども1970年代に開発されたプログラミング言語が今でも用いられている上に2023年現在の技術スタックと比べても遜色ないぐらいの速度が出るというのは不気味に感じる
(Taitの?)片側シークエント計算が結局の所どういう点で証明論的な分析や形式化において良い点があるのかをいまいち把握出来ていない メモ
メモ
知った
大学のレポートにおれが登場してるらしい