Kentarô YAMAMOTO
I am a Ph.D. candidate in Logic
and the Methodology of Science at UC Berkeley.
My advisor is Wesley Holliday.
Here are
my notes on using computers at
Berkeley math department.
Papers
Preprints
Talks
- Modal Correspondence Theory for Possibility
Semantics. MLG Workshop 2015, Kyôto, Japan.
- On the
Computational Power of Algorithmically Random Constants in
Blum-Shub-Smale
Machines. CCA
2014, Darmstadt, Germany (joint work with Akitoshi Kawamura).
Theses
- Algorithmic Randomness and
Computational Complexity. B.Sc. thesis, University of
Tokyo, 2014.
Kentarô
YAMAMOTO (ykentaro@deletethis.math.berkeley.edu)
GPG fingerprint: CFD0 C828 D160 9076 33AA 9BA3 2878 C231 6CAE 3F93