ブックマーク

自分も参照できるようにブックマークをまとめます。随時更新。

Haskell関連

• Understanding F-Algebras
  • カタモルフィズムについて分かりやすい
• Morte: an intermediate language for super-optimizing functional programs
  • CoCで正規化。Literatureのリンクが有益。
• Total Functional Programming
  • 構造的帰納法とCovariantな高階函数に制限して⊥の無い型にすれば停止性が保証できるよね、という文献。Codataはこれから読む。
• What I Wish I Knew When Learning Haskell
  • Haskellのマニアックな部分も説明している
• Auto as Category, Applicative & Arrow (Intro to Machines/Arrows Part 2)
• A Modern Architecture for FP
  • Freeモナドの使い方が比較的分かりやすく記述されている。
• Free play, part two
  • 上記よりもう少しFreeモナドが分かりやすいかも。

Agda関連

• Brutal [Meta]Introduction to Dependent Types in Agda
  • 網羅的な情報
• みんなのAgda Wiki
  • 多分お茶大講義のまとめ情報

機械学習

• Machine Learning by Andrew Ng
  • Octaveの説明もある。Linear Regression, Logistic Regression, NN, SVM。
• 全脳アーキテクチャ解明に向けて

その他

• The Architecture of Open Source Applications
  • 後で読む
• Pelican 3.5.0
  • ブログジェネレータ?
• ベイズ推定とグラフィカルモデル：コンピュータビジョン基礎1
  • すいません途中です

Comments