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