研究課題
プログラミング言語実装モデルの幾何的な側面に着目し、低レベル・超低レベルの実装モデルに対応できる幾何的なプログラム意味論の構築を目指した。本年度は以下の成果をあげた。(1)ブレイド付きラムダ計算に対応するコンビネータ代数の理論を、閉オペラッドの枠組みを用いて展開した。これにより、未解決だったブレイド付きコンビネータ代数の公理化と、ブレイド付きコンビネータ代数から閉ブレイド付きオペラッドを普遍的に構成する手法を与えることができた。これらの成果をまとめた論文を投稿し、国際会議にて発表・出版した。その後、結び目を表現できるよう拡張したトレース付きブレイド付きコンビネータ代数の概念を発見し、その特徴づけを研究した。(2)プログラム意味論の量子化の技術的基礎となる非可換(非対称)なテンソル圏およびそれに基づく意味論の研究を行った。特に、トレース付きテンソル圏の構造を持ち上げるモナドの特徴づけについて、ホップモナドの概念を手掛かりに研究を進めた。これまでにホップモナドがトレース付きテンソル圏の構造を持ち上げる必要十分条件を特定し、様々な具体例・反例を構築した(JS Lemay氏との共同研究)。これらの成果を論文2編にまとめ、投稿中した。
すべて 2023 2022
すべて 雑誌論文 (1件) (うち査読あり 1件、 オープンアクセス 1件) 学会発表 (1件) (うち国際学会 1件)
Electronic Notes in Theoretical Informatics and Computer Science
巻: Volume 1 - Proceedings of... ページ: 1-19
10.46298/entics.10338