ヒビルテ [ALL (2006年)]
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
- 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
- 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