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