ノンコードだろうが設計することからは逃れられないのだ

princo_matsuri のブックマーク 2023/03/29 10:52

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4734327200310061412/comment/princo_matsuri" data-user-id="princo_matsuri" data-entry-url="https://b.hatena.ne.jp/entry/s/scrapbox.io/tkgshn/%E3%80%8C%E3%81%9B%E3%81%A3%E3%81%8B%E3%81%8F%E8%A8%98%E5%8F%B7%E3%82%92%E4%BD%BF%E3%81%A3%E3%81%9F%E5%BD%A2%E5%BC%8F%E6%89%8B%E6%B3%95%E3%81%8C%E3%81%82%E3%82%8B%E3%81%AE%E3%81%AB%E8%87%AA%E7%84%B6%E8%A8%80%E8%AA%9E%E3%81%AB%E6%88%BB%E3%82%8B%E3%81%AE%E3%81%8B%E3%80%8D%E3%81%A8%E3%81%84%E3%81%86%E3%83%84%E3%82%A4%E3%83%BC%E3%83%88" data-original-href="https://scrapbox.io/tkgshn/%E3%80%8C%E3%81%9B%E3%81%A3%E3%81%8B%E3%81%8F%E8%A8%98%E5%8F%B7%E3%82%92%E4%BD%BF%E3%81%A3%E3%81%9F%E5%BD%A2%E5%BC%8F%E6%89%8B%E6%B3%95%E3%81%8C%E3%81%82%E3%82%8B%E3%81%AE%E3%81%AB%E8%87%AA%E7%84%B6%E8%A8%80%E8%AA%9E%E3%81%AB%E6%88%BB%E3%82%8B%E3%81%AE%E3%81%8B%E3%80%8D%E3%81%A8%E3%81%84%E3%81%86%E3%83%84%E3%82%A4%E3%83%BC%E3%83%88" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fscrapbox.io%2Ftkgshn%2F%25E3%2580%258C%25E3%2581%259B%25E3%2581%25A3%25E3%2581%258B%25E3%2581%258F%25E8%25A8%2598%25E5%258F%25B7%25E3%2582%2592%25E4%25BD%25BF%25E3%2581%25A3%25E3%2581%259F%25E5%25BD%25A2%25E5%25BC%258F%25E6%2589%258B%25E6%25B3%2595%25E3%2581%258C%25E3%2581%2582%25E3%2582%258B%25E3%2581%25AE%25E3%2581%25AB%25E8%2587%25AA%25E7%2584%25B6%25E8%25A8%2580%25E8%25AA%259E%25E3%2581%25AB%25E6%2588%25BB%25E3%2582%258B%25E3%2581%25AE%25E3%2581%258B%25E3%2580%258D%25E3%2581%25A8%25E3%2581%2584%25E3%2581%2586%25E3%2583%2584%25E3%2582%25A4%25E3%2583%25BC%25E3%2583%2588" data-user-icon="/users/princo_matsuri/profile.png">「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn</a><br><p style="clear: left">ノンコードだろうが設計することからは逃れられないのだ</p><a class="datetime" href="https://b.hatena.ne.jp/princo_matsuri/20230329#bookmark-4734327200310061412"><span class="datetime-body">2023/03/29 10:52</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn

scrapbox.io/tkgshn2023/03/29

それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう

261 人がブックマーク・27 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn

はてなブックマーク

公式Twitter

はてなのサービス