Associate Professor, Department of Applied Mathematics and Informatics,

Ryukoku University.

Otsu, Shiga 520-2194, JAPAN

Research interests

• Logical aspects of computer programming
• Typed lambda calculi
• Mathematical logic
• Computer security

Papers

Teaching (in Japanese)

Software (rather old)