![](https://s.togetter.com/static/web/img/placeholder.gif)
#TPP2014 高信頼な理論と実装のための定理証明および定理証明器
-
yoshihiro503
- 5189
- 0
- 4
- 14
![](https://s.togetter.com/static/web/img/placeholder.gif)
Ph.D 持ちを 100人規模で集めて大規模開発をやってみた、みたいな事例発表が聞いてみたい。大規模開発というと低いレベルに合わせるみたいな話しか耳にしないが。 #tpp2014
2014-12-04 10:53:57![](https://s.togetter.com/static/web/img/placeholder.gif)
「国語」の問題と「数学」の問題 国語の問題の例 - 書式や用語や前提知識が読者と合意されている - 文法や語法や表記が正しい - 全体として読みやすく一貫性を持っている 「数学」の問題の例 略 #TPP2014
2014-12-04 10:56:14![](https://s.togetter.com/static/web/img/placeholder.gif)
@tmiya_ Googleでの開発とか、そういうのありそうだけど、どうなんだろう。 #tpp2014
2014-12-04 11:00:40![](https://s.togetter.com/static/web/img/placeholder.gif)
・ソフトウェアの開発現場では、曖昧な仕様に起因するトラブルが多い ・下流工程の修正コストは上流工程の10^n倍になる ・正しくないプログラムの血管修正は非常に難しい、または(基準点が無いため)不可能である #TPP2014
2014-12-04 11:15:17![](https://s.togetter.com/static/web/img/placeholder.gif)
「SONYでは昔は新人はプログラム書いたりテストを書いたりしていたが、2000年くらいからすぐに仕様を書かされるようになった」 #tpp2014
2014-12-04 11:19:46![](https://s.togetter.com/static/web/img/placeholder.gif)
・正しい使用を自然言語で書くのは困難である(形式仕様記述言語を用いても困難である) ・曖昧さの排除が困難 ・ツールに寄るチェックが出来ない ・仕様を書きながら「擬似コード」を考えなければならないことが多くなるが、文法の検討に時間がかる #TPP2014
2014-12-04 11:20:01![](https://s.togetter.com/static/web/img/placeholder.gif)
・図表のレイアウト検討や記述にも時間がかかる ・変更管理が困難である ・改善方法やその基準がわからない…(仕様書がメンテ出来ない、されない…) ・仕様っぽいものが誰にでも書けてしまう… #TPP2014
2014-12-04 11:20:12![](https://s.togetter.com/static/web/img/placeholder.gif)
@Alcor80UMa @違ったので再投稿:たしかWhyのグループは、verificationのために形式的仕様が必要だが、現場のエンジニアが書いてくれないという問題に対し、形式的仕様からのテストケース生成を現場にも分かりやすいご利益/入口にしようとしてたはず #TPP2014
2014-12-04 11:32:07![](https://s.togetter.com/static/web/img/placeholder.gif)
「orとxorの違いもわからない人が仕様を書くべきではない。今はパワポがちょっとできるくらいの人が書いていてそれはちょっとよくない」 #tpp2014
2014-12-04 11:40:14![](https://s.togetter.com/static/web/img/placeholder.gif)
Q:どうやってVDMを使うことについて上の方を説得した? A:別の会社ができたことによって責任の所在が明らかになり、またその会社が品質を必要としていたので得に反対はされなかった。 #TPP2014
2014-12-04 11:45:31![](https://s.togetter.com/static/web/img/placeholder.gif)
仕組みを作る/仕様書を書く人は数学力大事 - #TPP2014 高信頼な理論と実装のための定理証明および定理証明器 - Togetterまとめ togetter.com/li/753501 via @togetter_jp
2014-12-04 11:47:41![](https://s.togetter.com/static/web/img/placeholder.gif)
…。「仕様記述と称して,手続き的日本語プログラミングを行っている」『#TPP2014 高信頼な理論と実装のための定理証明および定理証明器』 togetter.com/li/753501
2014-12-04 12:16:28