ヒビルテ [ALL]
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
- 2001-12-24#p02 Haskellを勉強してみる
- 2002-02-07#p01 Haskell
- 2002-04-13#p01 What the hell are Monads?
- 2002-04-16#p01 Monads for functional programming
- 2002-04-18#p01 section
- 2002-04-19#p06 多相型とλ計算とHaskell
- 2002-04-22#p01 Formulating Haskell
- 2002-04-29#p03 Haskellのパターンマッチと単一化 (ゆ〜あいの日記 4/17)
- 2002-05-15#p08 ラムダが見苦しい
- 2002-06-30#p02 Monad
- 2002-07-02#p05 Haskell メイリングリスト
- 2002-07-02#p07 モナークラス
- 2002-07-06#p04 The Haskell Bookshelf
- 2002-07-11#p01 プログラミング言語論レポート
- 2002-07-19#p02 逃避活動: esecpl.hs
- 2002-08-21#p05 return
- 2002-09-27#p02 Symmetric Haskell
- 2002-11-21#p05 Template metaprogramming for Haskell
- 2002-11-21#p08 チューリングの不動点演算子
- 2002-12-13#p02 "What the hell are Monads?" をネタにHaskellのMonadを紹介
- 2002-12-13#p04 FAQ for comp.lang.functional
- 2003-01-02#p01 最小不動点と最大不動点
- 2003-01-02#p02 Haskellとの関係
- 2003-02-07#p03 variance
- 2003-02-16#p01 variance
- 2003-02-16#p03 正格性フラグ
- 2003-02-17#p07 モナド(Monad)
- 2003-02-19#p02 head
- 2003-02-28#p01 FGL/Haskell - A Functional Graph Library for Haskell
- 2003-03-04#p03 functor category とデータ型
- 2003-03-23#p02 Re: functor category とデータ型
- 2003-06-09#p02 Nested Type
- 2003-08-17#p06 comonads
- 2003-09-16#p04 Comonad (2)
- 2003-09-25#p02 Haskellスレ
- 2003-09-27#p03 readFile / writeFile
- 2003-11-27#p02 HaskellのMonad
- 2003-12-11#p04 hugs-i18n
- 2003-12-14#p03 Hugsの国際化
- 2003-12-18#p04 GHC Version 6.2 (released 16 Dec 2003)
- 2004-01-02#p03 newtype/datatype (was efficiency)
- 2004-01-09#p01 MSにいるHaskellの大物
- 2004-01-10#p02 "The Haskell Road to Logic, Math and Programming" by Kees Doets and Jan van Eijck
- 2004-03-18#p03 CPL
- 2004-03-28#p01 gtk2hs-0.9.4
- 2004-04-04#p01 gtk2hs-0.9.4 (その2)
- 2004-04-07#p01 The Haskell 98 Foreign Function Interface 1.0: An Addendum to the Haskell 98 Report
- 2004-04-10#p01 John Hughes, "Generalising Monads to Arrows"
- 2004-04-11#p01 G-machine
- 2004-04-12#p01 Hugs の Foreign.C.String での Unicode⇔locale の変換
- 2004-04-24#p01 "Typing Haskell in Haskell", Mark P. Jones
- 2004-05-23#p01 "Restricted Datatypes in Haskell", John Hughes (Chalmers University, Sweden)
- 2004-05-29#p04 "A New Notation for Arrows", Ross Paterson
- 2004-06-02#p01 Closed Freyd- and kappa-categories, John Power and Hayo Thielecke
- 2004-06-14#p01 Haddock
- 2004-06-18#p01 Lightweight Language Weekend
- 2004-06-20#p02 GHC panic
- 2004-06-29#p01 V. Vene. Categorical programming with inductive and coinductive types. Diss. Math. Uni. Tartuensis, v. 23, Uni. of Tartu, Aug. 2000. - .ps.gz, .pdf.
- 2004-06-30#p01 Haskell support for the Eclipse IDE
- 2004-07-16#p01 Call For Participation: Haskell Marathon
- 2004-07-17#p02 素数リスト
- 2004-07-20#p04 AKSアルゴリズム
- 2004-07-27#p02 Enumerating the Rationals.
- 2004-07-29#p03 WASH
- 2004-07-30#p03 hOp
- 2004-07-31#p02 Haskellマラソン
- 2004-07-31#p04 Haskellの代数的データ型は始代数ではない
- 2004-07-31#p05 Haskellの代数的データ型は始代数ではない? (2)
- 2004-07-31#p06 Haskellの代数的データ型は始代数ではない? (3)
- 2004-07-31#p07 Haskellの代数的データ型は始代数ではない? (4)
- 2004-08-01#p02 Haskellマラソン 2日目
- 2004-08-03#p01 WASH (2)
- 2004-08-03#p02 Re: wxHaskell (その3)
- 2004-08-05#p08 Supertyping Suggestion for Haskell
- 2004-08-10#p01 "Dynamic Linking in Haskell", Hampus Ram
- 2004-08-11#p01 "Wearing the hair shirt: a retrospective on Haskell.", Simon Peyton Jones, invited talk at POPL 2003.
- 2004-08-21#p01 "Non-stop Haskell", Andy Cheadle, Tony Field, Simon Marlow, Simon Peyton Jones, and Lyndon While; ICFP 2000.
- 2004-08-22#p02 "Lazy functional state threads", John Launchbury, Simon L. Peyton Jones
- 2004-08-25#p02 "Generational garbage collection for Haskell", Patrick M. Sansom, Simon L. Peyton Jones
- 2004-08-29#p05 "Compiling Haskell to Java", Mark Tullsen
- 2004-09-02#p02 Re: Functor と Monad
- 2004-09-03#p02 "Type Classes with Functional Dependencies", Mark P. Jones
- 2004-09-11#p04 制限された関数だけクラスのインスタンスにする
- 2004-09-12#p01 型を返す関数
- 2004-09-27#p04 Epigram
- 2004-10-23#p01 Re: 正格性アナライザー
- 2004-11-01#p01 Re: 正格性解析
- 2004-11-03#p01 ghc の新しい機能 Generalized Algebraic Data Types (GADT)
- 2004-11-13#p01 AVL木でGADTを試してみる
- 2004-11-14#p01 RTDSC.hsc
- 2004-11-15#p02 Concurrent Haskell と FFI
- 2004-11-16#p01 Making a fast curry: push/enter vs. eval/apply for higher-order languages, Simon Marlow and Simon Peyton Jones
- 2004-11-17#p01 Lazy Depth-First Search and Linear Graph Algorithms in Haskell, David J. King and John Launchbury
- 2004-11-19#p03 AVL木でGADTを試してみる (2)
- 2004-11-20#p02 CPLのHaskell版を公開
- 2004-11-21#p01 hyperset
- 2004-11-24#p01 hyperset
- 2004-11-27#p01 hyperset
- 2004-11-28#p01 "top-downのmemoization" と histomorphism
- 2004-12-04#p01 Re: スーパータイピング
- 2004-12-06#p01 HaskellでScheme処理系を実装 (1)
- 2004-12-07#p01 Hypersetの使い方
- 2004-12-09#p04 Tarmo Uustalu, Varmo Vene and Alberto Pardo, Comonadic Iteration
- 2004-12-09#p05 Category extras
- 2004-12-11#p01 HaskellでScheme処理系を実装 (2)
- 2004-12-14#p02 HaskellでScheme処理系を実装 (3)
- 2004-12-14#p03 Constructed Product Result Analysis for Haskell, Clem Baker-Finch, Kevin Glynn, Simon Peyton Jones
- 2004-12-14#p04 GHC の worker wrapper transformation への不満
- 2004-12-26#p02 ghciのローダー (1)
- 2004-12-26#p03 ghciのローダー (2)
- 2004-12-28#p01 可変長引数の関数?
- 2005-01-06#p03 Re: 可変長引数の関数?
- 2005-01-17#p01 Concurrent Haskell
- 2005-01-21#p01 Composable memory transactions, Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Submitted to PPoPP 2005.
- 2005-01-25#p01 The Implementation of Functional Programming Languages
- 2005-01-26#p01 Strongly typed heterogeneous collections, Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
- 2005-01-26#p02 Haskell's overlooked object system, Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
- 2005-01-27#p04 GHC 6.4 の ライブラリ
- 2005-02-09#p01 Text.Regexで日本語が扱えない問題を鬼車で解決
- 2005-02-19#p02 パラメトリシティと不動点
- 2005-02-21#p01 Haskell で始めたプログラマに C を教えるには…
- 2005-02-21#p02 monadic catamorphisms
- 2005-02-23#p01 型が a -> b となる関数はなんでしょう？
- 2005-02-26#p01 代数的データ型と始代数の話
- 2005-02-26#p02 Haskellたん
- 2005-02-26#p03 C と Haskell のハイブリッドな hello world
- 2005-03-09#p01 インスタンスの列挙
- 2005-03-10#p02 代数的データ型の領域
- 2005-03-11#p01 runghc
- 2005-03-11#p02 ANNOUNCE: GHC version 6.4
- 2005-03-12#p03 読むのに手頃なHaskellのコード
- 2005-03-13#p01 PrettyLambda
- 2005-03-15#p03 Free Theorems in the Presence of seq - P. Johann and J. Voigtländer
- 2005-03-16#p01 モナディックシューティング Shu-thing
- 2005-03-22#p01 hugsで日本語文字列をエスケープしないためのパッチを更新
- 2005-03-23#p03 Hugs の Foreign.C.String での Unicode⇔locale の変換パッチを更新
- 2005-03-26#p03 ETBダイアグラム
- 2005-03-27#p01 Traced Premonoidal Categories - Nick Benton and Martin Hyland
- 2005-04-06#p02 Matrix.hs
- 2005-04-18#p03 GHC-6.4ソースコードハッキング
- 2005-04-19#p02 jhc
- 2005-04-19#p04 ICPC過去問: Hanafuda Shuffle
- 2005-04-28#p04 関数プログラミングの妙味
- 2005-05-01#p02 N-gram
- 2005-05-03#p01 GHC 6.4 ソースコードHacking: メモ
- 2005-05-03#p03 GHC ソースコードハッキング 1日目
- 2005-05-04#p02 GHC ソースコードハッキング 2日目
- 2005-05-05#p01 GHC ソースコードハッキング 3日目
- 2005-06-01#p01 Monadius - a scientist's toy box
- 2005-06-05#p02 Haskell と OCaml
- 2005-06-24#p01 BiGram の実装
- 2005-06-28#p01 ICPC過去問: Circle and Points
- 2005-06-29#p03 "Implementing Functional Language: a Tutorial" 読書会?
- 2005-06-30#p01 The 2005 GHC survey
- 2005-06-30#p03 CのプログラムからHaskellの関数を呼び出す
- 2005-07-01#p01 OCamlとタイプクラス
- 2005-07-02#p04 Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl). Oleg Kiselyov, Chung-chieh Shan and Daniel P. Friedman and Amr Sabry
- 2005-07-04#p01 PArrows
- 2005-07-12#p03 Yicho: A Combinator Library for Program Calculation
- 2005-07-19#p03 有限体GF(p)
- 2005-07-22#p03 Towards a monadic semantics of quantum computation, Thorsten Altenkirch
- 2005-07-24#p01 can't compile Y-combinator (#1243982)
- 2005-08-14#p01 キミならどう書く
- 2005-08-20#p01 キミならどう書く
- 2005-08-28#p01 クロージャ
- 2005-09-05#p01 記憶（memo）する関数
- 2005-10-08#p03 Haskellへの多相バリアントの導入について. 香川 孝司
- 2005-11-01#p01 Wang's Algorithm
- 2005-11-11#p02 yhc - York Haskell Compiler
- 2005-11-22#p02 A Cookbook for the Haskell XML Toolbox with Examples for Processing RDF Documents. Manuel Ohlendorf
- 2005-12-14#p01 Monadと思ったけどMonadじゃなかった何か
- 2005-12-15#p01 tDiaryでHsColour
- 2006-01-27#p03 Haskell is not not ML. Ben Rudiak-Gould, Alan Mycroft, and Simon Peyton Jones.
- 2006-02-06#p01 GHC and impredicativity
- 2006-03-13#p01
instance Bounded Double
- 2006-03-27#p01 unboxed 1-tuple makes sense
- 2006-03-27#p02 Unboxed types have kind #.
- 2006-03-31#p02 Transactional Memory with data invariants. Tim Harris, Simon Peyton Jones
- 2006-04-22#p03 「Haskellによる関数プログラミング入門」
- 2006-04-23#p02 Re: Y combinator is forbidden in Haskell!?
- 2006-04-24#p01 Haskell on a Shared-Memory Multiprocessor. Tim Harris, Simon Marlow, Simon Peyton Jones
- 2006-04-26#p02 read "1" :: Rational
- 2006-04-27#p02 JSON in Haskell
- 2006-04-29#p02 (forall x. ((x->r)->r)->x) -> Either a (a->r)
- 2006-05-05#p01 yhcの仮想マシンについて調べる
- 2006-05-13#p01 Haskellの複素数計算
- 2006-05-14#p04 単相性制限 (monomorphism restriction)
- 2006-05-20#p01 向井先生の Haskell 講習会 (RHG読書会)
- 2006-05-22#p01 順序数をプログラミング言語の中で実現する
- 2006-06-01#p01 Cleanの定関数と定グラフ
- 2006-06-03#p01 共通部分式の除去 (CSE, Common Subexpression Elimination)
- 2006-06-05#p03 OrdのcompareでNaNを比較
- 2006-06-09#p01 中間リストの除去とRULESプラグマ
- 2006-06-10#p02 x2 + y2 = r であるような (x,y) の列挙
- 2006-06-13#p01
evaluate a と a `seq` return a の違い
- 2006-06-15#p01 どんな場合にポイントフリースタイルを使うべきか
- 2006-06-17#p02 『ふつうのHaskellプログラミング』読書会
- 2006-06-17#p03
reallyUnsafePtrEquality# :: a -> a -> GHC.Prim.Int#
- 2006-06-25#p02 L.L.Ring の Language Update
- 2006-06-30#p03 concatN
- 2006-07-11#p02 キミならどう書く 2.0 - ROUND 2 -
- 2006-07-14#p01 Re: Collatz予想
- 2006-07-22#p02 『ふつうのHaskellプログラミング』読書会
- 2006-07-27#p03 各要素が「0または1をとる乱数」から成る長さnのリスト
- 2006-08-03#p02 はすケロ
- 2006-08-04#p03 関数型プログラミングの世界へようこそ (本物のプログラマはHaskellを使う 第1回)
- 2006-08-23#p02 Re: Haskellのリストの定義
- 2006-08-26#p01 LL Ring
- 2006-08-30#p01 Re: Haskellは再帰をどうやってやっているのだろう
- 2006-09-04#p01 IOモナドの実行順序を規定するのは何か?
- 2006-09-06#p02
(->) の種
- 2006-09-07#p01 Haskellに正格性注釈が無いのは何故か?
- 2006-09-10#p01 Comonadic Functional Attribute Evaluation. Tarmo Uustalu and Varmo Vene.
- 2006-09-13#p03 Haskellのリストとはそもそも何者かという問題
- 2006-09-14#p01 CleanとHaskellの宣言スタイルの違い
- 2006-09-16#p02 『ふつうのHaskellプログラミング』読書会
- 2006-09-26#p02 Build, Augment and Destroy, Universally. Neil Ghani, Tarmo Uustalu, and Varmo Vene
- 2006-10-13#p05 GHC 6.6
- 2006-10-31#p02 多相関数≠自然変換
- 2006-11-14#p01 Haskell Bowling by Ron Jeffries
- 2006-11-18#p01 Indexed types families in GHC
- 2006-11-28#p01 Agate—an Agda-to-Haskell compiler by Hiroyuki Ozaki, Makoto Takeyama and Yoshiki Kinoshita
- 2006-12-06#p01 newtypeはHaskellの仕様に不要では?
- 2006-12-07#p01 Applicative Programming with Effects by Conor McBride and Ross Paterson
- 2006-12-20#p02 頭の体操: 3引数flip
- 2007-01-20#p01 関数従属性の落とし穴
- 2007-01-27#p01 HaskellでのPTQ実装
- 2007-01-31#p02 Haskellでパーサを書く時に面倒な点
- 2007-02-02#p02 Haskellと高階論理の土台は異なるか?
- 2007-02-14#p01 関数論理型言語Curryを試してみる
- 2007-03-21#p04 「Haskell の call/cc 重大な設計ミスか！？」
- 2007-04-28#p02 Advanced Topics in Programming Languages Series: Parametric Polymorphism by Phil Gossett
- 2007-05-19#p02 “Combining Events And Threads For Scalable Network Services ― Implementation And Evaluation Of Monadic, Application-level Concurrency Primitives”, by Peng Li and Steve Zdancewic
- 2007-06-08#p01 サンタクロース問題
- 2007-07-01#p01 Arrowの紹介 for 2ch
- 2007-07-06#p01 Eager Haskell
- 2007-07-09#p01 haskell-jpのアーカイブ
- 2007-07-12#p01 foldl.com と foldr.com
- 2007-07-25#p01 “Ropes: an Alternative to Strings” by Hans-J. Boehm, Russ Atkinson and Michael Plass
- 2007-07-28#p02 栄光のグラスゴーHaskellコンパイルシステム利用の手引き
- 2007-07-29#p02 “Finger Trees: A Simple General-purpose Data Structure” by Ralf Hinze and Ross Paterson
- 2007-08-07#p01 文字列検索の性能
- 2007-08-08#p01 Djinn, a theorem prover in Haskell, for Haskell.
- 2007-08-13#p01 OSConでのSimon Peyton Jonesの講演
- 2007-08-14#p01 パースの論理式
- 2007-10-10#p01 「Haskellがアセンブリになるまで」
- 2007-10-22#p01 「Haskellがアセンブリになるまで」 (不参加)
- 2007-10-23#p01 正格性フラグを使ってseqを定義する
- 2007-10-28#p02 seqはHaskellの意味論では扱えない?
- 2007-10-30#p01 “Faster laziness using dynamic pointer tagging” by Simon Marlow, Alexey Rodriguez Yakushev, Simon Peyton Jones
- 2007-11-02#p02 “Metamorphic Programming Extension to Haskell” by Martin Erwig
- 2007-11-12#p01 “A new view of guards” by Simon Peyton Jones
- 2007-11-14#p01 HaskellのDynamicはあまり使えない
- 2007-11-16#p01 “Why it's nice to be quoted: quasiquoting for haskell” by Geoffrey Mainland
- 2007-12-04#p01 無限オブ無限
- 2007-12-30#p01 HaskellでCYK法
- 2008-01-14#p01 “Foundations for structured programming with GADTs” by Patricia Johann and Neil Ghani
- 2008-01-27#p01 MiniSat binding for GHC
- 2008-01-29#p01 連言標準形への変形
- 2008-02-14#p01 “Towards open type functions for Haskell” by Tom Schrijvers, Martin Sulzmann, Simon Peyton Jones, and Manuel Chakravarty
- 2008-03-08#p01 sized-list の append
- 2008-04-08#p02 nobsunが生徒になってくれる人を募集している
- 2008-04-11#p01 coarbitrary と双対を表す“co-”の由来
- 2008-04-14#p02 GADTに対するexhaustiveなパターンマッチ
- 2008-04-20#p01 hsPTQ 0.0.2
- 2008-04-22#p01 “The Essense of the Iterator Pattern” by Jeremy Gibbons and Bruno C. d. S. Oliveira
- 2008-04-23#p01 マルバツゲーム Haskellで どう書く？org
- 2008-04-30#p02 CPLのHaskell版パッケージをCabal化
- 2008-05-24#p01 “Optimistic evaluation: an adaptive evaluation strategy for non-strict programs” by Robert Ennals and Simon Peyton Jones
- 2008-05-29#p01 OCamlでランクn多相
- 2008-07-08#p01 GHCの“Generalised derived instances for newtypes”便利かも
- 2008-08-15#p02 The Comonad.Reader » Kan Extensions
- 2008-09-05#p01 「型の型」問題
- 2008-09-20#p02 Mの型付け
- 2008-10-14#p01 SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values
- 2008-11-08#p01 haskell-jpのアーカイブ
- 2008-11-10#p01 ストリーム上のキモい関数
- 2008-11-17#p01 Arrays without bounds
- 2008-12-11#p01 DrHylo: A tool for deriving hylomorphisms
- 2008-12-24#p02 Data.List.intercalate
- 2009-01-04#p01 Cryptol, the language of cryptography
- 2009-01-15#p01 圏論屋さんに名前をつけさせるのはやめろってば
- 2009-02-02#p01 pure crisis :)
- 2009-02-04#p01 Ready for testing: Unicode support for Handle I/O
- 2009-04-18#p01 型レベルプログラミングの会
- 2009-04-20#p01 長さ付きリストに対する型安全な filter 関数
- 2009-04-25#p01 『本物のプログラマはHaskellを使う』読者の集い 開催案内
- 2009-05-04#p01 『本物のプログラマはHaskellを使う』読者の集い
- 2009-05-04#p02 "Do we Need Dependent Types?" by Daniel Fridlender, Mia Indrika
- 2009-05-05#p01 Pure Prolog Implementation...なんか (PPIM)
- 2009-05-06#p01 Haskell→Isabelle
- 2009-06-13#p01 “Data types á la carte” by Wouter Swierstra
- 2009-06-30#p01 ICFP Programming Contest 2009
- 2009-07-07#p01 “Types are calling convensions” by Max Bolingbroke and Simon Peyton Jones
- 2009-07-20#p01 Real World Haskell読書会 2009-07
- 2009-08-23#p01 Real World Haskell読書会 2009-08
- 2009-09-07#p01 Google Code Jam 2009 Qualification Round
- 2009-09-12#p01 Google Code Jam 2009: Round 1A
- 2009-09-13#p01 Google Code Jam 2009: Round 1B
- 2009-09-14#p01 Google Code Jam 2009: Round 1C
- 2009-09-20#p01 Introduction to Categorical Programming
- 2009-10-03#p02 HIMA :: IRC Meeting
- 2009-10-24#p01 計算機言語で定理証明 (Proof Party.JP)
- 2009-10-31#p02 Real World Haskell読書会 2009-10
- 2009-11-06#p01 『プログラミングHaskell』 Graham Hutton (著), 山本 和彦 (訳)
- 2009-11-07#p01 “A semantics for imprecise exceptions” by Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow and Fergus Henderson
- 2009-11-08#p01 “Asynchronous Exceptions in Haskell” Simon Marlow, Simon Peyton Jones, Andrew Moran and John Reppy
- 2009-11-14#p01 HIMA #2 「Typeclassopedia」
- 2009-11-20#p01 自然言語をラムダ式で解釈する体系PTQのHaskell実装
- 2009-11-20#p02 Haskellナイト
- 2009-12-13#p01 HIMA #3 「副作用」
- 2009-12-18#p01 関数型プログラマにとっての副作用
- 2009-12-22#p01 Haskell 2010 の Relaxed Dependency Analysis
- 2009-12-22#p02 Haskell 2009年忘年会
- 2010-01-16#p01 Real World Haskell読書会 2010-01
- 2010-01-23#p01 HIMA #4: Functional Reactive Programming
- 2010-01-24#p01 継続操作を持つEDSLをHaskell上で実装する
- 2010-01-25#p01 “Runtime support for multicore Haskell” by Simon Marlow, Simon P. Jones, Satnam Singh
- 2010-01-27#p01 “Stream fusion: from lists to streams to nothing at all” by Duncan Coutts, Roman Leshchinskiy, Don Stewart
- 2010-04-02#p01 Haskellers Meeting 2010 Spring のお知らせ
- 2010-04-16#p01 Haskellers Meeting 2010 Spring
- 2010-04-24#p01 Functional Programming Meeting 2010
- 2010-05-08#p01 Google Code Jam 2010 Qualification Round
- 2010-05-17#p01 A,O,B,ABの比率が4:3:2:1として、任意に4人集めたときにその全員の血液型が異なる確率
- 2010-05-22#p01 Google Code Jam 2010 Round 1A
- 2010-05-22#p02 Real World Haskell読書会 2010-05
- 2010-05-22#p03 Google Code Jam 2010 Round 1B
- 2010-05-23#p01 Google Code Jam 2010 Round 1C
- 2010-06-06#p01 STモナドとSTRefをHaskell上で実装する
- 2010-06-21#p01 The ICFP Programming Contest 2010
- 2010-08-14#p01 Real World Haskell読書会 2010-08
- 2010-09-11#p01 iteratee I/O勉強会
- 2010-11-28#p01 HIMA' #3: Arrow
- 2010-12-02#p01 単純オートマトンの型について (HIMA' の補足)
- 2010-12-05#p01 Real World Haskell読書会 2010-12
- 2010-12-26#p01 HIMA' #4: 関数型的正規表現マッチ
- 2010-12-28#p01 正格性解析 (Strictness Analysis)
- 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
- 2011-09-17#p01 函数プログラミングの集い 2011 in Tokyo
- 2011-09-19#p01 ICFP 2011
- 2011-12-28#p01 Haskell Program Coverage ツールキットを試してみる
- 2012-04-21#p01 Pseudo-Boolean Competition 2012 に参加
- 2012-04-21#p02 Linux版のGHCでスタティックリンク
- 2012-07-16#p01 ICFP Programming Contest 2012 “Lambda Lifter”
- 2013-11-26#p01 自動微分を使って線形回帰をしてみる
- 2013-11-28#p01 nonlinear-optimizationパッケージで遊ぶ
- 2013-12-03#p01 自動微分でロジスティック回帰
- 2014-04-30#p01 IOモナドでヒープ割り当てを強制される件
- 2001-12-07#p02 向井先生に圏論の話を色々聞いた
- 2002-01-19#p05 来学期のカテゴリー論の勉強会
- 2002-02-19#p02 "Conceptual Mathematics: A First Introduction to Categories" を注文
- 2002-02-20#p04 関手の圏
- 2002-02-21#p02 関手の圏 (2)
- 2002-02-28#p02 春休み中の勉強の途中成果?
- 2002-03-04#p03 categories
- 2002-03-06#p06 A first introductin to categories
- 2002-03-07#p03 A first introductin to categories
- 2002-03-14#p08 圏論
- 2002-03-16#p05 圏論
- 2002-03-19#p02 圏論
- 2002-03-20#p04 Categories, Types and Structures: an introduction to Category Theory for the working computer scientist.
- 2002-03-21#p04 圏論
- 2002-03-29#p06 圏論
- 2002-03-30#p01 圏論
- 2002-03-31#p01 原始帰納関数
- 2002-03-31#p05 linear category がピンとこない、他
- 2002-04-01#p05 Binary operations and diagonal arguments
- 2002-04-03#p03 圏論勉強会の教科書
- 2002-04-05#p05 圏論とか
- 2002-04-10#p02 圏論
- 2002-04-12#p04 カリー化と論理
- 2002-04-13#p01 What the hell are Monads?
- 2002-04-14#p02 YT×S ≅ (YT)S の証明についてのメモ
- 2002-04-16#p01 Monads for functional programming
- 2002-04-16#p07 圏論
- 2002-04-22#p03 A first introduction to categories 読了
- 2002-05-04#p08 群から圏へ
- 2002-05-09#p02 representable functor
- 2002-05-11#p04 monomorphismかつepimorphismはisomorphismの十分条件じゃない
- 2002-05-11#p09 お勉強ノート
- 2002-05-13#p05 T-coalgebra
- 2002-05-13#p07 Lawvere の不動点定理 (Lawvere's diagonal theorem)
- 2002-05-17#p04 section, retraction, monomorphism, epimorphism
- 2002-05-17#p05 カテゴリカルロジック
- 2002-05-19#p07 米田の補題
- 2002-05-31#p03 今日の向井研
- 2002-06-07#p04 monadとF,G-dialgebra
- 2002-06-07#p05 かけ算のような物
- 2002-06-09#p06 T-algebras
- 2002-06-09#p07 Categories for the Working Mathematician
- 2002-06-13#p03 endofunctor
- 2002-06-14#p05 今日の向井研
- 2002-06-28#p02 今日の向井研 (Elementary universal mapping properties その2)
- 2002-06-30#p02 Monad
- 2002-07-04#p02 圏論メモ
- 2002-09-13#p01 exp(A,B)のvariance
- 2002-09-19#p02 adjointって面白いなぁ
- 2002-10-04#p04 Strong Categorical Datatypes I
- 2002-10-13#p02 topos and topology
- 2002-12-31#p02 今年を振り返って (圏論)
- 2003-01-21#p02 "Sketches: Outline with references"
- 2003-01-26#p03 「スケッチ」
- 2003-02-17#p02 cograph
- 2003-02-17#p07 モナド(Monad)
- 2003-03-04#p03 functor category とデータ型
- 2003-03-23#p02 Re: functor category とデータ型
- 2003-06-01#p03 Hylomorphism
- 2003-06-04#p01 木下佳樹, 高橋孝一: 『図式による圏論の形式的証明』, 電子技術総合研究所研究速報, TR95-25, 1995.
- 2003-06-04#p03 Hylomorphism その2
- 2003-06-18#p05 A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
- 2003-06-27#p02 D∞わからーん
- 2003-06-27#p04 Lambek's Lemma
- 2003-06-27#p07 Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
- 2003-07-04#p01 極限?
- 2003-08-17#p06 comonads
- 2003-09-11#p03 Regular category の中の非決定性オートマトン, 池上 大介 (産総研/CREST)
- 2003-09-11#p04 抽象解釈にみられる圏論的構成について, 西澤 弘毅 (東大/産総研)
- 2003-09-25#p02 Haskellスレ
- 2003-11-27#p02 HaskellのMonad
- 2004-01-22#p03 Re: 街で見かけた数学用語
- 2004-04-03#p01 Polymorphism is not set-theoretic
- 2004-04-10#p01 John Hughes, "Generalising Monads to Arrows"
- 2004-04-25#p01 "Categories for Everybody", Steve Awodey
- 2004-04-28#p01 "Institution Morphisms", Joseph Goguen, Grigore Rosu
- 2004-06-02#p01 Closed Freyd- and kappa-categories, John Power and Hayo Thielecke
- 2004-06-29#p01 V. Vene. Categorical programming with inductive and coinductive types. Diss. Math. Uni. Tartuensis, v. 23, Uni. of Tartu, Aug. 2000. - .ps.gz, .pdf.
- 2004-07-28#p01 FREYD, P. J. 1990. Recursive Types Reduced to Inductive Types. In Proceedings 5th IEEE Annual Symp. on Logic in Computer Science, LICS'90 (Philadelphia, PA, USA, 4-7 June 1990). IEEE Computer Society Press, Los Alamitos, CA, 498-507.
- 2004-07-31#p04 Haskellの代数的データ型は始代数ではない
- 2004-07-31#p05 Haskellの代数的データ型は始代数ではない? (2)
- 2004-07-31#p06 Haskellの代数的データ型は始代数ではない? (3)
- 2004-07-31#p07 Haskellの代数的データ型は始代数ではない? (4)
- 2004-11-07#p02 圏論勉強会開催予定が決定
- 2004-11-20#p01 第一回圏論勉強会
- 2004-12-08#p01 Announce: 圏論勉強会 (第二回)
- 2004-12-09#p05 Category extras
- 2004-12-11#p02 第二回圏論勉強会
- 2005-01-27#p03 Announce: 圏論勉強会(第三回)
- 2005-02-15#p02 不動点と有限直和を持つCCC
- 2005-02-15#p03 不動点と有限直和を持つCCC (2)
- 2005-02-15#p04 不動点と有限直和を持つ distributive category ?
- 2005-02-17#p03 Announce: 圏論勉強会(第四回)
- 2005-02-19#p02 パラメトリシティと不動点
- 2005-02-19#p04 第四回圏論勉強会
- 2005-02-21#p02 monadic catamorphisms
- 2005-02-26#p01 代数的データ型と始代数の話
- 2005-03-03#p01 Representations of First order function types as terminal coalgebras, Thorsten Altenkirch
- 2005-03-08#p01 Hylomorphisms
- 2005-03-08#p02 Hylomorphismと不動点コンビネータ
- 2005-03-08#p03 Hylo Shift Law
- 2005-03-08#p04 Hylomorphismの三つ組み表現 (Hylomorphisms in triplet form)
- 2005-03-08#p06 Cata-HyloFusion / Hylo-AnaFusion
- 2005-03-09#p02 構成的な関数からなる圏
- 2005-03-09#p03 Extensional PERs, Peter J. Freyd, P. Mulry, Giuseppe Rosolini, D. Scott
- 2005-03-09#p04 An introduction to fibrations, topos theory, the effective topos and modest sets, Wesley Phoa
- 2005-03-15#p02 Parametricty and Mulry's Strong Dinaturality - A. Eppendahl
- 2005-03-17#p04 Announce: 圏論勉強会(第五回)
- 2005-03-26#p02 お絵描き圏論
- 2005-03-26#p03 ETBダイアグラム
- 2005-03-27#p01 Traced Premonoidal Categories - Nick Benton and Martin Hyland
- 2005-03-31#p04 Algebraically compact functors - Michael Barr
- 2005-04-11#p02 Announce: 圏論勉強会(第六回)
- 2005-04-15#p01 Announce: 圏論勉強会(第六回) は延期
- 2005-05-03#p02 第六回圏論勉強会
- 2005-06-11#p01 第七回圏論勉強会
- 2005-07-02#p01 第八回圏論勉強会
- 2005-07-27#p01 Categories List in Japanese
- 2005-08-13#p01 第九回圏論勉強会
- 2005-08-25#p04 ファンクタ(functor)とは
- 2005-10-08#p02 第十回圏論勉強会
- 2005-11-12#p01 第十一回圏論勉強会
- 2005-12-18#p01 第十ニ回圏論勉強会
- 2006-01-22#p01 第十三回圏論勉強会
- 2006-02-09#p01 反対圏の実現
- 2006-02-12#p01 第十四回圏論勉強会
- 2006-03-24#p01 The dual of substitution is redecoration. Tarmo Uustalu, Varmo Vene
- 2006-04-07#p01 圏論の解析結果
- 2006-04-30#p01 第十六回圏論勉強会
- 2006-05-14#p01 A groupoid model refutes uniqueness of identity proofs. Martin Hofmann and Thomas Streicher.
- 2006-05-28#p02 第十七回圏論勉強会
- 2006-06-14#p01 融合変換の簡単な例
- 2006-07-09#p01 第十八回圏論勉強会
- 2006-07-23#p01 第十九回圏論勉強会
- 2006-08-13#p01 第二十回圏論勉強会
- 2006-08-27#p01 CPOと始代数
- 2006-09-12#p02 圏論の諸相
- 2006-09-17#p01 第二一回圏論勉強会
- 2006-09-26#p02 Build, Augment and Destroy, Universally. Neil Ghani, Tarmo Uustalu, and Varmo Vene
- 2006-10-08#p01 Arrows, like Monads, are Monoids by Chris Heunen and Bart Jacobs
- 2006-10-12#p01 2-Category by John Power
- 2006-10-15#p01 第二十二回圏論勉強会
- 2006-10-22#p01 monoidal closed functor?
- 2006-10-25#p01 始代数の持ち上げ
- 2006-10-27#p01 Categorical Semantics of Linear Logic For All by Valeria de Paiva
- 2006-10-27#p02 米田の補題と多相ラムダ計算
- 2006-10-31#p01 CPO圏で始代数が存在しないための条件
- 2006-10-31#p02 多相関数≠自然変換
- 2006-10-31#p03 自然変換 ε: F→Id の性質
- 2006-10-31#p04 CPO圏での自然変換の性質
- 2006-11-01#p01 *-autonomous category
- 2006-11-04#p01 topを追加する関手
- 2006-11-10#p01 A note on inconsistencies caused by fixpoints in a cartesian closed category by H. Huwig and A. Poigné
- 2006-11-10#p02 コンマ圏と極限錘
- 2006-11-12#p01 第二十三回圏論勉強会
- 2006-11-27#p03 Reading Notes: Why is Cpo Cocomplete? by Jean Goubault-Larrecq
- 2006-12-01#p02 随伴とモナド
- 2006-12-07#p01 Applicative Programming with Effects by Conor McBride and Ross Paterson
- 2006-12-10#p01 第二十四回圏論勉強会
- 2006-12-14#p01 Domain Theoretic Models Of Polymorphism by Thierry Coquand and Carl A. Gunter
- 2006-12-26#p01 almost epi
- 2007-01-21#p01 第二十五回圏論勉強会
- 2007-02-25#p01 第二十六回圏論勉強会
- 2007-03-25#p01 第二十七回圏論勉強会
- 2007-04-16#p02 「初歩の圏論」富士セミナー
- 2007-04-28#p01 第二十八回圏論勉強会
- 2007-05-15#p02 Introducing categories to the practicing physicist by Bob Coecke
- 2007-06-06#p01 CCC と *-autonomy
- 2007-06-24#p01 第三十回圏論勉強会
- 2007-07-08#p01 第三十一回圏論勉強会
- 2007-08-09#p02 “Topoi: The Categorial Analysis of Logic” by Robert Goldblatt
- 2007-08-12#p02 第三十二回圏論勉強会
- 2007-09-09#p02 第三十三回圏論勉強会
- 2007-10-28#p01 第三十四回圏論勉強会
- 2007-11-04#p01 カテ……
- 2007-12-09#p01 第三十五回圏論勉強会
- 2008-01-13#p01 第三十六回圏論勉強会
- 2008-01-14#p01 “Foundations for structured programming with GADTs” by Patricia Johann and Neil Ghani
- 2008-01-18#p01 米田の補題とCPS変換
- 2008-02-10#p02 第三十七回圏論勉強会
- 2008-03-09#p01 第三十八回圏論勉強会
- 2008-03-11#p02 圏論の講義をYouTubeで
- 2008-03-18#p01 “Category Theoretical Semantics for Pregroup Grammars” by Anne Preller
- 2008-04-01#p01 『圏論による論理学—高階論理とトポス』 清水 義夫
- 2008-04-02#p01 スライスのスライスはスライス
- 2008-04-04#p01 topos の internal language は?
- 2008-04-08#p01 “Co-limits in topoi” by Robert Paré
- 2008-04-10#p01 スライスがCCCのときのプルバックの右随伴
- 2008-04-11#p01 coarbitrary と双対を表す“co-”の由来
- 2008-04-12#p01 第三十九回圏論勉強会
- 2008-04-24#p01 “The Path Category in ALF and AGDA” by Ilya Beylin
- 2008-05-11#p01 第四十回圏論勉強会
- 2008-06-15#p01 第四十一回圏論勉強会
- 2008-06-27#p01 Heinrich Kleisli の写真
- 2008-07-06#p01 第四十二回圏論勉強会
- 2008-07-31#p01 依存型とcatamorphism
- 2008-08-02#p01 Categories with attributes (cwa)
- 2008-08-04#p01 cwaでのユニット型の解釈
- 2008-08-05#p01 Categories with families
- 2008-08-10#p02 第四十三回圏論勉強会
- 2008-08-12#p01 cwaでの自然数型の解釈
- 2008-08-15#p02 The Comonad.Reader » Kan Extensions
- 2008-08-18#p01 自然変換の垂直合成と水平合成
- 2008-09-14#p01 第四十四回圏論勉強会
- 2008-09-28#p01 A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments
- 2008-10-12#p01 第四十五回圏論勉強会
- 2008-11-09#p01 第四十六回圏論勉強会
- 2008-11-12#p02 Algebraic Topology: A guide to literature
- 2008-11-13#p01 “Functorial Semantics of Algebraic Theories” by F. William Lawvere
- 2008-11-24#p01 “Conceptual Mathematics: A First Introduction to Categories” 第二版
- 2008-12-14#p01 第四十七回圏論勉強会
- 2008-12-25#p01 メモ: 『層・圏・トポス』第一章「層」
- 2009-01-11#p01 第四十八回圏論勉強会
- 2009-01-15#p01 圏論屋さんに名前をつけさせるのはやめろってば
- 2009-02-08#p01 第四十九回圏論勉強会
- 2009-03-08#p01 第五十回圏論勉強会＠NII
- 2009-04-12#p01 第五十一回圏論勉強会
- 2009-05-10#p01 第五十二回圏論勉強会
- 2009-06-13#p01 “Data types á la carte” by Wouter Swierstra
- 2009-06-23#p01 Σモノイド—メタ変数と明示的環境を持つ高階構文 by 浜名誠
- 2009-07-12#p01 第五十四回圏論勉強会
- 2009-08-09#p01 第五十五回圏論勉強会
- 2009-09-13#p02 第五十六回圏論勉強会
- 2009-09-20#p01 Introduction to Categorical Programming
- 2009-11-15#p01 第五十八回圏論勉強会
- 2009-12-23#p01 第五十九回圏論勉強会
- 2010-01-17#p01 第六十回圏論勉強会
- 2010-04-17#p01 CLTT読書会第一回
- 2010-05-15#p01 CLTT読書会 第2回
- 2010-06-26#p03 CLTT読書会 第3回
- 2010-07-17#p01 CLTT の 1.1 Fibrations の練習問題
- 2010-07-22#p01 “Generic Programming with Adjunctions” by Ralf Hinze
- 2010-07-25#p01 CLTT の 1.2 Some concrete examples: sets, ω-sets and PERs のノート
- 2010-07-31#p01 CLTT の 1.3 Some general examples のノート
- 2010-08-21#p01 CLTT読書会 第5回
- 2010-08-21#p02 モナド納涼会
- 2010-08-23#p01 CLTT の 1.4 Cloven and split fibrations のノート
- 2010-09-02#p01 CLTT の 1.5 Change-of-base and composition for fibrationsのノート
- 2010-09-07#p01 CLTT の 1.6 Fibrations of signatures のノート
- 2010-09-18#p01 CLTT読書会 第6回
- 2010-12-18#p01 Beyond Classical Domain Theory by Alex Simpson
- 2001-06-01#p01 買った本
- 2001-06-05#p03 読んだ本
- 2001-06-06#p01 買った本
- 2001-06-06#p02 借りた本
- 2001-06-15#p02 買った本
- 2001-06-21#p05 買った本
- 2001-07-01#p06 買った本
- 2001-07-01#p07 借りた本
- 2001-07-10#p05 『Rubyを256倍使う本 無道編』 青木峰郎
- 2001-07-17#p04 借りた本
- 2001-07-17#p05 買った本
- 2001-08-02#p01 借りた本
- 2001-08-06#p06 借りた本
- 2001-08-15#p06 読んだ本
- 2001-08-16#p01 借りた本
- 2001-08-23#p03 読んだ本
- 2001-08-24#p07 借りた本
- 2001-08-27#p02 買った本
- 2001-08-27#p04 Not Found
- 2001-08-28#p01 借りた本
- 2001-08-30#p02 借りた本
- 2001-08-31#p02 グローバル経済を動かす愚かな人々
- 2001-09-04#p01 グローバル経済を動かす愚かな人々
- 2001-09-04#p03 読んだコミックス
- 2001-09-06#p04 借りた本
- 2001-09-06#p05 買った本
- 2001-09-11#p02 読んだ本
- 2001-09-13#p03 読んだ本
- 2001-09-16#p02 「PONとキマイラ (1)」 浅野りん
- 2001-09-16#p03 「Tactics Ogre (1)」(Ogre Battle Saga Episode Ⅶ - Let Us Cling Together) 松葉博
- 2001-09-17#p01 読んだ本
- 2001-09-19#p04 読んだ本
- 2001-09-22#p01 読んだ本
- 2001-09-23#p01 買った本
- 2001-09-24#p03 読んだ本
- 2001-09-25#p03 読んだ本
- 2001-09-26#p02 借りた本
- 2001-09-27#p02 朝鮮語辞典
- 2001-09-27#p06 読んだコミックス
- 2001-10-01#p04 読んだコミック
- 2001-10-04#p01 買った本
- 2001-10-05#p03 借りた本
- 2001-10-09#p04 買った本
- 2001-10-10#p05 『ブレスオブファイアⅣ うつろわざるもの アルカイの竜』 じょうもん弥生[著] 天野シロ[カバーイラスト]
- 2001-10-11#p08 読んだコミックス
- 2001-10-13#p01 借りた本
- 2001-10-15#p01 借りた本
- 2001-10-19#p04 借りた本
- 2001-10-19#p05 買った本
- 2001-10-21#p03 借りた本
- 2001-10-22#p01 『マーズ 1』 横山光輝[著]
- 2001-10-25#p06 読んだ本
- 2001-10-27#p02 読んだ本
- 2001-11-02#p02 読んだ本
- 2001-11-02#p04 借りた本
- 2001-11-12#p02 借りた本
- 2001-11-15#p05 買った本
- 2001-11-16#p01 買った本
- 2001-11-17#p02 読んだ本
- 2001-11-22#p01 読書
- 2001-11-29#p02 読書
- 2001-11-30#p06 読書
- 2001-12-04#p03 読書
- 2001-12-06#p03 借りた本
- 2001-12-06#p09 読書
- 2001-12-08#p03 読書
- 2001-12-11#p03 読書
- 2001-12-20#p01 買った本
- 2001-12-23#p06 読書
- 2001-12-24#p01 買った本
- 2001-12-26#p02 借りた本
- 2001-12-28#p01 読書
- 2001-12-30#p01 読書
- 2002-01-03#p06 読書
- 2002-01-04#p01 借りた本
- 2002-01-08#p01 読書
- 2002-01-10#p02 品切れのためお取り扱いできません
- 2002-01-11#p02 読書
- 2002-01-11#p04 買った本
- 2002-01-14#p01 買った本
- 2002-01-15#p01 読書
- 2002-01-15#p02 借りた本
- 2002-01-17#p02 『狂牛病 - プリオン病因説は間違っている!』
- 2002-01-20#p03 本のみちしるべ -- オンライン書店の比較
- 2002-01-23#p03 読書
- 2002-01-25#p01 買った本
- 2002-01-26#p02 借りた本
- 2002-01-26#p06 チェルノブイリの少年たち
- 2002-01-26#p07 9.11 アメリカに報復する資格はない!
- 2002-02-01#p03 読書
- 2002-02-02#p05 読書
- 2002-02-03#p01 웃지않는 수학자
- 2002-02-03#p03 読書
- 2002-02-04#p04 読書
- 2002-02-05#p06 『天国に涙はいらない 3 - あだ討ちケ原の鬼女』
- 2002-02-06#p03 買った本
- 2002-02-11#p07 読書
- 2002-02-11#p14 天国に涙はいらない
- 2002-02-12#p02 読書
- 2002-02-13#p07 読書
- 2002-02-14#p04 読書
- 2002-02-24#p04 借りた本
- 2002-02-25#p03 君主論
- 2002-02-25#p05 『アクロイドを殺したのはだれか』
- 2002-02-28#p03 借りた本
- 2002-02-28#p04 読書
- 2002-03-01#p04 買った本
- 2002-03-02#p01 買った本
- 2002-03-17#p02 読書
- 2002-03-20#p02 『ナイーヴ』 二宮ひかる
- 2002-03-20#p03 GTM = Graduate Texts in Mathematics
- 2002-03-20#p04 Categories, Types and Structures: an introduction to Category Theory for the working computer scientist.
- 2002-03-23#p02 読書
- 2002-03-24#p05 読書
- 2002-03-29#p05 読書
- 2002-04-11#p07 買った本
- 2002-04-19#p08 『天使な小生意気 13』, 西森博之
- 2002-04-25#p03 『最低!!』, 二宮ひかる
- 2002-04-27#p03 借りた本
- 2002-04-28#p07 読書
- 2002-04-30#p01 読書
- 2002-05-01#p06 借りた本
- 2002-05-02#p04 資本主義経済の幻想
- 2002-05-03#p05 Hassan Ait-Kaci: Warren's Abstract Machine --- A Tutorial Construction
- 2002-05-03#p06 読書
- 2002-05-04#p11 『ギルティ ギア ゼクス PLUS アンソロジーコミック 2』
- 2002-05-05#p08 『ちょびっツ』
- 2002-05-09#p04 買った本
- 2002-05-11#p11 借りた本
- 2002-05-19#p04 借りた本
- 2002-05-20#p08 『まほらば 1』. 小島あきら
- 2002-05-21#p10 『計算機プログラムの構造と解釈』 第二版. Harold Abelson, Jerry Sussman, Julie Sussman [著] 和田英一[訳]
- 2002-05-23#p01 秋田 禎信 「魔術士オーフェンはぐれ旅 - 我が館にさまよえ虚像」
- 2002-05-23#p03 読書
- 2002-05-24#p02 『蟲師 1』 漆原 友紀
- 2002-05-24#p03 『7日間完成 英検1級予想問題ドリル』
- 2002-05-27#p04 『全日本妹選手権 2』 堂高 しげる
- 2002-06-01#p01 借りた本
- 2002-06-04#p01 『サトラレ (2)』 佐藤マコト
- 2002-06-04#p06 『英国庭園の謎』
- 2002-06-05#p05 『吸血姫美夕 十』
- 2002-06-06#p03 読書
- 2002-06-07#p01 読書
- 2002-06-09#p05 読書
- 2002-06-11#p04 読書
- 2002-06-14#p03 『あずまんが大王 (4)』 あずま きよひこ
- 2002-06-17#p02 『夢使い (1)』 植芝 理一
- 2002-06-20#p01 『夢使い (2)』 植芝 理一
- 2002-06-21#p09 『天使な小生意気 (14)』 西森博之
- 2002-06-27#p01 『蟲師 (2)』 漆原 友紀
- 2002-06-28#p01 『痛快すずらん通り』 花見沢 Q太郎
- 2002-07-02#p01 読書
- 2002-07-02#p02 買った本
- 2002-07-04#p03 『イエスタディを歌って (1)』 冬目 景
- 2002-07-06#p03 『エクセルサーガ (9)』 六道 神士
- 2002-07-07#p02 借りた本
- 2002-07-07#p03 『ベルセルク (23)』 三浦健太朗
- 2002-07-08#p03 『しゃぼてん』 野中 英次
- 2002-07-11#p02 『土地改革の基本戦略—所有優先から利用優先へ』 岩田規久男
- 2002-07-15#p05 『デフレの経済学』 岩田 規久男
- 2002-08-10#p03 読書
- 2002-08-22#p05 借りた本
- 2002-08-28#p01 読書
- 2002-08-31#p01 「霞が関が震えた日」
- 2002-09-08#p01 読書
- 2002-09-09#p02 『ドラゴンセンターを破壊せよ (上)』 クライブ・カッスラー(Clive Cussler)[著] 中山善之[訳]
- 2002-09-10#p03 読書
- 2002-09-15#p02 宇宙のエンドゲーム
- 2002-09-15#p07 読書
- 2002-09-19#p03 借りた本
- 2002-09-23#p04 読書
- 2002-09-24#p04 買った本
- 2002-09-24#p05 読書
- 2002-09-27#p05 借りた本
- 2002-10-02#p02 借りた本
- 2002-10-03#p07 読書
- 2002-10-06#p06 読書
- 2002-10-08#p07 『型理論』 龍田真
- 2002-10-08#p08 買った本
- 2002-10-12#p03 借りた本
- 2002-10-12#p04 『ANOTHER MONSTER』 ヴェルナー・ヴェーバー(Werner Weber), 浦沢直樹 [著] 長崎向志[訳]
- 2002-10-13#p01 佐藤賢一について
- 2002-10-14#p01 渡部淳一について
- 2002-10-15#p04 読書
- 2002-10-18#p03 『ディアマイン 1』 高尾 滋
- 2002-10-19#p02 借りた本
- 2002-10-19#p03 買った本
- 2002-10-22#p07 『OUT』 二宮知子
- 2002-10-27#p02 웃지않는 수학자 (その2)
- 2002-10-28#p09 読書
- 2002-10-29#p02 読書
- 2002-10-30#p01 『私の救世主さま』 水無月すう
- 2002-11-01#p03 『ラブやん (1)』 田丸浩史
- 2002-11-03#p01 読書
- 2002-11-04#p03 借りた本
- 2002-11-05#p04 読書
- 2002-11-08#p03 読書
- 2002-11-11#p03 買った本
- 2002-11-16#p04 読書
- 2002-11-21#p01 借りた本
- 2002-11-26#p08 読書
- 2002-11-26#p11 Intuitionistic type theory
- 2002-12-01#p04 借りた本
- 2002-12-03#p04 読書
- 2002-12-05#p02 読書
- 2002-12-12#p05 読書
- 2002-12-16#p02 読書
- 2002-12-20#p03 借りた本
- 2002-12-20#p04 買った本
- 2002-12-21#p02 買った本
- 2002-12-22#p02 買った本
- 2002-12-23#p02 読書
- 2002-12-26#p02 読書
- 2002-12-28#p04 読書
- 2002-12-29#p02 読書
- 2002-12-31#p03 読書
- 2003-01-01#p03 読書
- 2003-01-06#p05 読書
- 2003-01-26#p01 『キノの旅 Ⅳ』 時雨沢恵一[著] 黒星紅白[イラスト]
- 2003-01-27#p04 『キノの旅 Ⅴ』 時雨沢恵一[著] 黒星紅白[イラスト]
- 2003-01-31#p02 借りた本
- 2003-02-01#p02 読書
- 2003-02-03#p06 読書
- 2003-02-05#p03 キノの旅 6
- 2003-02-07#p01 読書
- 2003-02-08#p03 読書
- 2003-02-10#p02 読書
- 2003-02-11#p04 読書
- 2003-02-14#p03 読書
- 2003-02-15#p08 読書
- 2003-02-16#p04 読書
- 2003-02-17#p08 『妖しのセレス—天空お伽草子』10〜12, 渡瀬 悠宇
- 2003-02-19#p04 読書
- 2003-02-23#p01 借りた本
- 2003-02-23#p02 買った本
- 2003-03-02#p03 読書
- 2003-03-05#p02 読書
- 2003-03-06#p01 買った本
- 2003-03-06#p02 借りた本
- 2003-03-08#p05 読書
- 2003-03-13#p03 LUNO
- 2003-03-22#p05 『16歳のセアラが挑んだ世界最強の暗号』
- 2003-03-23#p06 借りた本
- 2003-04-03#p01 買った本
- 2003-04-03#p02 借りた本
- 2003-04-04#p02 入手した本
- 2003-04-14#p01 借りた本
- 2003-04-19#p02 買った本
- 2003-04-24#p04 読書
- 2003-04-25#p04 『ニニンがシノブ伝 2』, 古賀 亮一
- 2003-05-07#p01 『スケバン刑事 4』, 和田 慎二
- 2003-05-10#p02 『素敵なお店のかわいい制服』
- 2003-05-23#p02 借りた本
- 2003-05-30#p02 『これから論文を書く若者のために』 酒井聡樹
- 2003-06-02#p04 バスタード・完全版第2巻発売記念スペシャルコーナー
- 2003-06-11#p03 借りた本
- 2003-06-18#p03 借りた本
- 2003-06-25#p01 借りた本
- 2003-06-25#p02 『夢使い (4)』 植芝 理一
- 2003-06-25#p05 空色勾玉
- 2003-07-01#p01 読書
- 2003-07-02#p02 『ソムリエ (2)』 城 アラキ, 甲斐谷 忍 [著]
- 2003-07-02#p03 買った本
- 2003-08-11#p03 買った本
- 2003-09-12#p08 読書
- 2003-09-14#p03 読書
- 2003-09-17#p06 借りた本
- 2003-09-17#p07 買った本
- 2003-09-18#p04 読書
- 2003-09-27#p02 借りた本
- 2003-10-04#p02 借りた本
- 2003-10-08#p03 『Hana-Usagi (3)』, 小林 賢太郎
- 2003-10-11#p01 借りた本
- 2003-10-18#p01 借りた本
- 2003-10-25#p02 借りた本
- 2003-10-27#p02 Practical Foundations of Mathematics
- 2003-10-27#p03 Proofs and Types
- 2003-11-02#p02 借りた本
- 2003-11-04#p02 読書
- 2003-11-05#p02 『ももいろさんご (5)』 花見沢 Q太郎
- 2003-11-07#p04 借りた本
- 2003-11-16#p02 借りた本
- 2003-11-16#p03 買った本
- 2003-11-18#p01 『親日派のための弁明』 金 完燮 (김 완섭) 著. 荒木 和博, 荒木 信子 [訳]
- 2003-11-20#p01 『親日派のための弁明』 金 完燮 (김 완섭) 著. 荒木 和博, 荒木 信子 [訳]
- 2003-11-22#p01 借りた本
- 2003-11-23#p02 読書
- 2003-11-25#p01 『赤緑黒白』
- 2003-11-28#p02 借りた本
- 2003-12-03#p01 読書
- 2003-12-06#p01 借りた本
- 2003-12-06#p02 買った本
- 2003-12-08#p03 読書
- 2003-12-09#p05 読書
- 2003-12-16#p01 読書
- 2003-12-18#p07 借りた本
- 2004-01-05#p02 借りた本
- 2004-01-07#p01 借りた本
- 2004-01-07#p02 読書
- 2004-01-08#p04 買った本
- 2004-01-10#p02 "The Haskell Road to Logic, Math and Programming" by Kees Doets and Jan van Eijck
- 2004-01-12#p01 借りた本
- 2004-01-14#p02 読書
- 2004-01-19#p01 読書
- 2004-01-27#p03 借りた本
- 2004-01-27#p05 『声に出して読めないネット掲示板』, 荷宮 和子
- 2004-02-11#p01 買った本
- 2004-02-14#p01 借りた本
- 2004-02-15#p02 読書
- 2004-02-16#p04 読書
- 2004-02-17#p02 読書
- 2004-03-04#p01 借りた本
- 2004-03-09#p01 借りた本
- 2004-03-18#p04 借りた本
- 2004-03-24#p01 借りた本
- 2004-03-30#p02 読書
- 2004-03-31#p02 買った本
- 2004-04-10#p02 借りた本
- 2004-04-15#p01 読書
- 2004-04-16#p01 読書
- 2004-04-19#p02 『ラバーズ 1』, 犬上 すくね
- 2004-04-20#p01 読書
- 2004-04-22#p01 『ういうい♥days』, 犬上 すくね
- 2004-04-25#p01 "Categories for Everybody", Steve Awodey
- 2004-04-25#p02 借りた本
- 2004-04-26#p02 『ダーリンは外国人 2』, 小栗 左多里
- 2004-04-27#p02 『政策分析入門』 E.ストーキー, R.ゼックハウザー
- 2004-04-30#p01 読書
- 2004-05-01#p02 読書
- 2004-05-26#p01 借りた本
- 2004-06-28#p02 『白い月光 (1)』『白い月光 (2)』 花見沢 Q太郎
- 2004-06-29#p03 『NHKにようこそ!』, 滝本 竜彦 [原作] 大岩 ケンヂ [画]
- 2004-07-01#p03 『野蛮の園』, 西川 魯介
- 2004-07-20#p03 買った本
- 2004-07-29#p02 『ベルセルク 27』 三浦 建太郎
- 2004-08-12#p02 "Purely Functional Data Structures", Chris Okasaki
- 2004-08-22#p01 日中再考
- 2004-08-27#p04 『光速より速い光 〜アインシュタインに挑む若き科学者の物語』, ジョアオ・マゲイジョ(João Magueijo) [著], 青木 薫 [訳]
- 2004-08-29#p02 『「知財」で稼ぐ！』
- 2004-09-03#p01 『同盟を考える—国々の生き方 』, 船橋 洋一
- 2004-09-05#p02 『第二次大戦とは何だったのか?—戦争の世紀とその指導者たち』, 福田 和也
- 2004-09-07#p01 『セクシーな数学 — ゲーデルから芸術・科学まで』, グレゴリー・J・チャイティン(Gregory J. Chaitin) [著], 黒川 利明 [訳]
- 2004-09-08#p01 『慰安婦と戦場の性』, 秦 郁彦
- 2004-09-09#p01 『DEATH NOTE (3)』, 大場 つぐみ [著], 小畑 健 [イラスト]
- 2004-09-09#p03 『しずるさんと偏屈な死者たち』, 上遠野 浩平 [著], 椋本 夏夜 [イラスト]
- 2004-09-10#p01 『聖・高校生 1』, 小池田 マヤ
- 2004-09-11#p01 『日本再生に「痛み」はいらない』, 岩田 規久男, 八田 達夫
- 2004-09-12#p03 『蕎麦ときしめん』, 清水 義範
- 2004-09-15#p01 『百億の昼と千億の夜』, 光瀬 龍
- 2004-09-16#p02 『世界から見た大東亜戦争 — The Holy Mission of DAI-TOA』, 名越 二荒之助 [編]
- 2004-09-24#p02 『迷宮百年の睡魔』, 森 博嗣 [著]
- 2004-09-29#p03 『輝ける日々』, ダニエル・スティール(Danielle Steel) [著], 畑 正憲 [訳]
- 2004-10-03#p01 『江戸幕府・破産への道—貨幣改鋳のツケ』, 三上 隆三
- 2004-10-04#p01 『祈りの回廊』, 野町 和嘉
- 2004-10-05#p01 『女子大生会計士の事件簿』, 山田 真哉
- 2004-10-11#p01 『アリソンⅡ 真昼の夜の夢』, 時雨沢 恵一 [著] 黒星 紅白 [イラスト]
- 2004-10-12#p01 『BASTARD!!—黒い虹Ⅱ』, ベニー松山
- 2004-10-14#p01 杉原千畝は素晴らしいと思うが……
- 2004-10-15#p01 もう一つの転換点
- 2004-10-23#p02 『日本型サラリーマンは復活する』, 田中 秀臣
- 2004-10-24#p01 『あなたは虚人と星に舞う』, 上遠野 浩平 [著], 中澤一登[イラスト]
- 2004-10-25#p01 『インビジブルハート—恋におちた経済学者』, ラッセル・ロバーツ (Russell Roberts) [著], 沢崎 冬日 [訳]
- 2004-10-29#p01 「進化論」の起源
- 2004-11-08#p03 『風の大陸 氷の島1』, 竹河 聖
- 2004-11-09#p04 『哲学の最前線—ハーバードより愛をこめて』, 富田 恭彦
- 2004-11-12#p01 数学への想像力と情熱
- 2004-11-12#p02 どんな境遇にあっても、頭脳さえあれば
- 2004-11-18#p01 『火車』, 宮部 みゆき
- 2004-11-19#p02 『都市の魅力学』, 原田 泰
- 2004-11-24#p02 『新・土曜ワイド殺人事件—京都藁人形殺人事件』, とり みき, ゆうき まさみ
- 2004-11-24#p03 『ラブやん 4』, 田丸 浩史
- 2004-11-24#p04 『げんしけん 5』, 木尾 士目
- 2004-12-03#p02 『YOUNG&FINE』, 山本 直樹
- 2004-12-03#p03 不思議ちゃんの小気味よさ
- 2004-12-05#p01 『さよならみどりちゃん』, 南 Q太
- 2004-12-07#p03 『NHKにようこそ! 2』, 大岩 ケンヂ [画], 滝本 竜彦 [原作]
- 2004-12-10#p02 『…の女』, 藤村 真理
- 2004-12-10#p03 ユーモラスな切り口による日本人論
- 2004-12-14#p01 『GOTH 』, 乙一 原作, 大岩 ケンヂ 画
- 2004-12-17#p03 異文化理解には相手の文化や信念の尊重が重要だが……
- 2004-12-18#p02 『猫の地球儀 焔の章』, 秋山 瑞人 著, 椎名 優 イラスト
- 2004-12-19#p02 『ネガティブハッピー・チェーンソーエッヂ』, 滝本 竜彦
- 2004-12-22#p02 『アポロ13号 奇跡の生還』, ヘンリー・クーパーJr (Henry S.F. Cooper, Jr) 著, 立花 隆 訳
- 2005-01-04#p02 『プログラミングのための線形代数』, 平岡 和幸, 堀 玄
- 2005-01-05#p03 『V・B・ローズ 1』, 日高 万里
- 2005-01-05#p04 『V・B・ローズ 2』, 日高 万里
- 2005-01-06#p04 『猫の地球儀 幽の章 』, 秋山 瑞人 著, 椎名 優 イラスト
- 2005-01-07#p02 『鉄子の旅 1』, 菊池 直恵
- 2005-01-08#p02 『台湾人と日本精神—日本人よ胸を張りなさい』, 蔡 焜燦
- 2005-01-14#p05 知への欲求
- 2005-01-14#p06 君はアインシュタインを知っているか?
- 2005-01-25#p01 The Implementation of Functional Programming Languages
- 2005-02-16#p01 『竹島は日韓どちらのものか』, 下條 正男
- 2005-02-17#p04 『数学の限界』, G.J.チャイティン(Gregory J. Chaitin) 著, 黒川利明 訳
- 2005-02-21#p04 『常識としての軍事学』, 潮 匡人
- 2005-03-31#p01 『真夜中の水戸黄門』, しりあがり寿
- 2005-03-31#p02 『セマンティック・ウェブのためのRDF/OWL入門』, 神崎 正英
- 2005-04-01#p01 『独島／竹島 韓国の論理』 - 金学俊 著, Hosaka Yuji 訳
- 2005-04-02#p04 『ブギーポップ・デュアル 負け犬達のサーカス』 - 高野真之 (作画) 上遠野浩平 (原案)
- 2005-04-08#p01 『カラシニコフ』, 松本仁一
- 2005-04-11#p01 『温度から見た宇宙・物質・生命 - ビッグバンから絶対零度の世界まで』, ジノ・セグレ(Gino Segrè) 著, 桜井邦朋 訳
- 2005-04-12#p04 『銭 弐巻』, 鈴木 みそ
- 2005-04-13#p03 『アマゾンの秘密─世界最大のネット書店はいかに日本で成功したか』
- 2005-04-14#p01 『委員長お手をどうぞ』, 山名 沢湖
- 2005-04-16#p01 『ブギーポップ・バウンディング ロスト・メビウス』, 上遠野 浩平 (著), 緒方 剛志 (イラスト)
- 2005-04-18#p02 『失踪日記』, 吾妻 ひでお
- 2005-04-19#p01 『銭 壱巻』, 鈴木 みそ
- 2005-04-21#p01 『監督不行届』, 安野 モヨコ
- 2005-04-26#p02 『カイジ 1』, 福本 伸行
- 2005-04-27#p02 『不幸からの出発—アメリカの覇権の下で』, 熊沢 勉
- 2005-04-28#p02 『カイジ 2』, 福本 伸行
- 2005-04-28#p03 『歴代首相の経済政策 全データ』, 草野 厚
- 2005-05-09#p02 『リサイクル幻想』, 武田 邦彦
- 2005-05-13#p01 『スナーク狩り』, 宮部 みゆき
- 2005-05-17#p01 『産直あづまマガジン 3』, 吾妻 ひでお
- 2005-06-03#p02 Type Theory and Functional Programming. Simon Thompson
- 2005-06-10#p01 『山下奉文 —昭和の悲劇』, 福田 和也
- 2005-06-16#p02 『余は如何にしてナショナリストとなりし乎』, 福田 和也
- 2005-06-19#p02 『ジゴロ』, 中山 可穂
- 2005-06-24#p03 『社会保障を問いなおす—年金・医療・少子化対策』, 中垣 陽子
- 2005-06-29#p01 『11人いる! 』, 萩尾 望都
- 2005-06-30#p02 『道路の経済学』 松下 文洋
- 2005-07-01#p03 『四季 春』, 森 博嗣
- 2005-07-02#p02 『月光魔術団1 春の魔法使い』, 平井 和正
- 2005-07-04#p03 『海辺のカフカ』 村上 春樹
- 2005-07-12#p02 『さらば外務省!—私は小泉首相と売国官僚を許さない』, 天木 直人
- 2005-07-13#p01 『経済物理学の発見』, 高安 秀樹
- 2005-07-17#p03 『土地と日本人』 司馬遼太郎対談集
- 2005-07-18#p01 『マンガ嫌韓流』
- 2005-07-19#p04 『陰陽ノ京』, 渡瀬 草一郎 (著), 田島 昭宇 (イラスト)
- 2005-07-21#p01 ブックバトン
- 2005-07-24#p02 『戦争請負会社』, P・W・シンガー(Peter W. Singer) 著, 山崎 淳 訳
- 2005-07-25#p02 『アルベルト・フジモリ,テロと闘う』, アルベルト・フジモリ(Alberto Fujimori) 著, 岸田 秀 訳
- 2005-09-06#p01 『田中雄二の漢文早覚え速答法』＆『田村の現代文年間カリキュラム』
- 2005-09-14#p01 『φは壊れたね』, 森 博嗣
- 2005-09-30#p02 『四季 夏』, 森 博嗣
- 2005-10-02#p02 『遺伝子組換え作物—世界の飢餓とGM作物をめぐる論争』. Per Pinstrup-Andersen, Ebbe Shiøler (著) 沼 圭二, 貝沼 真美, 貝沼 恵美 (訳)
- 2005-10-03#p01 『司法のしゃべりすぎ』, 井上馨
- 2005-10-11#p02 『四季 秋』, 森 博嗣
- 2005-10-19#p02 『エコノミスト 南の貧困と闘う』, ウィリアム・イースタリー(William Easterly) (著), 小浜 裕久, 冨田 陽子, 織井 啓介 (訳)
- 2005-10-20#p04 『陰陽の京〈巻の2〉』, 渡瀬 草一郎 (著), 田島 昭宇 (イラスト)
- 2005-10-21#p01 『新しいプログラミング・パラダイム』, 『続 新しいプログラミング・パラダイム 』
- 2005-10-22#p02 『四季 冬』, 森 博嗣
- 2005-10-31#p01 『ハッカーと画家—コンピュータ時代の創造者たち』, ポール・グレアム(Paul Graham) 著, 川合 史朗 訳
- 2005-11-01#p03 『株取引のことがマンガで3時間でマスターできる本』, 木村 佳子
- 2005-11-02#p01 『夏への扉』, ロバート・A・ハインライン(Robert A. Heinlein) 著, 福島 正実 訳
- 2005-12-18#p03 『反社会学の不埒な研究報告』, パオロ・マッツァリーノ
- 2006-01-18#p02 『59番目のプロポーズ』, 長原 万里子
- 2006-01-19#p01 『マッチ箱の脳―使える人工知能のお話』, 森川 幸人
- 2006-01-27#p01 『国家の罠―外務省のラスプーチンと呼ばれて』, 佐藤優
- 2006-04-19#p01 『博士の愛した数式』, 小川 洋子 [原作], くりた 陸 [漫画]
- 2006-05-08#p01 『ファイブスター物語 12巻』
- 2006-05-09#p02 『ビジョメガネ』
- 2006-05-23#p02 『よつばと! 5』
- 2006-06-08#p02 『ハツカネズミの時間』 冬目 景
- 2006-06-19#p03 『お笑い北朝鮮—金日成・金正日親子長期政権の解明』 伊藤 輝夫
- 2006-06-21#p02 『自由は進化する』 ダニエル・C・デネット(Daniel C. Dennett) 著 山形浩生 訳
- 2006-06-23#p02 『私の脳科学講義』 利根川 進
- 2006-06-28#p01 『大学の話をしましょうか—最高学府のデバイスとポテンシャル』 森 博嗣
- 2006-07-02#p02 『Fermat's Last Theorem』 Simon Singh
- 2006-07-06#p02 『黒衣の下の欲望』 マルト・ブロー(Marthe Blau)著, 長島良三 堀内一郎 訳
- 2006-07-07#p02 『ファウンデーションの彼方へ (上)』
- 2006-07-09#p02 『英語で日記を書いてみる』 石原真弓
- 2006-07-14#p02 『θは遊んでくれたよ』 森博嗣
- 2006-07-19#p02 統計の本
- 2006-07-21#p01 『物理数学の直観的方法』 長沼 伸一郎
- 2006-07-22#p03 『すべての日本人に感じてほしい魂の昭和史』 福田和也
- 2006-07-23#p02 『陰陽ノ京〈巻の3〉』 渡瀬 草一郎
- 2006-07-26#p02 『ファウンデーションの彼方へ〈下〉』 アイザック・アシモフ
- 2006-07-27#p02 『イリアと魔法の図書館』 木島 麻貴
- 2006-07-28#p03 『4日で学ぶモデル検査』
- 2006-08-01#p04 『武装解除—紛争屋が見た世界』 伊勢崎 賢治
- 2006-08-02#p04 『GOTH—リストカット事件』 乙一
- 2006-08-06#p01 『国民の天皇—戦後日本の民主主義と天皇制』
- 2006-08-16#p03 『HELLSING 8』 平野 耕太
- 2006-08-20#p01 『現代数理論理学入門』
- 2006-08-23#p01 『陰陽ノ京〈巻の4〉』 渡瀬 草一郎
- 2006-08-28#p02 『国産ロケットはなぜ墜ちるのか』 松浦 晋也
- 2006-09-09#p02 『τになるまで待って』 森 博嗣
- 2006-09-16#p03 『ハッカーズ』
- 2006-09-23#p02 『アンチ・ハウス』 森博嗣, 阿竹克人
- 2006-09-24#p01 『ガセネッタ＆シモネッタ』 米原 万里
- 2006-09-30#p02 『日本の国境』 山田 吉彦
- 2006-10-06#p02 『マルチコアCPUのための並列プログラミング—並列処理&マルチスレッド入門』
- 2006-10-07#p01 『銃・病原菌・鉄〈上巻〉—1万3000年にわたる人類史の謎』 ジャレド・ダイアモンド(Jared Diamond) [著], 倉骨 彰 [訳]
- 2006-10-12#p03 『謎の彼女X (1)』 植芝 理一
- 2006-10-17#p02 『ベルセルク (31)』 三浦 建太郎
- 2006-10-21#p01 『銃・病原菌・鉄〈下巻〉—1万3000年にわたる人類史の謎』 ジャレド・ダイアモンド(Jared Diamond) [著], 倉骨 彰 [訳]
- 2006-10-25#p02 『NHKにようこそ!』 滝本 竜彦
- 2006-11-09#p01 『儒教—ルサンチマンの宗教』 浅野 裕一
- 2006-11-15#p01 『隣の家の少女』 ジャック・ケッチャム(Jack Ketchum)
- 2006-11-19#p01 『小さな政府を問い直す』 岩田 規久男
- 2006-11-29#p01 『The Code Book』 by Simon Singh
- 2006-12-01#p01 『壷中の天国』 倉知 淳
- 2006-12-02#p01 Remily the Strange by GenocideKitten
- 2006-12-07#p02 『伝わる・揺さぶる!文章を書く』 (山田 ズーニー 著)
- 2007-01-16#p04 『となりの801ちゃん』 小島 アジコ
- 2007-01-19#p01 『εに誓って』 by 森 博嗣
- 2007-02-07#p01 『美しい国へ』 安部晋三
- 2007-02-08#p01 『マオ—誰も知らなかった毛沢東 (上)』
- 2007-02-12#p01 『FREAKONOMICS -- A Rogue Economist Explores the Hidden Side of Everything』
- 2007-03-18#p01 『マオ—誰も知らなかった毛沢東 (下)』
- 2007-03-19#p01 『論理の哲学』 飯田 隆
- 2007-03-20#p01 『日本の外交は国民に何を隠しているのか』 河辺一郎
- 2007-05-03#p02 『アンティゴネー』
- 2007-06-01#p01 『ピタゴラ装置DVDブック』
- 2007-06-03#p01 『チェーザレ — 破壊の創造者』 by 惣領 冬実
- 2007-06-06#p02 『λに歯がない』 森 博嗣
- 2007-06-08#p02 『位相と論理』
- 2007-06-17#p01 『チェーザレ・ボルジアあるいは優雅なる冷酷』 by 塩野七生
- 2007-06-23#p01 『もやしもん』 石川 雅之
- 2007-07-03#p01 『のだめカンタービレ (18)』 二ノ宮 知子
- 2007-07-04#p01 『入門OCaml — プログラミング基礎と実践理解』
- 2007-08-09#p02 “Topoi: The Categorial Analysis of Logic” by Robert Goldblatt
- 2007-08-12#p03 『ηなのに夢のよう』 森博嗣
- 2007-08-15#p02 『もやしもん』3巻&4巻 by 石川 雅之
- 2007-08-20#p02 『謎の彼女X (2)』 植芝 理一
- 2007-08-28#p03 『すもももももも - 地上最強のヨメ (8)』 大高 忍
- 2007-09-03#p02 『寄生獣 (1)』 by 岩明 均
- 2007-09-04#p03 『寄生獣 (2)』 by 岩明 均
- 2007-09-10#p01 Amazonポイント最大3%(3倍)還元キャンペーン
- 2007-09-12#p01 『福翁自伝』 福沢諭吉 著 富田正文 校注
- 2007-09-14#p01 『ヘウレーカ』 by 岩明 均
- 2007-09-18#p02 『寄生獣 (3)』 by 岩明 均
- 2007-09-25#p02 『寄生獣 (4)』 by 岩明 均
- 2007-09-26#p03 『寄生獣 (5)』 by 岩明 均
- 2007-09-27#p03 『寄生獣 (6)』 by 岩明 均
- 2007-09-28#p01 『寄生獣 (7)』 by 岩明 均
- 2007-09-29#p02 『寄生獣 (8)』 by 岩明 均
- 2007-10-09#p02 『オトナ語の謎』 糸井 重里
- 2007-10-27#p02 Amazon.co.jp、3000円以上の和書ポイント5倍還元
- 2007-10-29#p02 『数学ガール』 結城浩
- 2007-11-11#p01 『HELLSING (9)』 by 平野 耕太
- 2007-11-27#p01 CSLI Lecture Notes online and free
- 2007-12-15#p03 福岡伸一『生物と無生物のあいだ』
- 2007-12-21#p01 岩明均 『ヒストリエ (1)』
- 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
- 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 『効率が１０倍アップする新・知的生産術—自分をグーグル化する方法』 勝間和代
- 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 『プログラミングのための確率統計』 平岡 和幸 (著), 堀 玄 (著)
- 2010-02-03#p01 『下流志向 ― 学ばない子どもたち 働かない若者たち』 by 内田 樹
- 2011-07-08#p01 『抽象によるソフトウェア設計』がついに出版されます
- 2001-11-14#p03 マルチバイトキャラクタを扱う決定性有限状態オートマトンの構成法
- 2002-03-07#p02 論文読み会
- 2002-03-15#p03 論文読み会
- 2002-03-19#p01 論文読み会
- 2002-03-22#p01 論文読み会 “Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor”
- 2002-04-01#p03 論文読み会
- 2002-04-03#p01 On Understanding Types, Data Abstraction, and Polymorphism
- 2002-04-06#p05 On Understanding Types, Data Abstraction, and Polymorphism
- 2002-04-16#p01 Monads for functional programming
- 2002-04-19#p01 Regular Expressions into Finite Automata
- 2002-04-22#p07 論文読み会 "WOLF--A Novel Reordering Write Buffer to Boost the Performance of Log-Structured File Systems"
- 2002-04-25#p01 A Categorical Programming Language
- 2002-04-27#p02 Efficient Object Sampling via Weak References
- 2002-04-28#p01 Lazy vs. strict
- 2002-04-30#p03 外国語論文講読: Types and Programming Languages
- 2002-05-13#p03 論文読み会 "Rethinking /dev and devices in the UNIX kernel"
- 2002-05-20#p04 論文読み会 "Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications"
- 2002-05-21#p03 Coalgebra に基づく有限オートマトン理論の再構成(概要)
- 2002-06-03#p03 論文読み会 "J-Orchestra: Automatic Java Application Partitioning"
- 2002-06-07#p06 Generic Programming - An Introduction -
- 2002-06-10#p03 論文読み会 "A Secure Environment for Untrusted Helper Applicatoins"
- 2002-06-17#p03 論文読み会 "Clarifying the Fundamentals of HTTP" by Jeffrey C.Mogul, Compaq Research, IETF HTTP WG
- 2002-06-20#p04 A Block-sorting Lossless Data Compression Algorithm
- 2002-06-24#p01 Subtyping and Inheritance for Categorical Datatypes
- 2002-06-24#p02 論文読み会 "Reinforcement Learning for Dynamic Channel Allocation in Cellular Telephone Systems"
- 2002-07-01#p03 論文読み会 "Consistency Management in Optimistic Replication Algorithms"
- 2002-08-23#p02 PRIMES is in P
- 2002-08-31#p02 Functional Programming with Overloading and Higher-Order Polymorphism
- 2002-09-04#p01 素数判定とMillerの定理
- 2002-09-20#p07 Collection Schemes For Distributed Garbage
- 2002-09-30#p07 論文読み会 "How to Model an Internetworking"
- 2002-10-03#p01 The new Native POSIX Thread Library for Linux (draft)
- 2002-10-04#p04 Strong Categorical Datatypes I
- 2002-10-07#p05 論文読み会 "Disk Scheduling Revisited"
- 2002-10-10#p10 Fold and Unfold for Program Semantics
- 2002-10-21#p06 論文読み会 "The new Native POSIX Thread Library for Linux" (draft)
- 2002-10-24#p05 From Algebras and Coalgebras to Dialgebras
- 2002-10-28#p05 論文読み会 "Java 2 Platform Micro Edition"
- 2002-11-01#p04 Java/C++ integration
- 2002-11-05#p06 Haskell and XML: Generic Combinators or Type-Based Translation?
- 2002-11-07#p06 Lexical File Names in Plan 9, or, Getting Dot-Dot Right
- 2002-11-11#p04 論文読み会: rfc2291
- 2002-11-18#p08 論文読み会 "PersonalRAID: Mobile Storage for Distributed and Disconnected Computers"
- 2002-11-21#p05 Template metaprogramming for Haskell
- 2002-12-05#p05 Computational lambda-calculus and monads.
- 2002-12-07#p03 Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources
- 2002-12-09#p08 論文読み会 "Summary of Recent Discussions about an Application Prgramming Interface from RDF"
- 2002-12-12#p06 From Direct Style to Monadic Style through CPS
- 2002-12-16#p06 論文読み会 "Java バイトコードを編集するためのAPI"
- 2002-12-21#p01 fold,自由代数,表示的意味論
- 2003-01-20#p01 論文読み会 "Fold and Unfold for Program Semantics"
- 2003-01-21#p02 "Sketches: Outline with references"
- 2003-02-24#p01 論文読み会: DCD----Disk Caching Disk: A New Approach for Boosting I/O Performance
- 2003-05-01#p04 超集合論 - circularityの論理の現在 -
- 2003-05-15#p04 安全に結合可能なアスペクトを提供するためのルール
- 2003-05-18#p05 ワイヤレスネットワークの脆弱性の実証とWEPを使う上での対策
- 2003-06-04#p01 木下佳樹, 高橋孝一: 『図式による圏論の形式的証明』, 電子技術総合研究所研究速報, TR95-25, 1995.
- 2003-06-05#p01 横山哲郎, 『効果的な融合変換のための変換戦略の記述法とその実現』
- 2003-06-09#p02 Nested Type
- 2003-06-10#p04 Charity User Manual (draft)
- 2003-06-18#p05 A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
- 2003-06-19#p02 Linear Types Can Change the World!
- 2003-06-23#p03 Final Coalgebras are Ideal Completions of Initial Algebras
- 2003-06-27#p07 Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
- 2003-06-29#p03 「自己言及の論理と計算」 (長谷川 真人)
- 2003-07-04#p02 On coalgebra based on classes (J. Adámek, S. Milius, J.Velebil)
- 2003-08-14#p05 Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages
- 2003-09-01#p05 Any endo-functor on the class of all classes is set-based. (J. Adámek, S. Milius, J.Velebil: On coalgebra based on classes)
- 2003-11-05#p06 Relators, Fans and Membership
- 2003-11-05#p09 論文積読
- 2003-11-06#p02 Coalgebras and Monads in Semantics of Java
- 2004-01-08#p02 Citrus iconv の実装
- 2004-01-28#p02 Detours: Binary Interception of Win32 Functions
- 2004-02-10#p01 IF-Map: An Ontology-Mapping Method based on Information-Flow Theory
- 2004-04-03#p01 Polymorphism is not set-theoretic
- 2004-04-10#p01 John Hughes, "Generalising Monads to Arrows"
- 2004-04-24#p01 "Typing Haskell in Haskell", Mark P. Jones
- 2004-04-27#p01 "Language-Based Information-Flow Security", Andrei Sabelfeld and Andrew C. Myers
- 2004-04-28#p01 "Institution Morphisms", Joseph Goguen, Grigore Rosu
- 2004-05-01#p03 "A denotational semantics of inheritance and its correctness", William Cook and Jens Palsberg
- 2004-05-23#p01 "Restricted Datatypes in Haskell", John Hughes (Chalmers University, Sweden)
- 2004-05-29#p04 "A New Notation for Arrows", Ross Paterson
- 2004-06-02#p01 Closed Freyd- and kappa-categories, John Power and Hayo Thielecke
- 2004-06-12#p01 "部分グラフ同型判定アルゴリズムのFPGAによる実装と評価", 市川 周一, ラターナセンタン・ウドーン(Lerdtanaseangtham Udorn), 小西 幸治
- 2004-06-29#p01 V. Vene. Categorical programming with inductive and coinductive types. Diss. Math. Uni. Tartuensis, v. 23, Uni. of Tartu, Aug. 2000. - .ps.gz, .pdf.
- 2004-07-03#p03 Bananas in Space: extending Fold and Unfold to Exponential Types
- 2004-07-27#p02 Enumerating the Rationals.
- 2004-07-28#p01 FREYD, P. J. 1990. Recursive Types Reduced to Inductive Types. In Proceedings 5th IEEE Annual Symp. on Logic in Computer Science, LICS'90 (Philadelphia, PA, USA, 4-7 June 1990). IEEE Computer Society Press, Los Alamitos, CA, 498-507.
- 2004-08-02#p01 "擬データを用いた対話的関数プログラミングに関する研究", 石井裕一郎
- 2004-08-04#p01 "Inductive, coinductive, and pointed types", Brian T. Howard
- 2004-08-05#p02 "RAL: an Algebra for Querying RDF", Flavius Frasincar, Geert-Jan Houben, Richard Vdovjak, Peter Barna (PDF, PS, PPT)
- 2004-08-12#p02 "Purely Functional Data Structures", Chris Okasaki
- 2004-08-21#p01 "Non-stop Haskell", Andy Cheadle, Tony Field, Simon Marlow, Simon Peyton Jones, and Lyndon While; ICFP 2000.
- 2004-08-22#p02 "Lazy functional state threads", John Launchbury, Simon L. Peyton Jones
- 2004-08-23#p01 論文読み会
- 2004-08-24#p02 "A New Method for Functional Arrays", Melissa O'Neill, F. Warren Burton
- 2004-08-25#p02 "Generational garbage collection for Haskell", Patrick M. Sansom, Simon L. Peyton Jones
- 2004-08-26#p01 Jan-Åke Hedström, "RubySharp - a Ruby to CIL Compiler", [PDF]
- 2004-08-26#p02 Anders Alexandersson, "RubyComp - a Ruby-to-LLVM Compiler Prototype", [PDF]
- 2004-08-29#p05 "Compiling Haskell to Java", Mark Tullsen
- 2004-09-02#p03 "Graph Rewriting Semantics for Functional Programming Language", Marko van Eekelen, Sjaak Smetsers, Rinus Plasmeijer
- 2004-09-03#p02 "Type Classes with Functional Dependencies", Mark P. Jones
- 2004-11-16#p01 Making a fast curry: push/enter vs. eval/apply for higher-order languages, Simon Marlow and Simon Peyton Jones
- 2004-11-17#p01 Lazy Depth-First Search and Linear Graph Algorithms in Haskell, David J. King and John Launchbury
- 2004-12-09#p04 Tarmo Uustalu, Varmo Vene and Alberto Pardo, Comonadic Iteration
- 2004-12-14#p03 Constructed Product Result Analysis for Haskell, Clem Baker-Finch, Kevin Glynn, Simon Peyton Jones
- 2005-01-21#p01 Composable memory transactions, Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Submitted to PPoPP 2005.
- 2005-01-26#p01 Strongly typed heterogeneous collections, Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
- 2005-01-26#p02 Haskell's overlooked object system, Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
- 2005-01-27#p01 Bayesian Networks for Lossless Dataset Compression, Scott Davies and Andrew Moore
- 2005-01-27#p02 Probabilistic Logic Programming and Bayesian Networks, Liem Ngo and Peter Haddawy
- 2005-02-18#p03 Theorems for free!. Philip Wadler
- 2005-02-19#p01 Recursive types for free!, Philip Wadler
- 2005-02-22#p01 When is a function a fold or an unfold?, Jeremy Gibbons, Graham Hutton, and Thorsten Altenkirch
- 2005-02-22#p02 Constructively Characterizing Fold and Unfold, Tjark Weber and James Caldwell
- 2005-03-03#p01 Representations of First order function types as terminal coalgebras, Thorsten Altenkirch
- 2005-03-09#p03 Extensional PERs, Peter J. Freyd, P. Mulry, Giuseppe Rosolini, D. Scott
- 2005-03-09#p04 An introduction to fibrations, topos theory, the effective topos and modest sets, Wesley Phoa
- 2005-03-10#p04 Scott is not Always Sober. By Peter T. Johnstone, in Continuous lattices, Lecture Notes in Mathematics, 871 (1981), pp. 282--283.
- 2005-03-15#p02 Parametricty and Mulry's Strong Dinaturality - A. Eppendahl
- 2005-03-15#p03 Free Theorems in the Presence of seq - P. Johann and J. Voigtländer
- 2005-03-16#p03 Jan Johannsen's cute title collection
- 2005-03-21#p01 Linear Logic complements Classical Logic - Vaughan Pratt
- 2005-03-27#p01 Traced Premonoidal Categories - Nick Benton and Martin Hyland
- 2005-03-31#p04 Algebraically compact functors - Michael Barr
- 2005-04-06#p03 Data Structures Considered Harmful - John G. Cleary, Mark Utting, and Roger Clayton
- 2005-04-14#p03 The SLam Calculus: Programming with Secrecy and Integrity - Nevin Heintze and Jon G. Riecke
- 2005-04-15#p03 Programming with Static Invariants in Ωmega - Nathan Linger and Tim Sheard
- 2005-04-30#p01 Premonoidal categories and notions of computation, John Power and Edmund Robinson
- 2005-05-28#p01 Why Dependent Types Matter. Thorsten Altenkirch, Conor McBride, James McKinna
- 2005-05-29#p02 Extensional Equality in Intensional Type Theory. Thorsten Altenkirch
- 2005-05-31#p02 Describing and Reasoning on Web Services using Process Algebra. Gwen Salaün, Lucas Bordeaux, Marco Schaerf
- 2005-06-04#p02 Qualified Types for MLF by Daan Leijen and Andres Löh
- 2005-07-02#p04 Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl). Oleg Kiselyov, Chung-chieh Shan and Daniel P. Friedman and Amr Sabry
- 2005-09-17#p01 型理論での形式的証明記述の技法について; 木下 佳樹, 高村博紀
- 2005-09-22#p01 型代入を遅延する最適化型推論アルゴリズム; 上野雄大, 大堀淳
- 2005-09-23#p01 Agdaプラグイン機構; 池上 大介
- 2005-09-29#p01 Freek Wiedijk. Comparing mathematical provers
- 2005-10-02#p01 Codata, Thorsten Altenkirch
- 2005-10-03#p02 Overloading in Agda. Catarina Coquand
- 2005-10-03#p03 この日記でのスライド等の扱い
- 2005-10-05#p01 Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence; James Cheney, Christian Urban
- 2005-10-08#p03 Haskellへの多相バリアントの導入について. 香川 孝司
- 2005-10-10#p01 CoInduction in Coq. Yves Bertot
- 2005-10-11#p01 正規表現とプロセス代数に基づく通信プロトコルコンパイラ. 服部健太, 数馬洋一
- 2005-10-12#p01 一階様相μ計算. 岡本圭史
- 2005-10-13#p01 Logic, Higher-order. Dale Miller
- 2005-10-14#p02 単純型つきλ計算の強正規性の初等的な証明
- 2005-10-16#p01 Interfaces as games, programs as strategies. Markus Michelbrink
- 2005-10-27#p03 Partial co-recursive functions, Yves Bertot
- 2005-10-27#p05 Type Theory with First-Order Data Types and Size-Change Termination, David Wahlstedt
- 2005-11-22#p02 A Cookbook for the Haskell XML Toolbox with Examples for Processing RDF Documents. Manuel Ohlendorf
- 2005-12-08#p02 スクリプト言語Rubyの拡張可能な多言語テキスト処理の実装, 松本行弘 縄手雅彦
- 2006-01-09#p01 Packrat Parsing: Simple, Powerful, Lazy, Linear Time. Bryan Ford
- 2006-01-10#p01 Proof Methods for Corecursive Programs. Jeremy Gibbons, Graham Huttton.
- 2006-01-12#p01 Guarded Induction on Final Coalgebras. Duško Pavlović
- 2006-01-26#p01 Infinite Objects in Type Theory. Thierry Coquand.
- 2006-01-27#p03 Haskell is not not ML. Ben Rudiak-Gould, Alan Mycroft, and Simon Peyton Jones.
- 2006-02-05#p01 Pattern matching with dependent types.
- 2006-03-23#p01 Typed Logical Variables in Haskell. Koen Claessen, Peter Ljunglöf
- 2006-03-24#p01 The dual of substitution is redecoration. Tarmo Uustalu, Varmo Vene
- 2006-03-31#p02 Transactional Memory with data invariants. Tim Harris, Simon Peyton Jones
- 2006-04-24#p01 Haskell on a Shared-Memory Multiprocessor. Tim Harris, Simon Marlow, Simon Peyton Jones
- 2006-05-03#p02 “ECC, an Extended Calculus of Constructions” by Zhaohui Luo
- 2006-05-11#p01 Game Semantics. Samson Abramsky and Guy McCusker.
- 2006-05-14#p01 A groupoid model refutes uniqueness of identity proofs. Martin Hofmann and Thomas Streicher.
- 2006-05-16#p01 Towards Observational Type Theory. Thorsten Altenkirch and Conor McBride
- 2006-05-17#p02 モデル検査法のソフトウェア検証への応用. 中島震
- 2006-05-21#p03 Representing Nested Inductive Types using W-types
- 2006-06-10#p03 Fast and loose reasoning is morally correct. Nils Anders Danielsson, Jeremy Gibbons, John Hughes and Patrik Jansson.
- 2006-06-24#p01 Functional pearl: i am not a number -- i am a free variable. Conor McBride, James McKinna
- 2006-07-17#p02 Learning Minesweeper with Multirelational Learning. Lourdes Peña Castillo, Stefan Wrobel
- 2006-09-08#p01 MapReduce: Simplified Data Processing on Large Clusters. Jeffrey Dean and Sanjay Ghemawat
- 2006-09-10#p01 Comonadic Functional Attribute Evaluation. Tarmo Uustalu and Varmo Vene.
- 2006-09-26#p02 Build, Augment and Destroy, Universally. Neil Ghani, Tarmo Uustalu, and Varmo Vene
- 2006-10-05#p02 Folds, Church Encodings, Builds, and Short Cut Fusion for Nested Types: A Principled Approach by Neil Ghani and Patricia Johann
- 2006-10-06#p01 Representing Cyclic Structures as Nested Datatypes by Makoto Hamana (浜名 誠), Neil Ghani, Tarmo Uustalu and Varmo Vene
- 2006-10-08#p01 Arrows, like Monads, are Monoids by Chris Heunen and Bart Jacobs
- 2006-10-11#p01 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) by P. N. Benton
- 2006-10-13#p03 Parametricty and Mulry's Strong Dinaturality by A. Eppendahl
- 2006-10-27#p01 Categorical Semantics of Linear Logic For All by Valeria de Paiva
- 2006-11-08#p02 Programs, grammars and arguments: a personal view of some connections between computation, language and logic by J. Lambek
- 2006-11-09#p02 The Theory of Parametricity in Lambda Cube by 竹内 泉
- 2006-11-10#p01 A note on inconsistencies caused by fixpoints in a cartesian closed category by H. Huwig and A. Poigné
- 2006-11-27#p03 Reading Notes: Why is Cpo Cocomplete? by Jean Goubault-Larrecq
- 2006-11-28#p01 Agate—an Agda-to-Haskell compiler by Hiroyuki Ozaki, Makoto Takeyama and Yoshiki Kinoshita
- 2006-12-07#p01 Applicative Programming with Effects by Conor McBride and Ross Paterson
- 2006-12-11#p01 Shortcut fusion is correct by Patricia Johann
- 2006-12-14#p01 Domain Theoretic Models Of Polymorphism by Thierry Coquand and Carl A. Gunter
- 2006-12-16#p01 Deriving Structural Hylomorphisms From Recursive Definitions by Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 2007-01-17#p03 Lightweight Fusion by Fixed Point Promotion. by Atsushi Ohori and Isao Sasano
- 2007-03-07#p02 ⊤⊤-closed relations and admissibility by Martín Abadi
- 2007-04-15#p01 Trampolined Style by Steven E. Ganz, Daniel P. Friedman and Mitchell Wand
- 2007-05-19#p02 “Combining Events And Threads For Scalable Network Services ― Implementation And Evaluation Of Monadic, Application-level Concurrency Primitives”, by Peng Li and Steve Zdancewic
- 2007-06-22#p01 “Coroutines in Lua” by Ana Lúcia de Moura, Noemi Rodriguez and Roberto Ierusalimschy
- 2007-07-02#p01 “A formulae-as-types interpretation of Subtractive Logic” by Tristan Crolard
- 2007-07-25#p01 “Ropes: an Alternative to Strings” by Hans-J. Boehm, Russ Atkinson and Michael Plass
- 2007-07-29#p02 “Finger Trees: A Simple General-purpose Data Structure” by Ralf Hinze and Ross Paterson
- 2007-10-19#p01 “Algebraic laws for nondeterminism and concurrency” by Matthew Hennessy and Robin Milner
- 2007-10-30#p01 “Faster laziness using dynamic pointer tagging” by Simon Marlow, Alexey Rodriguez Yakushev, Simon Peyton Jones
- 2007-11-02#p02 “Metamorphic Programming Extension to Haskell” by Martin Erwig
- 2007-11-04#p02 “Program-ing Finger Trees in Coq” by Matthieu Sozeau
- 2007-11-06#p01 “State of the Union: Type Inference via Craig Interpolation” by Ranjit Jhala, Rupak Majumdar and Ru-Gang Xu
- 2007-11-16#p01 “Why it's nice to be quoted: quasiquoting for haskell” by Geoffrey Mainland
- 2007-11-27#p02 “Context Threading: A flexible and efficient dispatch technique for virtual machine interpreters” by Marc Berndl, Benjamin Vitale, Mathew Zaleski and Angela Demke Brown
- 2007-12-02#p04 “A simple propositional S5 tableau system” by Melvin Fitting
- 2007-12-17#p01 “Mechanizing common knowledge logic using COQ” by Pierre Lescanne
- 2008-01-14#p01 “Foundations for structured programming with GADTs” by Patricia Johann and Neil Ghani
- 2008-01-28#p01 ProLogICA: a practical system for Abductive Logic Programming by Oliver Ray and Antonis Kakas
- 2008-01-30#p01 MinCamlコンパイラ by 住井英二郎
- 2008-02-07#p02 正規表現における非包含オペレータの提案 by 田中哲
- 2008-02-14#p01 “Towards open type functions for Haskell” by Tom Schrijvers, Martin Sulzmann, Simon Peyton Jones, and Manuel Chakravarty
- 2008-02-21#p01 “Three Partition Refinement Algorithms” by Robert Paige and Robert Tarjan
- 2008-02-28#p01 “Lest We Remember: Cold Boot Attacks on Encryption Keys” by J. Alex Halderman, Seth D. Schoen, Nadia Heninger, William Clarkson, William Paul, Joseph A. Calandrino, Ariel J. Feldman, Jacob Appelbaum, and Edward W. Felten
- 2008-03-13#p01 “Continuations in Natural Language” by Chris Barker
- 2008-03-18#p01 “Category Theoretical Semantics for Pregroup Grammars” by Anne Preller
- 2008-03-21#p02 書き換え系について少し勉強 (「潜在帰納法と書き換え帰納法の比較」 by 小池広高 and 外山芳人)
- 2008-04-05#p02 “Polymorphic Delimited Continuations” by Kenichi Asai, Yukiyoshi Kameyama
- 2008-04-06#p01 記号モデル検査の並行ソフトウェアシステムへの応用について by 土屋達弘
- 2008-04-08#p01 “Co-limits in topoi” by Robert Paré
- 2008-04-19#p01 "Scott is not always sober” by Peter T. Johnstone
- 2008-04-22#p01 “The Essense of the Iterator Pattern” by Jeremy Gibbons and Bruno C. d. S. Oliveira
- 2008-04-24#p01 “The Path Category in ALF and AGDA” by Ilya Beylin
- 2008-04-27#p01 “Checking Race Freedom via Linear Programming” by Tachio Terauchi
- 2008-05-12#p01 『Cygwinで日本語TeX』 by 黒木裕介
- 2008-05-14#p01 多相レコード型に基づくRubyプログラムの型推論 by 松本宗太郎 and 南出靖彦
- 2008-05-24#p01 “Optimistic evaluation: an adaptive evaluation strategy for non-strict programs” by Robert Ennals and Simon Peyton Jones
- 2008-06-06#p01 計算と論理のための自然枠組NF/CAL by 佐藤 雅彦
- 2008-06-08#p01 “A constructive proof of equivalence of formalism od DCG's with the formalism of type 0 phrase-structure grammars” by Marica D. Prešić and Slavisa B. Prešić
- 2008-06-30#p01 “A functional quantum programming language” by Thorsten Altenkirch and Jonathan Grattage
- 2008-07-05#p01 Morph Endo!: Report on the Tenth Interstellar Contest on Fuun Programming
- 2008-08-27#p01 “Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method” by Kiyoshi Akama, Ekawit Nantajeewarawat, and Hidekatsu Koike
- 2008-09-06#p01 “Models of LCF” by Robin Milner
- 2008-09-08#p01 “Lightweight Monadic Regions” by Oleg Kiselyov and Chung-chieh Shan
- 2008-09-10#p02 ソフトウェア仕様の差分について by 石井忠夫
- 2008-09-13#p01 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
- 2008-09-17#p02 Analyzing Websites for User-Visible Security Design Flaws
- 2008-09-19#p01 The Transactional Memory / Garbage Collection Analogy
- 2008-09-21#p01 Sets in types, types in sets
- 2008-09-28#p01 A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments
- 2008-10-09#p01 “&” by Christopher J. Mulvey
- 2008-10-11#p01 Derivatives of Regular Expressions by Janusz Brzozowski
- 2008-10-14#p01 SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values
- 2008-11-13#p01 “Functorial Semantics of Algebraic Theories” by F. William Lawvere
- 2008-11-15#p01 “Seven trees in one” by Andreas Blass
- 2008-12-20#p02 Universal Shell Programming（USP）向けシェル機能と実装 by 片山善夫 and 當仲寛哲
- 2008-12-23#p01 “Perils of Transitive Trust in the Domain Name System” by Venugopalan Ramasubramanian and Emin Gün Sirer
- 2008-12-31#p01 「クリーニ代数入門」 by 古澤 仁 and 高井 利憲
- 2009-01-06#p01 “Much Ado about Two: A Pearl on Parallel Prefix Computation” by Janis Voigtländer
- 2009-01-07#p02 “The Thermodynamics of Computation — a Review” by Charles H Bennett
- 2009-05-04#p02 "Do we Need Dependent Types?" by Daniel Fridlender, Mia Indrika
- 2009-06-11#p01 スコーレムの有限主義 by 出口 康夫
- 2009-06-13#p01 “Data types á la carte” by Wouter Swierstra
- 2009-06-22#p01 “Parsing Expression Grammars: A Recognition-Based Syntactic Foundation” by Bryan Ford
- 2009-06-23#p01 Σモノイド—メタ変数と明示的環境を持つ高階構文 by 浜名誠
- 2009-07-05#p01 “Referential transparency, definiteness and unfoldability” by Harald Søndergaard and Peter Sestoft
- 2009-07-07#p01 “Types are calling convensions” by Max Bolingbroke and Simon Peyton Jones
- 2009-07-11#p01 “100 years of Zermelo's axiom of choice: what was the problem with it?” by Per Martin-Löf
- 2009-07-15#p01 “Observational equality, now!” by Thorsten Altenkirch, Conor Mcbride, Wouter Swierstra
- 2009-07-17#p02 “Equality and hashing for (almost) free: Generating implementations from abstraction functions” by Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson
- 2009-07-30#p01 “Ricsin: Ruby にCを埋め込むシステム”笹田 耕一
- 2009-08-08#p01 “New Techniques that Improve MACE-style Finite Model Finding” by Koen Claessen and Niklas Sörensson
- 2009-08-13#p01 “The IDP framework for declarative problem solving” by Maarten Mariën, Johan Wittocx, and Marc Denecker
- 2009-09-18#p01 “First-Order Logic as a Lightweight Software Specification Language - The ETPTP Toolkit” by Michel Rijnders
- 2009-11-07#p01 “A semantics for imprecise exceptions” by Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow and Fergus Henderson
- 2009-11-08#p01 “Asynchronous Exceptions in Haskell” Simon Marlow, Simon Peyton Jones, Andrew Moran and John Reppy
- 2009-11-10#p01 “The Physical World as a Virtual Reality” by Brian Whitworth
- 2010-01-25#p01 “Runtime support for multicore Haskell” by Simon Marlow, Simon P. Jones, Satnam Singh
- 2010-01-27#p01 “Stream fusion: from lists to streams to nothing at all” by Duncan Coutts, Roman Leshchinskiy, Don Stewart
- 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
