hiratara https://blog.hatena.ne.jp/hiratara/ Pixel Pedals of Tomakomai https://hiratara.hatenadiary.jp/ 技術 数学 今週も圏論勉強会ではない方の圏論勉強会 第10回に来ています。資料とustreamは公開されています。 とびいりの話は大歓迎なので、面白い話がある人は面白くなくても言って下さい 13回目もやる(12回だとモナドに入れない。最終回はモナド) ワークスアプリケーションズさんに感謝 coq4ios / 講師 @keigoi さん たまに仕事でcoq使う 大体の機能使える 開発中なので、ビルド方法とかリプライ飛ばして聞いて下さい Mac OSのシミュレータ上でも動きます 第10回: 始代数・終余代数と不動点,型函手 / 講師 @9_ties さん 復習: Lambekの補題(F始代数は同型射) Lis… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20130718%2F1374144856" title="今日は 圏論勉強会 第10回 の日です - Pixel Pedals of Tomakomai" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-07-18 19:54:16 rich https://hiratara.hatenadiary.jp/entry/20130718/1374144856 1.0 100%