TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Excel VBA 質問スレ Part63
DarkGDK Part.4
【論理】Prolog【初心者】
BASICの宿題はお前にまかせた
【COBOLから】バッチ処理【Javaまで】
師匠！1週間よろしくお願いするぞ！
Git 16
VBSで便利なプログラムを作れスレ
C++は難しすぎ 難易度:4
Objective-C [ObjC part:9];
- 203 ：
- >>202
>交換律を含めれば
細かいのだが、ここは、反対称律を含めなければ、だな
>つまり、(形式手法の)証明ではサブクラス(というコトバ)から人が連想する直感的な意味は無視される
>たとえば、仮にサブクラス(というコトバ)の代わりに机や椅子(というコトバ)で仕様が記述されていても
>(無矛盾であることを)証明できるのが形式手法であり、それが非形式手法との違いになる
この辺り、ヒルベルト流の「形式主義」の説明なら妥当だが、ソフトウェア工学の「形式手法」の
説明としては相当ズレてると思う
Pythonのお勉強 Part56
【えっ】Perlに未来はあるのか？【終わり？】
ますたーのお勉強中の独り言スレ
オブジェクト指向は愚かな考え。この世は計算式 ★3
メガデモを語る fr-08
プログラマは大卒じゃないと就活厳しいってホント?
ふらっと C#,C♯,C＃（初心者用） Part145
Excel VBA 質問スレ Part62
Rust Part6
データ構造,アルゴリズム,デザインパターン総合ｽﾚ 3
--------------------
【韓国】通りすがりの女子児童に自分の性器を見せて、「大きいか、大きくないか？」[09/08]
【悪徳ガン商法】北斗晶闘病中★173★【闘病ショー】
【ﾃｸﾉﾎﾟｯﾌﾟﾕﾆｯﾄ】Perfume 3532【できるかな】
山コムで遭遇した厚顔無恥な相乗り乞食BBA＾＾
彼氏のいない23〜26歳の独身女性 part5
沖縄国際大学
【JKマスク】＜新型コロナ＞西東京市にマスク3万枚 中国籍の女子高生が寄贈 [蚤の市★]
Vパラダイスグラビア
せんせースレ（OKスレ）
【国会】立憲民主党や国民民主党、安倍内閣不信任案提出を検討 玉木氏「災害復興中に法案審議を急いでる」と批判 週明け最終局面へ
【お笑い】最弱青森やきゅ〜(笑)について語ろう 4【フルボッコ】
【装蹄】みんなで語ろう【２釘目】
【大洗】商船三井フェリー PART9.4【苫小牧】
STGの進化が斑鳩で止まってる件
■ BSスカパー！ ■ Hello! Project COUNTDOWN PARTY 2018〜GOOD BYE ＆ HELLO!〜 第２部 ■ 18:55〜20:30 ■
【NGT48】小見山 沙空 応援スレ（２期生） 【さらちゃん】
『Fate/Grand Order -絶対魔獣戦線バビロニア-』12月21日、28日は総集編を放送。1stクールを振り返る制作スタッフ登壇の一挙上映会も決定
オタクとタイマン張ったらどうなる？
■■速報＠ゲーハー板 ver.52526■■
【映画】汎用スレ 2020/05/3〜【音楽】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
