http://kokucheese.com/event/index/29606/会社で「人財育成の勉強の中で、さらっと統計を勉強したい」というお話がでた。私としては、人財育成に関するコミュニティ活動として、幅広くやっていくうちの一つにしたい。 というわけで、「蔵人(くろうど:Claude…

Adapter pattern https://gist.github.com/1875764Bridge pattern https://gist.github.com/1875758Composite pattern https://gist.github.com/1875890Decorator pattern https://gist.github.com/1875983

Singleton pattern https://gist.github.com/1874937Prototype pattern https://gist.github.com/1874918FactoryMethod pattern https://gist.github.com/1874123AbstractFactory pattern https://gist.github.com/1873880Builder pattern https://gist.gith…

https://gist.github.com/1874937これは敢えて言うまでもないScalaの機能のはず。

https://gist.github.com/1874918これもサンプルがあった。 http://d.hatena.ne.jp/nanjakkun/20100807/1281139973

https://gist.github.com/1874123すばらしいお手本がありました。 http://blog.designrecipe.jp/2011/01/03/factory-method-strategy/

https://gist.github.com/1874015これのJava版をそのままScalaにコピー、しようとしたのだが・・・ http://en.wikipedia.org/wiki/Builder_pattern PizzaBuilderとPizzaが相互参照してるので、 scalaプロンプト上では:loadできないですな。 しかたないのでab…

https://gist.github.com/1873880これのJava版をそのままScalaにコピーした。 http://en.wikipedia.org/wiki/Abstract_factory_pattern

http://kokucheese.com/event/index/23669/ ときどき、技術セミナーのお手伝いをすることがあります。 その時思うのは「継続＆蓄積は宝」ということ。 このセミナーも、前回実施した内容を踏まえて、 今回の参加者の方と一緒に語り合おう、という趣旨で準備…

誰がやっても間違いないように、とことん業務ルールを厳密にしよう、 という考えを持っている人がときどきいる。 業務が人に依存するのを避けたい、ということだそうですが。 業務は人がやっているので、ルールをいくら厳密にしようが、 それを解釈する人間…

kencobaの与太話 Alloy Analyzerの話は、後ほど時間のあるときにしましょう。 Coq Tutorialやってます。 数学基礎論の勉強もやってます。 Coq tutorial 話す内容は倍くらいあったんだけど、時間が足りなかったなぁ。 次回は=を含む証明、帰納法の証明、List…

人種差別がどうした、ということではなく、 全員に満足してもらえる対応をするには、 広い視点による発想の転換と、 英断が必要だと感じる。 【人種差別・意訳 ENGLISH/JAPANESE】実際にあった話 ５０代とおぼしき妙齢の白人女性が機内で席につくと 彼女は自…

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) => …