トップ 最新 追記

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

ヒビルテ [ALL (2009年)]

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

continuation

coq

CPL

haskell

iPhone

lifehack

  • 2009-08-01#p01 『整理HACKS!—1分でスッキリする整理のコツと習慣 』 小山 龍介

linguistics

  • 2009-06-22#p01 “Parsing Expression Grammars: A Recognition-Based Syntactic Foundation” by Bryan Ford
  • 2009-11-20#p01 自然言語をラムダ式で解釈する体系PTQのHaskell実装
  • 2009-11-21#p01 True Intensionality in Higher Order Logic

logic

logic-programming

modal-logic

money

programming-contest

quantum

quiz

ruby

security

  • 2009-01-10#p02 セキュリティ&プログラミングキャンプ・キャラバン 湘南藤沢
  • 2009-04-02#p01 Ninjava meeting “Risk-driven architectural decomposition”

SemanticWeb

  • 2009-10-15#p01 tDiaryの生成するRSSが RDF Validator でエラーになる

tDiary

theorem-proving

thinkpad

  • 2009-03-07#p01 「ご使用のバッテリーでは充電できません。」
  • 2009-04-28#p01 Thinkpadの互換バッテリーを購入
  • 2009-04-30#p01 ThinkpadでcoLinuxが動かない
  • 2009-11-04#p01 Thinkpadのプレゼンテーション・ディレクターの設定が消えて困った

tom

ネタ

人狼

圏論

型理論

映画

時事

  • 2009-01-02#p01 『iPod touch/iPhoneを楽しく使うためのハッキング』 武藤 佳恭
  • 2009-01-13#p01 『地球温暖化論のウソとワナ』 (渡辺 正, 伊藤 公紀)
  • 2009-01-14#p01 『デッドライン—ソフト開発を成功に導く101の法則』 by Tom DeMarco
  • 2009-01-17#p01 『超簡単 お金の運用術』 by 山崎 元
  • 2009-01-19#p01 『効率が10倍アップする新・知的生産術—自分をグーグル化する方法』 勝間和代
  • 2009-01-26#p01 『社長になる人のための経理の本』 by 岩田 康成
  • 2009-01-27#p01 『ビートのディシプリン』 上遠野 浩平
  • 2009-02-03#p01 『奥様はネットワーカ』 森 博嗣
  • 2009-06-15#p01 『ツレがうつになりまして。』 細川貂々
  • 2009-06-21#p01 『ドコモとau』 塚本 潔
  • 2009-07-13#p01 『奇跡のリンゴ—「絶対不可能」を覆した農家・木村秋則の記録』
  • 2009-07-25#p01 『化粧する脳』 茂木健一郎, 恩蔵絢子
  • 2009-08-01#p01 『整理HACKS!—1分でスッキリする整理のコツと習慣 』 小山 龍介
  • 2009-08-02#p01 『洗脳原論』 苫米地 英人
  • 2009-09-28#p01 『自由と繁栄の弧』 by 麻生 太郎
  • 2009-10-26#p01 『ストリートファイター2 キャミィヒストリー』
  • 2009-11-01#p01 『風の大陸  最終章 祈り』
  • 2009-11-06#p01 『プログラミングHaskell』 Graham Hutton (著), 山本 和彦 (訳)
  • 2009-11-06#p02 『プログラミングのための確率統計』 平岡 和幸 (著), 堀 玄 (著)

東方

流行りもの

英語

論文