TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
35歳、発達障害のB型作業所通いですが ６
C++相談室 part149
pythonista総合スレ【IOSで勉強できる】
VBAなんでも質問スレ Part2
Excel VBA 質問スレ Part62
Tapestryについて語ろうよ！
SDL=Simple DirectMedia Layerでゲームだ
プログラム板へのID導入の投票実施中 月曜0:00まで
NullPointerExceptionを「ぬるぽ」と呼ぶスレ6
C++相談室 part149
- 202 ：
- >>195
スマン、言葉が足りなかったようだ
>>193での「非形式的な矛盾」とは「(UMLのような)非形式手法における矛盾」のこと
そして非形式手法においても矛盾(という概念)は(人間的な)直感として存在していることを言いたかった
たとえそれが形式主義の視点では「意味不明な言明」であったとしても....
>>ただし、サブクラスというオブジェクト間の関係は(人の)直感として定義されたものだから、
>そういう関係もまた形式的に記述するんだよ。
形式手法であれば、構築しようとする体系(システム)におけるサブクラスという関係を
(形式的に)定義するのは当然のことだね
ここで、もしもサブクラスの(形式的な)定義に交換律を含めれば、
「XはYのサブクラスである」かつ「YはXのサブクラスである」(という仕様記述)は矛盾ではなくなる
つまり、(形式手法の)証明ではサブクラス(というコトバ)から人が連想する直感的な意味は無視される
たとえば、仮にサブクラス(というコトバ)の代わりに机や椅子(というコトバ)で仕様が記述されていても
(無矛盾であることを)証明できるのが形式手法であり、それが非形式手法との違いになる
C++相談室 part138
C/C++の宿題片付けます 170代目
Visual Studio Code / VSCode Part3
Visual Studio 2017 Part7
MATLABプログラミング 質問箱 その4
C言語相談室(上級者専用）
Rubyの設計上の欠点とは何か？
Boost総合スレ part10
リーダブルコーディング技術スレ
Visual Studio 2019
--------------------
【ダンス】SKEだったくーさんこと矢神久美ちゃん（の幸せを祈りつつSKEメンバーをなでるスレ）☆288【にゃはっぴｰ】
軍用拳銃を語るスレ North Korean Type 68 pistol
パイプスモーキングQ＆A Part61
東京のはて★町田支店★について語ろ
天理教の青年部に入ってる人
なんで日本人って「キリスト教」っていったらカトリックのイメージなの？ 世界的にはプロテスタントの方が多いのに [412864614]
体内の放射能を除去する方法を考えるスレ
【中国を】日印軍事同盟すべし 【挟撃】
別館★羽生結弦＆オタオチスレ10379
【阿由葉】滋賀県のボーリング場は土下座するのか？
■■■■ 世界中おまえら全員R！(FD830談)■■■■
秋篠宮佳子内親王親衛隊 第105師団
アナザーゴッド ハーデス -奪われたZEUS- part174
はすみとしこ「百田尚樹は何十万部と売れる大作家だから。それに付き纏うコバンザメがうぜえな」 [348858341]
【ﾈﾀﾊﾞﾚ厳禁】東海地方地上波総合スレ 4
【BBH】たかせん【若鷹軍団】
カレー板なんかあったんだね
◆スレッド作成依頼スレッド※
【原発】原発情報4092【放射能】
sugarheart☆
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
