kencoba https://blog.hatena.ne.jp/kencoba/ kencobaの日記 https://kencoba.hatenadiary.org/ 私は形式手法とか数学に近い技術大好きです。 近々「MAUDE」の調査勉強会を開こうと画策してます。 そんな私が、Soft Systems Methodologyとか、World Cafeに 強い興味を示すと、「違和感がある」とおっしゃる人がときどきいます。理由は簡単なことです。理由「システム開発の現場には 形式手法では解決できない問題が（たくさん）あるからです」根拠１「形式手法がどんなに発展したとしても、 『何に対し、どうやって形式手法を適用するか』 という問題自体は、開発現場で発生し続ける」 たとえば「集合と述語論理で仕様を表します」と言ったところで、 「何を集合とし、何を真／偽ととらえるか… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkencoba.hatenadiary.org%2Fentry%2F20130224%2F1361678445" title="ヒューマンスキル向上のための「継続したトレーニング」とは何か？ - kencobaの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-02-24 13:00:45 rich https://kencoba.hatenadiary.org/entry/20130224/1361678445 1.0 100%