TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Perlは10年後の2023年には消えてなくなる
自動巡回ソフトというものを作ってみたい
.netグレープシティコンポーネント
次世代言語21 Go Nim Rust Swift Kotlin TypeScript
VBで作られた有名なアプリって何？
今までに見たソースコードで一番感動したのは deux
1行ずつC++を書いてプログラムを作成するスレ
Ruby 初心者スレッド Part 66
Rubyについて（アンチ専用） Part005
メガデモを語る fr-08
- 195 ：
- >>193
>「非形式的な矛盾(=直感に基づく矛盾)」というのは存在する
形式的に意味不明な言明だ。
論理的訓練が不十分のようだから指摘しておく。
>別の箇所では「YはXのサブクラスである」と記述されていれば、それは矛盾だろう
矛盾とはAかつ¬Aが帰結することだ。「XはYのサブクラスである」と
「YはXのサブクラスである」はまだ矛盾ではない。
>ただし、サブクラスというオブジェクト間の関係は(人の)直感として定義されたものだから、
そういう関係もまた形式的に記述するんだよ。
>>194
>形式手法に言及しているのに
>詭弁（誤謬）ばかりってのが皮肉
意味不明。間違いがあれば指摘すればよい。
形式手法＝無謬ということではない。形式手法を偶像崇拝してる？
【DDD】ドメイン駆動設計【エリック・エヴァンス】
2 part forth
Javaはもう死んだの？
Excel VBA 質問スレ Part56
Perlについての質問箱 64箱目
■暗号技術【ROUNDsurea】■
プログラミングのやる気出す方法教えてくれ
UWSC初心者用スレ
Boost総合スレ part10
Win32API質問箱 Build124
--------------------
ポケットモンスター☆SPECIAL part135
【中央日報】米国の浮揚策への期待でＫＯＳＰＩ４％急騰…ウォン相場１ドル＝１２３０ウォン台 [3/25]
【コロナin北海道】北海道、新型コロナ新たに35人感染確認 うち26人は札幌市(過去最多タイ) 延べ650人に 27日 [ごまカンパチ★]
【音楽・新譜】CD・配信・ストリーミングチャート速報/売り上げ議論・予想スレッド 2018/12/21〜
公道でないため道路交通法が適用できず…飲酒運転事故で息子を亡くした両親が法整備の必要性を訴える
Fate/GOスレ
司法予備試験を受けたいんだが
【ファンレター】岡本舞子
【オイル】添加剤について語るスレ【ガソリン】2
【バーチャル】ミライアカリ/萌恵/萌実/ヨメミ/エイレーン関連 #52【YouTuber】
金田式 DCアンプ PART34
｢プラモ狂四郎｣の｢パーフェクトガンダム｣がフィギュア化 ミーハーなコロコロ派には分からんだろうがな [597533159]
けだまのゴンじろー 第5話
【Switch】ひぐらしのなく頃に奉2 【PS4】
【AKB48/STU48】岡田奈々応援スレ☆72【なぁちゃん】
【アズレン】アズールレーン アンチスレ Part39
悲しくなる川柳
りゅうちぇる（本名；比嘉龍二）タトゥーに込めた家族愛 「SNSで公開」 [719884676]
iPhone SE 予約総合 Part3
ネットウヨクってネットアメリカんサヨクだろ
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼