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