タグ

ブックマーク / nineties.github.io (2)

  • プログラマの為の数学勉強会

    2013年 プログラマの為の数学勉強会 資料 第1回:イントロダクション 第2回:浮動小数点数・極限・微分 第3回:微分法の応用・多変数関数の微分法 第4回:微分法の応用(続き)・方程式の数値解法 第5回:微分方程式の数値解法・積分法 第6回:数値積分法・積分法の応用 第7回:行列・ベクトル・ガウス消去法 第8回:行列式・逆行列・連立一次方程式の直接解法 第9回:線型空間・線型写像・固有値固有ベクトル(その1) 第10回:線型変換・固有値固有ベクトル(その2)・内積空間 第11回:連立一次方程式の反復解法・二次形式・多変数関数の極値・重積分 第12回:確率論入門 第13回:情報量・エントロピー・重要な確率分布・大数の法則・中心極限定理 第14回:擬似乱数の生成法・推定 第15回:検定 第16回:検定の続き, 回帰分析 第17回:回帰分析の続き 第18回:ベイズ統計

  • 圏論勉強会 第1回 @ ワークスアプリケーションズ

    @ワークスアプリケーションズ 中村晃一 2013年5月16日 謝辞 この会の企画・会場設備の提供をして頂きました ㈱ ワークスアプリケーションズ様 にこの場をお借りして御礼申し上げます。 自己紹介 中村晃一 東京大学 大学院 情報理工学系研究科 コンピュータ科学専攻 後期博士課程 2年 プログラム最適化・言語処理系の実装技術・人間と言語の関係等に興味があります。 twitter: @9_ties はじめに この会について 圏論(category theory)を題材にいろんなことを学びます。 分かり易さを重視して初歩的な例を多用します。 関数型言語の経験がある方がより楽しめると思います。資料中では主にHaskellを使います。 この資料はhttp://nineties.github.com/category-seminarに置いてあります。 参考書 私はSteve Awodey著「Cate

    efcl
    efcl 2013/05/17
    圏論
  • 1