トップ 最新 追記

<<(2007) (2009)>> 全期間 全期間/全カテゴリ

ヒビルテ [ALL (2008年)]

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


agda

Alloy

ChannelTheory

  • 2008-11-11#p01 Information Flow: The Logic of Distributed Systems (ペーパーバック)
  • 2008-12-16#p01 Information Flow: The Logic of Distributed Systems 読了

continuation

coq

CPL

Erlang

game

haskell

lifehack

linear-programming

linguistics

logic

logic-programming

modal-logic

  • 2008-02-04#p01 Alloyで知識論理を使って論理パズルを解く

money

ocaml

optimization

programming-contest

quantum

quiz

ruby

security

SemanticWeb

tDiary

theorem-proving

thinkpad

tom

Topology via Logic

TV

ネタ

モデル検査

人狼

向井研

圏論

型理論

映画

時事

  • 2008-01-04#p01 最近のAmazon.co.jpのキャンペーン
  • 2008-02-02#p01 『Big Bang』 by Simon Singh
  • 2008-02-12#p01 『戦前の少年犯罪』 管賀 江留郎
  • 2008-02-13#p01 『残像に口紅を』
  • 2008-04-01#p01 『圏論による論理学—高階論理とトポス』 清水 義夫
  • 2008-04-21#p01 『宇宙に知的生命体は存在するのか』 佐藤 勝彦 (編)
  • 2008-04-29#p02 黄泉比良坂(よもつひらさか)の岩戸
  • 2008-05-21#p01 『無理なく続けられる 年収10倍アップ勉強法』 by 勝間 和代
  • 2008-06-29#p01 『The Numbers Behind Numb3rs: Solving Crime With Mathematics』 by Keith Devlin and Gary Lorden
  • 2008-07-22#p01 『それがぼくには楽しかったから』 by Linus Torvalds and David Diamond
  • 2008-07-26#p02 『投資信託にだまされるな! Q&A―投信の疑問・解決編』 by 竹川 美奈子
  • 2008-08-11#p01 『やっぱりあぶない、投資信託—あなたの「虎の子」の増やし方・使い方』 by 水沢 溪
  • 2008-09-16#p01 『ウルトラダラー』 手嶋 龍一
  • 2008-11-02#p01 『ダメな議論—論理思考で見抜く』 飯田 泰之
  • 2008-11-07#p01 『統計・確率のしくみ』 郡山 彬, 和泉沢 正隆
  • 2008-11-08#p03 『大学の話をしましょうか—最高学府のデバイスとポテンシャル』 森 博嗣
  • 2008-11-11#p01 Information Flow: The Logic of Distributed Systems (ペーパーバック)
  • 2008-11-21#p01 「勝間和代の日本を変えよう」
  • 2008-11-24#p01 “Conceptual Mathematics: A First Introduction to Categories” 第二版
  • 2008-12-16#p01 Information Flow: The Logic of Distributed Systems 読了
  • 2008-12-17#p02 『数理論理学』 (古川康一, 向井国昭)
  • 2008-12-18#p02 『独房の修道女』 Paul L. Moorcraft
  • 2008-12-22#p02 『層・圏・トポス—現代的集合像を求めて』
  • 2008-12-29#p01 『たのしいムーミン一家』 Tove Jansson

東方

流行りもの

英語

論文

音楽