2010-06-13から1日間の記事一覧
圏論がわかった気になる(でも本当の理解はできない)話を、FormalMethods勉強会なるところでしてきました。 スライド作成も発表もすべてiPad使用。KeyNote for iPadのノウハウがいろいろわかって良い体験でした。ってそっちがポイントかい!ということで当…
圏論がわかった気になる(でも本当の理解はできない)話を、FormalMethods勉強会なるところでしてきました。 スライド作成も発表もすべてiPad使用。KeyNote for iPadのノウハウがいろいろわかって良い体験でした。ってそっちがポイントかい!ということで当…