古典論理の改善としての線型論理の研究に取り組んで参りました。

ファーストクラス環境を持つラムダ計算について取り組んできました。

サーバとクライアントのコストバランスを測ることができる計算体系を提唱し、研究しています。

取り組みとその重要性についての説明