Personal Information
Acerca de
Delusional mathematician, who are working a disillusioned government agency.
妄想的数学者
Etiquetas
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 más
Presentaciones
(19)Documentos
(1)Recomendaciones
(10)一般向けのDeep Learning
Preferred Networks
•
Hace 10 años
How do cognitive agents handle the tradeoff between speed and accuracy?
Tatsuji Takahashi
•
Hace 11 años
色彩センスのいらない配色講座
Mariko Yamaguchi
•
Hace 12 años
Introduction to Categorical Programming (Revised)
Masahiro Sakai
•
Hace 14 años
婚活メソッド
Akiko Iwakiri
•
Hace 13 años
真理の度合理論は適切か? 〜ファジイ論理と真理理論〜
Shunsuke Yatabe
•
Hace 13 años
証明論的意味論の具体例
Shunsuke Yatabe
•
Hace 13 años
透明な真理観を巡って
Shunsuke Yatabe
•
Hace 14 años
Hadoop入門
Preferred Networks
•
Hace 14 años
"g" is very useful
jugyo kohno
•
Hace 14 años
Personal Information
Acerca de
Delusional mathematician, who are working a disillusioned government agency.
妄想的数学者
Etiquetas
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 más