形式手法がお客さんやプロダクトオーナの思い込み・勘違いを指摘してくれるなら役に立つんだがな。お客様！条件を指定しない検索は役に立ちません！POも新人が書いたWhere句のないSQLをレビュー通さないで！

turanukimaru のブックマーク 2023/03/29 12:48

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4734327200310061412/comment/turanukimaru" data-user-id="turanukimaru" 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/turanukimaru/profile.png">「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn</a><br><p style="clear: left">形式手法がお客さんやプロダクトオーナの思い込み・勘違いを指摘してくれるなら役に立つんだがな。お客様！条件を指定しない検索は役に立ちません！POも新人が書いたWhere句のないSQLをレビュー通さないで！</p><a class="datetime" href="https://b.hatena.ne.jp/turanukimaru/20230329#bookmark-4734327200310061412"><span class="datetime-body">2023/03/29 12:48</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

はてなのサービス