北海道滝川市

関数型プログラム言語とその実装
substructural論理と関数型言語／自然言語の関係
社会情報解析−「社会情報」の論理的解析

1965年 北海道大学理学部卒業。(理学博士)
1967年 北海道大学助手(理学部計算センター)
1980年 北海道大学助教授(情報処理教育センター)
1993年 弘前大学教授(理学部情報科学科)
1997年 札幌学院大学社会情報学部教授賞

日本情報処理学会、日本ソフトウエア科学会、日本社会情報学会、ACM