bonotakeの日記

ソフトウェア工学系研究者 → AIエンジニア → スクラムマスター・アジャイルコーチ

2010-06-01から1ヶ月間の記事一覧

圏論の話をiPadでしてきたよ＠FormalMethods勉強会

圏論 仕様・検証

圏論がわかった気になる（でも本当の理解はできない）話を、FormalMethods勉強会なるところでしてきました。 スライド作成も発表もすべてiPad使用。KeyNote for iPadのノウハウがいろいろわかって良い体験でした。ってそっちがポイントかい！ということで当…

注：bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。