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