Toshiki KATAOKA (片岡 俊基)

I am a 3rd-year PhD course student in

• Department of Computer Science,
• Graduate School of Information Science and Technology,
• The University of Tokyo.

Publications

• Toshiki Kataoka.
  Categories of filters as fibered completions.
  CT 2016. [abstract | slide]
• Toshiki Kataoka, and Dusko Pavlovic.
  Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra.
  Proc. CALCO 2015. [pdf | slide]
• Koko Muroya, Toshiki Kataoka, Ichiro Hasuo, and Naohiko Hoshino.
  Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction.
  Short abstract presented at LOLA 2014. [pdf | github]
• Toshiki Kataoka.
  Topos-Theoretical Łoś Theorem: Towards Intuitionistic Nonstandard Analysis with Superstructures.
  Master thesis.
• Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, and Bart Jacobs.
  Coinductive Predicates and Final Sequences in a Fibration.
  Proc. MFPS XXIX, Electr. Notes Comp. Sci. 298:197-214, 2013. [doi | preprint pdf, with an appendix]

Visited Conferences and Workshops

• ICALP/LICS 2015, Kyoto, Japan, Jul 2015
• CALCO 2015, Nijmegen, Netherlands, Jun 2015
• Vienna Summer of Logic 2014, Vienna, Austria, Jul 2014
• The 11th workshop on Quantum Physics and Logic (QPL 2014) as a volunteer, Kyoto, Japan, Jun 2014
• SLAGICS 2013: ALGI and SLACS Join Forces, Kyoto, Japan, Sep 2013
• CSCAT 2013, Tottori, Japan, Mar 2013
• NII Shonan Meeting: Hybrid Systems — Theory and Practice, Seriously, Zushi, Japan, Apr 2012

Contact

• Office: Room 415, Faculty of Science Building 7, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656
• Email: toshikik@is.s.u-tokyo.ac.jp

Last update: 2016-11-04