理論計算機科学

**デフォルトの名無しさん** · 2014/06/21(土) 12:26:39.88

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
この辺の話をしましょう

**デフォルトの名無しさん** · 2014/06/21(土) 23:36:19.79

アリエールでしょう

**デフォルトの名無しさん** · 2014/06/22(日) 05:37:57.42

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

**デフォルトの名無しさん** · 2014/06/22(日) 12:33:17.96

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

**デフォルトの名無しさん** · 2014/06/22(日) 15:44:43.14

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

**デフォルトの名無しさん** · 2014/06/22(日) 18:17:46.21

x≦x (反射法則 reflexive law)

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

**デフォルトの名無しさん** · 2014/06/22(日) 18:30:32.89

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

**デフォルトの名無しさん** · 2014/06/22(日) 18:33:49.91

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

**デフォルトの名無しさん** · 2014/06/22(日) 18:45:28.94

≦の定義より、
「x≦x」は、「x＝xまたはx＜x」と同値である。
「x＝x」は、等号の定義より、真(true)である。「x＜x」は偽(false)である。
「x＝xまたはx＜x」、つまり「真または偽」は真である。よって「x≦x」は、真である。

**デフォルトの名無しさん** · 2014/06/22(日) 19:48:11.27

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

**デフォルトの名無しさん** · 2014/06/22(日) 20:43:23.15

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

**デフォルトの名無しさん** · 2014/06/24(火) 04:16:20.78

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

**デフォルトの名無しさん** · 2014/06/24(火) 06:09:13.38

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

**デフォルトの名無しさん** · 2014/07/07(月) 15:14:31.86

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

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

●×●株式会社

**デフォルトの名無しさん** · 2014/08/09(土) 00:27:40.89

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

**デフォルトの名無しさん** · 2014/08/10(日) 13:22:24.52

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

**デフォルトの名無しさん** · 2015/01/05(月) 09:18:19.88

誰？

**デフォルトの名無しさん** · 2016/03/16(水) 00:52:05.96

っ

**デフォルトの名無しさん** · 2016/03/31(木) 19:03:47.71

っ

**デフォルトの名無しさん** · 2016/07/30(土) 19:26:04.77

【閲覧注意】戦闘に巻き込まれて頭部を切断された少女の遺体。これがリアルなシリア。
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
さすがにこれだけ飛ばされたら助からないかな・・・。

**デフォルトの名無しさん** · 2018/05/23(水) 22:18:14.09

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

84H5O

**デフォルトの名無しさん** · 2018/07/04(水) 23:46:05.08

THB