理論計算機科学

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

アリエールでしょう

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

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

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

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

誰？