2013-01-18から1日間の記事一覧
ラムダ計算(Lambda calculus)の勉強を少し始めました。プログラマーなので、Boolean Logicについて勉強しました。 not p = (p)(false)(true) a and b = (a)(b)(false) a or b = (a)(true)(b) a xor b = (a)((false)(true))(b)「‘if p then E1 else E2’ は pE…
ラムダ計算(Lambda calculus)の勉強を少し始めました。プログラマーなので、Boolean Logicについて勉強しました。 not p = (p)(false)(true) a and b = (a)(b)(false) a or b = (a)(true)(b) a xor b = (a)((false)(true))(b)「‘if p then E1 else E2’ は pE…