主な研究業績

[著書]

・自然言語の論理とその存在論（共著，多賀出版, 1990）

・XP対応 新情報化リテラシー入門（共著，実教出版, 2004）

[論文]

・「強い否定を含む構成的述語論理について－その健全性と完全性－」　文部科学省科学研究費補助金　特定研究「言語の標準化」 課題番号57115012　石本班資料（Ⅲ），東京理科大学理工学部，1984

・「レスニェウスキー式論理文法について」 早稲田大学出版部，科学哲学22，日本科学哲学会編，1989

[その他（学会発表）]

・「A Logical Approach to the Parsing of Natural Language」 8th International Congress of Logic, Methodology and Philosophy of Science (LMPS'87)（M.V. Lomonosov Moscow State University, 1987）

・「強い否定を含む構成的論理によるPROLOGの定式化とLISPに基づくそのメタ論理」 情報処理学会，第39回全国大会（九州工業大学， 1989）

主な教育・指導

情報キャリア支援室「キャリアアップスクール（経済産業省国家資格試験「情報処理技術者試験」など受験対策講座）」の企画・運営および学習支援（2008～）

主な学内活動・社会活動

[学内]

自己点検・評価実施委員会 委員（2007～）

[学外]

(財)日本情報処理開発協会　中央情報教育研究所　情報処理技術者適性検査調査研究委員会　委員（1988/4～1990/3）