yoriyuki's tags

agda   agdaspin   ai   algorithm   assume-gurantee-reasoning   automata   bounded-arithmetic   category   classical-logic   combinatorics   complexity   comprehension   concurrency   constructive-mathematics   continuation   control-operator   copy   cps   cryptography   cs   cut-elimination   dependent-type   design-pattern   dialgebra   dynamics   economics   ethic   exact-real-arithmetic   fdr   forcing   formal-method   formal-semantics   free-logic   functional-programming   game-semantics   haskell   history-of-logic   hoare-logic   implicit-complexity   incompletenss-theorem   information-theory   introduction-to-logic   intuitionism   java   kripke-model   lambda-calculus   lambda-mu   lcm   learning-theory   library   linear-logic   message-passing   ml   modal-mu   model-checking   model-checkingspin   mpi   muchnik-degree   mypaper   natural-language   network   nlp   nonstandard-analysis   normalization   observational-equivalence   ontology   oop   optimization   ordinal-analysis   overloading   parsing   philosophy   philosophy-of-mathematics   philosophy-of-mind   physics   pi-calculus   pki   poincare-conjecture   political-science   polymorphism   power-law   predicative-arithmetic   presburger-arithmetic   print   program-analysis   programming-language   program-semantics   proof-theoretical-semantics   proof-theory   protocol   quantum-computing   quantum-mechanics   randomness   recommendation   reverse-mathematics   reversible-computing   ruby   security   semantics   set-theory   situation-theory   software-engineering   spin   ssl   term-rewriting   theorem-for-free   theorem-proving   thermodynamics-of-computation   timed-automata   tree-automata   truth-theory   type-inference   type-theory   vaguness   vpn   weak   x509