トップ 最新 追記

<<(2012) (2014)>> 全期間 全期間/全カテゴリ

ヒビルテ [ALL (2013年)]

Categories | | logic-programming | tDiary | 英語 | gimp | ruby | cygwin | scheme | gtk | quiz | 流行りもの | 時事 | 映画 | tom | TV | URL | w3m | ネタ | Web | 検索 | 論文 | 圏論 | haskell | javascript | machine-learning | メモ | 向井研 | CPL | | ChannelTheory | linguistics | SemanticWeb | logic | 型理論 | 東方 | continuation | 後で | Topology via Logic | ocaml | modal-logic | theorem-proving | hiki | モデル検査 | 人狼 | programming-contest | agda | probability | quantum | 音楽 | coq | money | Alloy | lifehack | music | maude | プロセス代数 | thinkpad | game | security | linear-programming | optimization | Erlang | iPhone | mac


haskell

linear-programming

  • 2013-04-09#p01 強双対性を使って線形計画を制約充足問題に還元する

machine-learning

optimization

  • 2013-04-02#p01 「異様に難しいドラクエの謎解き」を整数線形計画問題として解く
  • 2013-04-04#p01 ゴモリーの小数カットの導出メモ
  • 2013-04-09#p01 強双対性を使って線形計画を制約充足問題に還元する
  • 2013-11-26#p01 自動微分を使って線形回帰をしてみる
  • 2013-11-28#p01 nonlinear-optimizationパッケージで遊ぶ

theorem-proving

  • 2013-04-02#p01 「異様に難しいドラクエの謎解き」を整数線形計画問題として解く

モデル検査

  • 2013-03-27#p01 「異様に難しいドラクエの謎解き」をモデル検査器で解く

型理論