Theses 2016

MSc

  • Soichiro Fujii, A 2-Categorical Study of Graded and Indexed Monads, MSc, Mar 2016.
  • Koko Muroya, Recursion and Adequacy in Memoryful Geometry of Interaction, MSc, Mar 2016.
  • Shota Nakagawa, Near-Optimal Scheduling for Linear Temporal Logic with Future Discounting, MSc, Mar 2016.
  • Natsuki Urabe, Extension of Kleisli Simulation to Infinite Traces, MSc, Mar 2016.

BSc

  • Hiroki Kobayashi, A Duality-Based Formulation of Healthiness Conditions for Weakest Preconditions, BSc, Mar 2016.
  • Masaki Hara, On Extension of Parameterized Coinduction, BSc, Mar 2016.
  • Masaki Waga, Timed Pattern Matching with Automata, BSc, Mar 2016.

Theses 2015

MSc

  • Takumi Akazaki, Robust Semantics of MTL Sensitive to Relative Time-Constraints, MSc, Mar 2015.
  • Kengo Kido, Nonstandard Abstract Interpretation with Infinitesimals for Hybrid Systems, MSc, Mar 2015.

BSc

  • Shunsuke Shimizu, Coalgebraic Interpretation of Linear Temporal Logic Formulas, BSc, Mar 2015.
  • Ryo Tanaka, Computational Adequacy for Productive Coprogramming, BSc, Mar 2015.

Theses 2014

MSc

  • Kenta Cho, Semantics for a Quantum Programming Language by Operator Algebras, MSc, Mar 2014.
  • Toshiki Kataoka, Topos-Theoretical Łoś Theorem: Towards Intuitionistic Nonstandard Analysis with Superstructures, MSc, Mar 2014.
  • Hiroyoshi Sekine, Verification of Hybrid Systems Using Nonstandard Stream Processing, MSc, Mar 2014.
  • Akira Yoshimizu, Measurements in Proof Nets as Higher-Order Quantum Circuits, MSc, Mar 2014.

BSc

  • Koko Muroya, Resumption-Based Categorical Geometry of Interaction for Effects, BSc, Mar 2014.
  • Shota Nakagawa, Games for Discrete-Time Markov Chain and Their Application to Verification, BSc, Mar 2014.
  • Hiroshi Ogawa, Coalgebraic Approach to Equivalences of Quantum Systems, BSc, Mar 2014.
  • Natsuki Urabe, Kleisli Simulation for Real-Weighted Automata and Its Algorithm, BSc, Mar 2014.

Theses 2013

BSc

  • Takumi Akazaki, A Test Generation Methodology for Hybrid Systems with Fixed-Interval, BSc, Mar 2013.
  • Kengo Kido, An Alternative Denotational Semantics for an Imperative Language with Infinitesimals, BSc, Mar 2013.

Theses 2012

BSc

  • Kenta Cho, Characterization of the Eilenberg-Moore Algebras of the Kraus Monad, BSc, Mar 2012.
  • Tetsuri Moriya, Büchi Automata, Categorically, BSc, Mar 2012.
  • Hiroyoshi Sekine, Simulink Blocks as Stream Processing: an Approach from Nonstandard Analysis, BSc, Mar 2012.
  • Akira Yoshimizu, On Geometry of Interaction Construction and Its Applications, BSc, Mar 2012.