サクサク読めて、アプリ限定の機能も多数！
まあプログラムすらいろんな書き方できるよう変わって形式的でなくなっていくからな
cartman0 のブックマーク 2023/03/29 13:56
このブックマークにはスターがありません。 最初のスターをつけてみよう！
scrapbox.io/tkgshn2023/03/29
それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう
260 人がブックマーク・27 件のコメント
＼ コメントが サクサク読める アプリです ／
まあプログラムすらいろんな書き方できるよう変わって形式的でなくなっていくからな
このブックマークにはスターがありません。
最初のスターをつけてみよう！