TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
Gtkプログラミング on Windows!!!
【DDD】ドメイン駆動設計【エリック・エヴァンス】
GPGPU#5
古代VBプログラマ質問スレ（Ver.6.0 まで） part65
Excel VBA 質問スレ Part61
BrainFuck Part.3 <[+-.,]>
【質問】C++でソフト開発したい！【初心者】
設計思想/ソフトウェア工学(UML, デザパタetc)
人工知能を作ろうver0.0.7
【GNU】Emacs Lisp 【Elisp】
186 ：
>>185
横レスだけど、形式手法の証明においては式に含まれる記号の意味は「無価値」だということ
記号の意味を分かる必要は無いし、
証明の過程で記号の意味は完全に無視され「形式(公理や定理)」だけが価値を持つ
ソフトウェア仕様記述は現実世界のモヤモヤした実体(=モノ)をある体系でモデル化することから始まる
たとえばUML等のOOA/OODでは現実世界をオブジェクトの集まりと捉え、オブジェクトの持つ属性や
オブジェクト間の(継承や部分といった)関係を定義することによって(非形式的な)モデル化を進める
ここでは実体をコトバとして抽象化する事を、具体的には定義するオブジェクト/属性/関係などの
命名(naming)を、つまり(人にとっての)直感的な意味を重要視する
これによって(人にとって)分かりやすく、特に共同作業下における仕様イメージの統一的な共有化を図る
これに対して、形式手法では現実世界をモデル化することは(視覚化手法と)同じだけれど、
数学という形式的な体系を用いる点が異なる
つまり、ある式(=モデル)が直感的には(=人にとっては)いかに分かりやすくて正しく見えようとも、
いいかえるといかにOO的視点では優れた設計であっても、形式に矛盾があれば誤りであると見なす

Androidプログラミング質問スレ revision54
■WindowsCEプログラミング（EVC PB3含む）Ver2.2■
【統計分析】機械学習・データマイニング24
Visual Studio 2019
おまいらのプログラムの勉強の仕方を教えろください
ねえ、これ僕間違ってる？
Perlについての質問箱 64箱目
Java低速GUI Swing 10
●●●●TCL/TKなら俺に聞け 4●●●●
この先き主流となる言語
--------------------
☆【ミカクワ VS ランバージャック】★
ホロスコープ読める方お願いします
【企業】神奈川県庁の転売HDD、全て回収　富士通リースとブロードリンクに指名停止処分
あんさんぶるスターズ！葬式会場part55
【製品】レノボ、初代から7年ぶり刷新の「ThinkPadトラックポイントキーボードII」 [田杉山脈★]
コナミ厚木
鮎釣り 総合 鮎9
【芸能】 常盤貴子は“混浴”へっちゃら、おじさんと仲良く 2020/03/27
【コロナ19】 「アベ政権の『嫌韓』助長政策、日本社会に食い込んでいる」～恵泉女学園大学イ・ヨンチェ教授[03/16]
飛鳥「乃木坂の９年目は個人活動より音楽とかの本質を強くしたい」
アイアンイーグルは戦闘機映画ナンバー１
風俗好きそうな力士
オトメの帝国／岸虎次郎 7
2018/19　Vリーグ女子division1総合スレ　Part10
天秤座ABはいませんか？　8っぽい
ボウリング場の常連について語るスレッド
BS11 アニメ+ ANIME+ 実況◆1516 ﾀﾞﾝﾍﾞﾙ何㌔持てる?
【BTC】ビットコイン情報交換スレッド 2379【アフィ
オンラインカジノ スロット専門スレ part20
ご注文はうさぎですか？　第4羽
TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼