ヒビルテ [論文 (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
- 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 高井 利憲