Personal Information
Info
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
Mehr anzeigen
Präsentationen
(19)Dokumente
(1)Gefällt mir
(10)一般向けのDeep Learning
Preferred Networks
•
Vor 10 Jahren
How do cognitive agents handle the tradeoff between speed and accuracy?
Tatsuji Takahashi
•
Vor 11 Jahren
色彩センスのいらない配色講座
Mariko Yamaguchi
•
Vor 12 Jahren
Introduction to Categorical Programming (Revised)
Masahiro Sakai
•
Vor 14 Jahren
婚活メソッド
Akiko Iwakiri
•
Vor 13 Jahren
真理の度合理論は適切か? 〜ファジイ論理と真理理論〜
Shunsuke Yatabe
•
Vor 13 Jahren
証明論的意味論の具体例
Shunsuke Yatabe
•
Vor 13 Jahren
透明な真理観を巡って
Shunsuke Yatabe
•
Vor 14 Jahren
Hadoop入門
Preferred Networks
•
Vor 14 Jahren
"g" is very useful
jugyo kohno
•
Vor 14 Jahren
Personal Information
Info
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
Mehr anzeigen