ヒビルテ [ALL (2002年)]
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
- 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,自由代数,表示的意味論