理論計算機科学

http://ja.wikipedia....9F%E7%A7%91%E5%AD%A6
この辺の話をしましょう

アリエールでしょう

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

数学記号の表
http://ja.wikipedia....B7%E3%81%AE%E8%A1%A8

Wikipediaはhttpsが使える。

https://ja.wikipedia...9F%E7%A7%91%E5%AD%A6
https://ja.wikipedia...B7%E3%81%AE%E8%A1%A8

x≦x (反射法則 reflexive law)

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

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

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

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

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

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

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

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

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

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

●×●株式会社

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

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

誰？

っ

っ

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

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

84H5O

THB