http://wired.jp/2011/10/18/%E3%80%8C%E3%82%88%E3%82%8A%E9%80%9F%E3%81%8F%E9%81%A9%E5%88%87%E3%81%AB%E5%AD%A6%E3%81%B9%E3%82%8B%E4%BA%BA%E3%80%8D%EF%BC%9A%E3%81%9D%E3%81%AE%E7%90%86%E7%94%B1/間違いから学ぶのって非常に大切。 なんだが、間違い…

http://rocketnews24.com/2011/07/09/111135/後で確認する。

P49の解説の中でド・モルガンの法則を勝手に使っているわけですが、 そこは証明が必要です。 * (B => A) => (^A => ^B) :[逆対偶律] (1) A => ^^A :[二重否定付加{A -> A}] (2) (B => A) => (B => ^^A) : [仮定付前件後件前件付加{(B => C) -> (1),A -> B}] …

仕事柄、よく「(研修)サービス」や「(人材育成)ソリューション」 について喧々諤々の議論をしている人を見ますが、 すごく空疎な印象を受ける時があります。 こんなことができますって言っても、 「他社もやってますよね」と言われて終わりです。 人数やお金…

http://www.infoq.com/jp/articles/coqtutorial記事は速攻で仕上げました。 毎度のことですが、@tmiya_さんに感謝です。 個人的に、Coqチュートリアル実施の意味は大きい。 実施するまでは、「チュートリアル自体に目新しいことはない」 という意識があった…

年俸1000万の会社の試験問題 2011/09/28 17:34: yoshihiro503 4種類のアルファベット "A,C,G,T" から成るn文字の文字列のうち、 "AAG"という並びが含まれる文字列を全て列挙するプログラムを書きなさい。 ただし、nは3以上の整数とし、文字列内に同じアルフ…

P50に |- E \/ ^Eを示せ、という演習問題がある。公理系は以下の通り。 [公理1] A => (B => A) [公理2] (A => B) => ((A => (B => C)) => (A => C)) [公理3] A => ((A => B) => B) [公理4] A => (B => (A /\ B)) [公理5] (A /\ B) => A [公理6] (A /\ B) => …