14/06/21 12:26:39.88 o1pt3jAc
URLﾘﾝｸ(ja.wikipedia.org)
この辺の話をしましょう
2:デフォルトの名無しさん
14/06/21 23:36:19.79 mJwMwh/H
アリエールでしょう
3:デフォルトの名無しさん
14/06/22 05:37:57.42 VNKMl0O/
アイちゃん、ついに計算機科学にまで手を出すようになったのかw
4:デフォルトの名無しさん
14/06/22 12:33:17.96 /pj1hG2T
数学記号の表
URLﾘﾝｸ(ja.wikipedia.org)
5:デフォルトの名無しさん
14/06/22 15:44:43.14 EEUbUv+u
Wikipediaはhttpsが使える。
URLﾘﾝｸ(ja.wikipedia.org)
URLﾘﾝｸ(ja.wikipedia.org)
6:デフォルトの名無しさん
14/06/22 18:17:46.21 /pj1hG2T
x≦x (反射法則 reflexive law)
同じxなのに不等号がある不思議。2つのxはそれぞれ別のものを指す？
7:デフォルトの名無しさん
14/06/22 18:30:32.89 b06vElF6
x≦x
⇔x＝xまたはx＜x
⇔trueまたはx＜x
⇔true
8:デフォルトの名無しさん
14/06/22 18:33:49.91 /pj1hG2T
なるほど、さっぱり分からん。
9:デフォルトの名無しさん
14/06/22 18:45:28.94 b06vElF6
≦の定義より、
「x≦x」は、「x＝xまたはx＜x」と同値である。
「x＝x」は、等号の定義より、真(true)である。「x＜x」は偽(false)である。
「x＝xまたはx＜x」、つまり「真または偽」は真である。よって「x≦x」は、真である。
10:デフォルトの名無しさん
14/06/22 19:48:11.27 b06vElF6
ブール代数と命題論理の基本からやり直せ
11:デフォルトの名無しさん
14/06/22 20:43:23.15 /pj1hG2T
なにがなんだかだけど説明ありがとう。こういうのを理解出来る人はすごいと思った。
12:デフォルトの名無しさん
14/06/24 04:16:20.78 p245Yrad
ラムダ計算とかやってもプログラミングの役に立たないよね
13:デフォルトの名無しさん
14/06/24 06:09:13.38 Gaa8YGIE
ま、それどころじゃない人がたまにいるな。