mu

[mu @my_read_any]

ソフトウェア工学の歴史と同じ事を繰り返してる気がする。自然言語だと曖昧→形式化手法に頼ろう→現場で誰も読めないよ→UMLとかで半形式化しよう→UMLで全部書くのは大変→ER図とシーケンス図と要件書くらいに落ち着く

[mizchi @mizchi]

機械的に検査できない自然言語をマスターとして接地させようとする限り仕様駆動は失敗する。
LLM を形式手法とドメインの翻訳機として使うべきで、人間側は自然言語で問い合わせるが、自然言語そのものを仕様として使うべきではない。