サクサク読めて、アプリ限定の機能も多数!
masa8aurum のブックマーク 2023/03/29 10:52
「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn[Formal-Method][あとで読む]2023/03/29 10:52
このブックマークにはスターがありません。 最初のスターをつけてみよう!
scrapbox.io/tkgshn2023/03/29
それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう
261 人がブックマーク・27 件のコメント
\ コメントが サクサク読める アプリです /
masa8aurum のブックマーク 2023/03/29 10:52
このブックマークにはスターがありません。
最初のスターをつけてみよう!
「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn
scrapbox.io/tkgshn2023/03/29
それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう
261 人がブックマーク・27 件のコメント
\ コメントが サクサク読める アプリです /