理論計算機科学

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

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

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

●×●株式会社
0015デフォルトの名無しさん2014/08/09(土) 00:27:40.89 ID:HSrMRzTM
>>12 関数型言語のコンパイラ作るとか。考え方の話でしかないが
0016デフォルトの名無しさん2014/08/10(日) 13:22:24.52 ID:aTEKyeJh
0017デフォルトの名無しさん2015/01/05(月) 09:18:19.88 ID:QjGpUT4P
誰?
0018デフォルトの名無しさん2016/03/16(水) 00:52:05.96 ID:NQIFMv0E
0019デフォルトの名無しさん2016/03/31(木) 19:03:47.71 ID:r8NAJ7HM
0020デフォルトの名無しさん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
さすがにこれだけ飛ばされたら助からないかな・・・。
新着レスの表示
レスを投稿する