- C++相談室 part114
931 ：デフォルトの名無しさん[sage]：2014/12/15(月) 19:53:35.24 ID:U6CA+1sN - >>930
対偶をとると
「C++で書くのは公開するプログラムだ」
となるが、正しいか？
|
- C++相談室 part114
945 ：デフォルトの名無しさん[sage]：2014/12/15(月) 21:09:31.72 ID:U6CA+1sN - >>930の言明は
Pがプログラムであるとき
公開しない → C++で書かない
と解釈できるから、その対偶は
Pがプログラムであるとき
C++で書く → 公開する
となる。もしPがプログラムではなく小説だとしたらC++で書かれていても公開する必要はない。
（C++で小説が書けるとは言っていない）
|
- C++相談室 part114
950 ：デフォルトの名無しさん[sage]：2014/12/15(月) 21:25:02.44 ID:U6CA+1sN - >>948
＞「しない」の反対は「することもある」だぞ
左側が命題論理で右側が述語論理か？それはおかしいだろ。
|
- C++相談室 part114
951 ：デフォルトの名無しさん[sage]：2014/12/15(月) 21:30:31.85 ID:U6CA+1sN - >>948
この場合、「すべて(∀)」と「ある(∃)」の入れ替えとかは関係ない
Pをプログラムの集合としたとき、
∀p∈P ( pを公開しない → pはC++で書かない )
∀p∈P ( pはC++で書かれている → pを公開する )
の両者が同値だと言ってるので、書き換えは （ ） の中だけ。
|
- 関数型プログラミング言語Haskell Part26
679 ：デフォルトの名無しさん[sage]：2014/12/15(月) 22:09:34.09 ID:U6CA+1sN - 「SQLは集合論や群論をベースとしている」とか言われても笑止千万なんですが、Haskellと圏論の関係もそんな感じですか？
|
- 関数型プログラミング言語Haskell Part26
683 ：デフォルトの名無しさん[sage]：2014/12/15(月) 22:23:26.31 ID:U6CA+1sN - >>680
covariant return typeしか知らん。
反変ってなんだっけ？
|
- 関数型プログラミング言語Haskell Part26
690 ：デフォルトの名無しさん[sage]：2014/12/15(月) 23:23:46.56 ID:U6CA+1sN - >>688
集合論の「成果」が反映されているとか書いてるサイトがあって、そういうのは笑止千万だと思う。
ただのベン図とか直積といったレベルなんだもん。
|