2ちゃんねる★スマホ版★■掲示板に戻る■全部1-最新50

理論計算機科学

1 :
デフォルトの名無しさん
2014/06/21(土) 12:26:39.88 ID:o1pt3jAc
2 :
2014/06/21(土) 23:36:19.79 ID:mJwMwh/H
アリエールでしょう
3 :
2014/06/22(日) 05:37:57.42 ID:VNKMl0O/
アイちゃん、ついに計算機科学にまで手を出すようになったのかw
4 :
2014/06/22(日) 12:33:17.96 ID:/pj1hG2T
5 :
2014/06/22(日) 15:44:43.14 ID:EEUbUv+u
6 :
2014/06/22(日) 18:17:46.21 ID:/pj1hG2T
x≦x (反射法則 reflexive law)

同じxなのに不等号がある不思議。2つのxはそれぞれ別のものを指す?
7 :
2014/06/22(日) 18:30:32.89 ID:b06vElF6
x≦x
⇔x=xまたはx<x
⇔trueまたはx<x
⇔true
8 :
2014/06/22(日) 18:33:49.91 ID:/pj1hG2T
なるほど、さっぱり分からん。
9 :
2014/06/22(日) 18:45:28.94 ID:b06vElF6
≦の定義より、
「x≦x」は、「x=xまたはx<x」と同値である。
「x=x」は、等号の定義より、真(true)である。「x<x」は偽(false)である。
「x=xまたはx<x」、つまり「真または偽」は真である。よって「x≦x」は、真である。
10 :
2014/06/22(日) 19:48:11.27 ID:b06vElF6
ブール代数と命題論理の基本からやり直せ
11 :
2014/06/22(日) 20:43:23.15 ID:/pj1hG2T
なにがなんだかだけど説明ありがとう。こういうのを理解出来る人はすごいと思った。
12 :
デフォルトの名無しさん
2014/06/24(火) 04:16:20.78 ID:p245Yrad
ラムダ計算とかやってもプログラミングの役に立たないよね
13 :
2014/06/24(火) 06:09:13.38 ID:Gaa8YGIE
ま、それどころじゃない人がたまにいるな。
14 :
2014/07/07(月) 15:14:31.86 ID:6Eg2BT83
☆★☆★テナント募集☆★☆★

イベント企画のできる方、求ム!!
このスレの活用法を一緒に考えませんか?

●×●株式会社
15 :
2014/08/09(土) 00:27:40.89 ID:HSrMRzTM
>>12 関数型言語のコンパイラ作るとか。考え方の話でしかないが
16 :
2014/08/10(日) 13:22:24.52 ID:aTEKyeJh
17 :
2015/01/05(月) 09:18:19.88 ID:QjGpUT4P
誰?
18 :
2016/03/16(水) 00:52:05.96 ID:NQIFMv0E
19 :
2016/03/31(木) 19:03:47.71 ID:r8NAJ7HM
20 :
デフォルトの名無しさん
2016/07/30(土) 19:26:04.77 ID:NvFaplhA
【閲覧注意】戦闘に巻き込まれて頭部を切断された少女の遺体。これがリアルなシリア。
http://dqnworld.com/archives/34.html
これが本当の戦争の恐怖。この少女には大人の戦争は関係ないですからね。巻き込まれた少女の遺体を持って何か
を訴えかけている男たちの映像です。

【閲覧注意】シリアで反体制派の兵士が顔を吹き飛ばされてしまう瞬間。
http://dqnworld.com/archives/89.html
スローモーションが怖すぎる・・・。

【閲覧注意】アッラーフアクバルを叫びながら少年を斬首する映像を公開する。
http://dqnworld.com/archives/3975.html
点滴?のようなものが見えるんだけど。助けられた少年じゃなかったのか。助けられた所を強奪されてアッラーフ
アクバル?なのかしら・・・。

【閲覧注意】磔にされた戦闘機パイロットの遺体。シリアにて。
http://dqnworld.com/archives/3996.html
今日のアッラーフアクバル動画。

【閲覧注意】この首吊り自殺、足スレスレだけど本当に死ねてる?
http://dqnworld.com/archives/4001.html
中国で撮影された首吊り自殺の映像です。既に死んでいると書いてあるけど自分で揺らしているようにみない?www

妻の目の前でぶっ飛ばされた旦那さん?これは死んだかな(°_°)
http://dqnworld.com/archives/4004.html
さすがにこれだけ飛ばされたら助からないかな・・・。
6KB

新着レスの表示

★スマホ版★■掲示板に戻る■全部前100次100最新50

名前:E-mail: