龍谷大学 数理・情報科学課程 教授

滋賀県大津市瀬田大江町横谷1-5

研究(関連)分野

• 計算機プログラミングの論理的様相
• 型付きラムダ計算
• 数理論理学
• 計算機セキュリティー

論文など

担当科目

プログラム・パッチなど