[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part8 (994ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
913(3): デフォルトの名無しさん [sage] 2008/05/10(土)09:58
>>912
Haskellで証明が可能な場合が多いのではなく、すべての関数について証明をすることができる。
もちろん非常に難しいものもあるが。
再帰関数は証明が簡単である事が多いという事実もある。
>>908
形式的な証明は常に必要な訳ではない。今すぐ使いたいシステムで、多少のバグは許容される場合は、
形式手法は向いていない。
しかし、不具合が許されないシステム開発においては、テスト行程に莫大な予算がかかってしまう。
[参考] UFJ銀行のシステム統合↓
http://itpro.nikkeibp.co.jp/article/OPINION/20080423/299886/
これは、システム開発にCOBOLやJavaなどを使っているためである。
915(1): デフォルトの名無しさん [sage] 2008/05/10(土)12:02
俺は頭が悪いんで他人の意図が読みとれないのだが>>913は
『不具合が許されないシステム開発においてはHaskellで開発すればよい』
と言ってるのか？
936: 912 [sage] 2008/05/10(土)21:22
>>913
なるほど。自分はHaskell学習中で、BirdのIntroduction〜を読んでるの
ですが、最終章に証明アプリみたいなのが出てきますよね。
これを見て凄く感動しましたw。こういうのがHaskell開発の統合環境のような
ものでサポートされれば、関数選択して簡潔な表記へ変換とか、色んなことが
可能なんじゃないか。ユニットテストも全く違った形で、凄い精度よくできるん
じゃないかと思ったんですね。
969(1): デフォルトの名無しさん [sage] 2008/05/14(水)00:02
>>913
投資額2500億円、開発工数11万人月
三菱東京UFJ銀行は2007年8月までにサブシステムの開発と単体テストを終え，
9月から今日に至る8カ月間，接続テスト，総合テスト，最終確認テストと，
ひたすらテストを重ねてきた。
↓
UFJ システム統合 テスト不十分
http://www.nhk.or.jp/news/t10014535911000.html#
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s