TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Borland Developer Studio 2006 No.13
Ruby 初心者スレッド Part 66
ぶっちゃけ始めるのにいい言語て何？
ExcelVBAで勤務表を作ろう
Mathematicaプログラミング　質問箱　その1
【Delphi】Embarcaderoオッチャ その31【C++ﾋﾞﾙﾀﾞ】
サウンドプログラミング5
俺主催囲碁プログラミングコンテスト
Pythonのお勉強 Part63
Subversion r15
202 ：
>>195
スマン、言葉が足りなかったようだ
>>193での「非形式的な矛盾」とは「(UMLのような)非形式手法における矛盾」のこと
そして非形式手法においても矛盾(という概念)は(人間的な)直感として存在していることを言いたかった
たとえそれが形式主義の視点では「意味不明な言明」であったとしても....

>>ただし、サブクラスというオブジェクト間の関係は(人の)直感として定義されたものだから、
>そういう関係もまた形式的に記述するんだよ。
形式手法であれば、構築しようとする体系(システム)におけるサブクラスという関係を
(形式的に)定義するのは当然のことだね
ここで、もしもサブクラスの(形式的な)定義に交換律を含めれば、
「XはYのサブクラスである」かつ「YはXのサブクラスである」(という仕様記述)は矛盾ではなくなる
つまり、(形式手法の)証明ではサブクラス(というコトバ)から人が連想する直感的な意味は無視される
たとえば、仮にサブクラス(というコトバ)の代わりに机や椅子(というコトバ)で仕様が記述されていても
(無矛盾であることを)証明できるのが形式手法であり、それが非形式手法との違いになる

次世代言語18 Go Rust Elixir Kotlin TypeScript
CORBAなら俺に聞け
【.cmd】 バッチファイルスクリプト %12 【.bat】
Excel VBA 質問スレ Part62
【超高速】C/C++に代わる低級言語を開発したい 8
ゲームプログラムなら俺に聞け33
proce55ing　プログラミングアート全般
【Lua】組み込み系言語総合 その7【Squirrel】
Tapestryについて語ろうよ！
オブジェクト指向ってクソかよPart5
--------------------
マレーシア旅行 Part40
＠＠Ｐｅｒｌチャットでの荒らし対策＠＠
モデルガンスレ　その64
ヘルメット総合スレッド Part283
【食品】謎肉3種入りカップヌードル「三代目謎肉祭」
JK「おっさん。現実見ろって。JKが本気で惚れる男は同世代のイケメン。なにをトチ狂って金以外でくっさいオッサンを選ぶんだかｗ」 [411361542]
動画撮影に適した一眼レフデジカメ
愛知の優良中小企業おしえて
【うみねこ】07th Expansion批判スレ24【ひぐらし】
イースシリーズを語れ！ 第35章
【梅芸】梅田芸術劇場総合8【ドラマシティ】
ミスミの関東流事業所って結局どうなったん
【雑談】白猫プロジェクト 1221匹
本気で里見八犬伝の大河を求むスレ
FTW ごきげんよう痛プリンセス 11
Fate/Grand Order 超まったりスレ☆293
◆進撃の巨人ネタバ.レスレpa.rt2183
宇宙戦艦ヤマト2205新たなる旅立ち Part2
【MHW】弓スレ　94張目
電通大とかいうセンターコケたやつにオススメの大学
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼