Personal Information
Sobre
Delusional mathematician, who are working a disillusioned government agency.
妄想的数学者
Marcadores
computer science
#voynich
scala dsl test csp
computational complexity
bounded arithmetic
model-checking formal-methods
consistency-proof
bounded-arithmetic
logic
mathematics
bounded-arithmetic p=np
uml formal_methods csp
formal methods
camomile ocaml programming
Ver mais
Apresentações
(19)Documentos
(1)Gostaram
(10)一般向けのDeep Learning
Preferred Networks
•
Há 10 anos
How do cognitive agents handle the tradeoff between speed and accuracy?
Tatsuji Takahashi
•
Há 11 anos
色彩センスのいらない配色講座
Mariko Yamaguchi
•
Há 12 anos
Introduction to Categorical Programming (Revised)
Masahiro Sakai
•
Há 14 anos
婚活メソッド
Akiko Iwakiri
•
Há 13 anos
真理の度合理論は適切か? 〜ファジイ論理と真理理論〜
Shunsuke Yatabe
•
Há 13 anos
証明論的意味論の具体例
Shunsuke Yatabe
•
Há 13 anos
透明な真理観を巡って
Shunsuke Yatabe
•
Há 14 anos
Hadoop入門
Preferred Networks
•
Há 14 anos
"g" is very useful
jugyo kohno
•
Há 14 anos
Personal Information
Sobre
Delusional mathematician, who are working a disillusioned government agency.
妄想的数学者
Marcadores
computer science
#voynich
scala dsl test csp
computational complexity
bounded arithmetic
model-checking formal-methods
consistency-proof
bounded-arithmetic
logic
mathematics
bounded-arithmetic p=np
uml formal_methods csp
formal methods
camomile ocaml programming
Ver mais