理論計算機科学

1 ：デフォルトの名無しさん：2014/06/21(土) 12:26:39.88 ID:o1pt3jAc.net

http://ja.wikipedia.org/wiki/%E7%90%86%E8%AB%96%E8%A8%88%E7%AE%97%E6%A9%9F%E7%A7%91%E5%AD%A6
この辺の話をしましょう

2 ：デフォルトの名無しさん：2014/06/21(土) 23:36:19.79 ID:mJwMwh/H.net

アリエールでしょう

3 ：デフォルトの名無しさん：2014/06/22(日) 05:37:57.42 ID:VNKMl0O/.net

アイちゃん、ついに計算機科学にまで手を出すようになったのかw

4 ：デフォルトの名無しさん：2014/06/22(日) 12:33:17.96 ID:/pj1hG2T.net

数学記号の表
http://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E8%A8%98%E5%8F%B7%E3%81%AE%E8%A1%A8

5 ：デフォルトの名無しさん：2014/06/22(日) 15:44:43.14 ID:EEUbUv+u.net

Wikipediaはhttpsが使える。

https://ja.wikipedia.org/wiki/%E7%90%86%E8%AB%96%E8%A8%88%E7%AE%97%E6%A9%9F%E7%A7%91%E5%AD%A6
https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E8%A8%98%E5%8F%B7%E3%81%AE%E8%A1%A8

6 ：デフォルトの名無しさん：2014/06/22(日) 18:17:46.21 ID:/pj1hG2T.net

x≦x (反射法則 reflexive law)

同じxなのに不等号がある不思議。2つのxはそれぞれ別のものを指す？

7 ：デフォルトの名無しさん：2014/06/22(日) 18:30:32.89 ID:b06vElF6.net

x≦x
⇔x＝xまたはx＜x
⇔trueまたはx＜x
⇔true

8 ：デフォルトの名無しさん：2014/06/22(日) 18:33:49.91 ID:/pj1hG2T.net

なるほど、さっぱり分からん。

9 ：デフォルトの名無しさん：2014/06/22(日) 18:45:28.94 ID:b06vElF6.net

≦の定義より、
「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.net

ブール代数と命題論理の基本からやり直せ

11 ：デフォルトの名無しさん：2014/06/22(日) 20:43:23.15 ID:/pj1hG2T.net

なにがなんだかだけど説明ありがとう。こういうのを理解出来る人はすごいと思った。

12 ：デフォルトの名無しさん：2014/06/24(火) 04:16:20.78 ID:p245Yrad.net

ラムダ計算とかやってもプログラミングの役に立たないよね

13 ：デフォルトの名無しさん：2014/06/24(火) 06:09:13.38 ID:Gaa8YGIE.net

ま、それどころじゃない人がたまにいるな。

14 ：デフォルトの名無しさん：2014/07/07(月) 15:14:31.86 ID:6Eg2BT83.net

☆★☆★テナント募集☆★☆★

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

●×●株式会社

15 ：デフォルトの名無しさん：2014/08/09(土) 00:27:40.89 ID:HSrMRzTM.net

>>12 関数型言語のコンパイラ作るとか。考え方の話でしかないが

16 ：デフォルトの名無しさん：2014/08/10(日) 13:22:24.52 ID:aTEKyeJh.net

http://www.buzzword.jp/img/face10.png

17 ：デフォルトの名無しさん：2015/01/05(月) 09:18:19.88 ID:QjGpUT4P.net

誰？

18 ：デフォルトの名無しさん：2016/01/28(木) 19:58:33.38 ID:nR/femifK

暗号のスレはないですか？

19 ：デフォルトの名無しさん：2016/03/16(水) 00:52:05.96 ID:NQIFMv0E.net

っ

20 ：デフォルトの名無しさん：2016/03/31(木) 19:03:47.71 ID:r8NAJ7HM.net

っ

21 ：デフォルトの名無しさん：2016/07/30(土) 19:26:04.77 ID:NvFaplhA.net

【閲覧注意】戦闘に巻き込まれて頭部を切断された少女の遺体。これがリアルなシリア。
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
中国で撮影された首吊り自殺の映像です。既に死んでいると書いてあるけど自分で揺らしているようにみない？ｗｗｗ

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

22 ：デフォルトの名無しさん：2018/05/23(水) 22:18:14.09 ID:Au5e7VGg.net

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

84H5O

23 ：デフォルトの名無しさん：2018/07/04(水) 23:46:05.08 ID:gFgZc5FG.net

THB