ヒビルテ [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
- 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