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