プログラミング言語理論にもとづく広義情報処理システムセキュリティ

以下を含む研究を研究協力者らとともに、他の研究とも連携して行なった。・複数参加者セッション型の一般プロセス型への変換：複数の参加者（プロセス）が通信を行う並行プロセス計算(concurrent process calculus)において、通信のプロトコル（順序等の手順）を表すセッション型(session type)から、プロセスの入出力の振る舞いを表すIgarashi-Kobayashiの一般型システム(generic type system, GTS)への変換を定義し、両者の関係を明らかにした。・組み込み機器用スクリプト言語環境におけるロボットの関数型リアクティブプログラミング：命令的と考えられがちなロボットプログラミングを、関数的な枠組みであるFRP (functional reactive programming)を用いて、専用の関数型プログラミング言語ではなく、通常の組み込み機器用スクリプト言語環境においてモデル化・実装する方式を研究した。具体的にはLEGO Education SPIKE PrimeのMicroPython環境を用いたが、本研究の手法は特定の環境に限られるものではない。これらは広義の「計算」（情報処理）を記述する体系としての「プログラミング言語」理論を、狭義の計算機プログラムだけでなく幅広いシステムに関する記述・推論(reasoning)・検証にも適用することを試み、それらの理論と応用を相互に発展させるという本研究の目的に沿う結果である。

以下を含む研究を研究協力者らとともに、他の研究とも連携して行なった。・複数参加者セッション型の一般プロセス型への変換：複数の参加者（プロセス）が通信を行う並行プロセス計算(concurrent process calculus)において、通信のプロトコル（順序等の手順）を表すセッション型(session type)から、プロセスの入出力の振る舞いを表すIgarashi-Kobayashiの一般型システム(generic type system, GTS)への変換を定義し、両者の関係を明らかにした。・組み込み機器用スクリプト言語環境におけるロボットの関数型リアクティブプログラミング：命令的と考えられがちなロボットプログラミングを、関数的な枠組みであるFRP (functional reactive programming)を用いて、専用の関数型プログラミング言語ではなく、通常の組み込み機器用スクリプト言語環境においてモデル化・実装する方式を研究した。具体的にはLEGO Education SPIKE PrimeのMicroPython環境を用いたが、本研究の手法は特定の環境に限られるものではない。これらは広義の「計算」（情報処理）を記述する体系としての「プログラミング言語」理論を、狭義の計算機プログラムだけでなく幅広いシステムに関する記述・推論(reasoning)・検証にも適用することを試み、それらの理論と応用を相互に発展させるという本研究の目的に沿う結果である。