2009-03-22 ヒヤマセミナー第3回に行ってきたよ 電算 形式論理とラムダ式とお団子図を並べて、うわーって感じだった。 詳しい感想はのちほど改めて書く予定。 まだ何も考えてない整理し切れてないのです。