研究課題/領域番号 |
22K19766
|
研究種目 |
挑戦的研究(萌芽)
|
配分区分 | 基金 |
審査区分 |
中区分60:情報科学、情報工学およびその関連分野
|
研究機関 | 東北大学 |
研究代表者 |
住井 英二郎 東北大学, 情報科学研究科, 教授 (00333550)
|
研究期間 (年度) |
2022-06-30 – 2025-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
6,500千円 (直接経費: 5,000千円、間接経費: 1,500千円)
2024年度: 520千円 (直接経費: 400千円、間接経費: 120千円)
2023年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2022年度: 5,200千円 (直接経費: 4,000千円、間接経費: 1,200千円)
|
キーワード | プログラミング言語理論/プログラム理論 / 形式手法(フォーマルメソッド),計算モデル / セキュリティ型つきλ計算 / 非機密化,動的レベル生成 / 環境双模倣 |
研究開始時の研究の概要 |
広義の「計算」(情報処理)を記述する体系としての「プログラミング言語」理論(特に本研究代表者らが研究・構想中の、非機密化や動的レベル生成を含むセキュリティ型つきλ計算の環境双模倣)を、狭義の計算機プログラムだけでなく人間社会のシステム(特に計算機に限らない情報セキュリティ)に関する記述・推論(reasoning)・検証にも適用することを試み、それらの理論と応用を相互に発展させる。
|
研究実績の概要 |
以下を含む研究を研究協力者らとともに、他の研究とも連携して行なった。 ・複数参加者セッション型の一般プロセス型への変換:複数の参加者(プロセス)が通信を行う並行プロセス計算(concurrent process calculus)において、通信のプロトコル(順序等の手順)を表すセッション型(session type)から、プロセスの入出力の振る舞いを表すIgarashi-Kobayashiの一般型システム(generic type system, GTS)への変換を定義し、両者の関係を明らかにした。 ・組み込み機器用スクリプト言語環境におけるロボットの関数型リアクティブプログラミング:命令的と考えられがちなロボットプログラミングを、関数的な枠組みであるFRP (functional reactive programming)を用いて、専用の関数型プログラミング言語ではなく、通常の組み込み機器用スクリプト言語環境においてモデル化・実装する方式を研究した。具体的にはLEGO Education SPIKE PrimeのMicroPython環境を用いたが、本研究の手法は特定の環境に限られるものではない。 これらは広義の「計算」(情報処理)を記述する体系としての「プログラミング言語」理論を、狭義の計算機プログラムだけでなく幅広いシステムに関する記述・推論(reasoning)・検証にも適用することを試み、それらの理論と応用を相互に発展させるという本研究の目的に沿う結果である。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
4: 遅れている
理由
大学・部局の事務職員・技術職員の不足により、教員が多くの事務・施設管理等業務や業者への対応等を行わなければならず、極めて長時間の努力をもってしても研究時間がほとんど確保できなかった。
|
今後の研究の推進方策 |
大学・部局の事務職員・技術職員の不足は一研究者で直ちに対応はしがたいが、引き続き研究時間の確保に最大限努力しつつ、遅れてはいるが当初の計画に沿って研究を遂行する。
|