次回の「ゲーデルを読もう」の担当範囲。 命題論理の定理はすべて恒真式である。 (comment 「ゲーデル 不完全性発見への道」 北田均 より 3.3 命題論理の定理の真理値 ) (defn implies [x y] (if (and (= x true) (= y false)) false true)) (defn third [ls…

雍也第六 十九 子曰わく、人の生くるは直し。之を罔いて生くるは、幸にして免るるなり。素直さが大切であるというのは昔から言われている。 ただし、素直であることと愚かであることは違う。 この違いの表現に近いのはこれか。 子路第十三 二三 子曰わく、君…

研修用にインストーラを作成していると、 Eclipseの設定に手間がかかる。\workspace\.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.jdt.core.prefs org.eclipse.jdt.core.compiler.problem.enumIdentifier=error org.eclipse.jdt.core…

http://www.excel-img.com/save02.html なんだ、できるじゃん。

http://partake.in/events/30381166-394a-4fab-a5ea-5984d051de01みんなすごいなぁ。