「「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn」
public from 2023/3/28 「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう @hisaketMhisaketM https://twitter.com/h
Webページ
コンテンツ文字数：0 文字
見出し数（H2/H3タグ）：0 個
閲覧数：64 件
2023-03-29 11:03:59
オリジナルページを開く
