* (予定) [#m8a4c8e8] - 日時 :2006/9/11 (Mon) - 場所 :名大 理学部1号館(多元数理科学研究科) 307室? - 場所 :名大 理学部1号館(多元数理科学研究科) 307室 - 時刻 :18:00〜19:30 - 参加者:?名 - 参加者:9名 - 内容 - ぷよぷよGUI用ライブラリ選定? by 小笠原さん -- 宜しくお願いしますm(__)m。 - 命題論理証明 シークェント計算の話again by よしひろさん - はやぐいHaskell第二弾 by けいご -- おさらい -- 正格(strict), 非正格(non-strict)とif-then-else -- 型クラス -- 型構築子の型クラス -- MonadクラスとMaybeモナド #comment