takasimiz

A con engineer.

Tashirojima

Pinned Repositories

bak-github.io
Language:HTML0 0 00
ConCanonicalGA
Language:Coq0 0 00
opt-comp
Components of Optimization
Language:Coq1 1 90

takasimiz's Repositories

takasimiz/opt-comp
Components of Optimization
Language:Coq1 1 90
takasimiz/bak-github.io
Language:HTML0 0 00
takasimiz/ConCanonicalGA
Language:Coq0 0 00
takasimiz/ConTaboo
Formally verified taboo algorithm.
Language:Coq0 01
takasimiz/coq-cunit
Convenience functions for unit testing in Coq.
Language:Coq0 0
takasimiz/Denolf17_EfProb
Language:Python0 0
takasimiz/FormalReview-Corana87
My machine-assisted review of [Corana et al. 87]
0 0
takasimiz/Hexo-test
Language:CSS0 0
takasimiz/Intro-Jones01
A reading memo of [Jones, 2001] -- the invention of the Expected Improvement (EI) algorithm
0 0
takasimiz/monae
Monadic effects and equational reasonig in Coq
Language:Coq0 0
takasimiz/OPML2Imp
0 0
takasimiz/OptimalSociety
0 0
takasimiz/Rationality
Language:TeX0 0
takasimiz/refcard-org-beamer
Org Beamer reference card
0 0
takasimiz/Report2018Extended
Language:TeX0 0
takasimiz/ssr-manual
SSReflect user manual
Language:PostScript0 0
takasimiz/takasimiz.github.io
Language:HTML0 0
takasimiz/Test_Dynamic
Language:Python0 0
takasimiz/Thesis
Language:TeX0 0