Professor

Faculty of Computer and Information Sciences

Hosei University, Tokyo, JAPAN

- Finite Automata and Non-determinizm
- Regular Expressions and Non-regular Languages
- Context Free Languages
- Church-Turing Thesis
- Decidability
- Reducibility
- Self Reference
- Complexity

- What is Category Theory?
- Products
- Sums
- Distributive Categories
- Data Types
- Categories of Functors
- Imperative Programs with Input and Functional Specification
- Free objects and Adjoint Functors
- Term Assignment 2010

- Elementary Algebra
- Calculus
- Linear Algebra
- List Processing
- Functional Programming
- Functional Programming II
- Evaluation
- Bezier Curves
- B-splines and Rational B-splines
- Lagrange Interpolations
- Hermite Cubic and B-spline Interpolations
- Surface Design

- Template Mathod Pattern
- Factory Method Pattern
- Builder Pattern
- Abstract Factory Pattern
- Bridge Pattern