トップ 最新 追記

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

ヒビルテ [ALL (2011年)]

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


Alloy

  • 2011-02-10#p01 "Software Abstractions"翻訳本のレビュアーを募集しています
  • 2011-07-08#p01 『抽象によるソフトウェア設計』がついに出版されます

haskell

mac

  • 2011-08-07#p01 Lenovo USB Webcam (40Y8519) をMacで使おうとしたメモ

theorem-proving

thinkpad

  • 2011-08-07#p01 Lenovo USB Webcam (40Y8519) をMacで使おうとしたメモ

向井研

  • 2011-07-08#p01 『抽象によるソフトウェア設計』がついに出版されます

論文

  • 2011-08-25#p01 "The Arrow Calculus" by Sam Lindley, Philip Wadler, Jeremy Yallop
  • 2011-08-26#p01 “The worker/wrapper transformation” by Andy Gill and Graham Hutton