• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2016 Fiscal Year Research-status Report

プログラミング言語実装に則した意味論の構築と分析

Research Project

Project/Area Number 15K00013
Research InstitutionKyoto University

Principal Investigator

長谷川 真人  京都大学, 数理解析研究所, 教授 (50293973)

Project Period (FY) 2015-04-01 – 2018-03-31
Keywordsプログラミング言語 / 意味論 / 位相的量子計算 / 遅延評価 / 圏論 / 線形論理
Outline of Annual Research Achievements

プログラミング言語の実装モデルに焦点をあてたプログラム意味論の構築を目指し、前年度に引き続き必要となる数学構造の研究を行った。
前年度に開始した、効率的なプログラム実装の意味論の基礎となる線形論理の圏論モデルの研究では、位相的量子計算など、可換性(対称性)が成り立たないか制限されているような計算モデルを念頭に置き、対称性を必ずしも持たないモノイダル圏における線形冪コモナドの概念および例を調べ、国際研究集会LINEARITY2017およびそのポストプロシーディングスにて発表した。
まだ、対称性を仮定しないモノイダル圏における巡回構造・再帰構造を捉えるトレースについて研究した。これについては、以前得ていた、対称性をもつ場合にトレースと弱い双対性(*-自律性)から強い双対性(コンパクト閉性)が導かれるという結果を、対称性がない場合に拡張することを目指した。この問題については最終的な結果には至らなかったが、具体的に強い双対性(の候補)をつくる構成や証明の方針など、多くの新しい知見を得ることができ、得られた成果を内外のセミナー・研究会にて発表した。
さらに、対称性をもつモノイダル圏がトレース付きモノイダル圏に埋め込められるかどうかを問う20年来の未解決問題について研究し、これについても部分的な成果を得た。特に、Selingerの予想が成り立たないことを、星野直彦らとともに確認し、埋め込み可能性の様々な必要条件を見出した。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

対称性を仮定しない意味論の構築が順調に進んでいる。線形冪コモナドについては基礎的な理論整備が済み論文が出版された。トレースと*-自律性についても、新しい知見が多く得られた。トレース付きモノイダル圏への埋め込み問題についても、星野直彦らの協力を得て、顕著な進展が見られた。

Strategy for Future Research Activity

引き続き、これまでに得られたモノイダル圏等に関する研究を進める。特に、トレースと*-自律性の問題、及びトレース付きモノイダル圏への埋め込み問題について、早期解決を目指す。
あわせて、プログラミング言語の実装の意味論の構築を進めていく。

  • Research Products

    (4 results)

All 2017 2016

All Journal Article (1 results) (of which Peer Reviewed: 1 results,  Open Access: 1 results,  Acknowledgement Compliant: 1 results) Presentation (3 results) (of which Int'l Joint Research: 1 results)

  • [Journal Article] Linear Exponential Comonads without Symmetry2016

    • Author(s)
      Masahito Hasegawa
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 238 Pages: 54-63

    • DOI

      10.4204/EPTCS.238.6

    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Presentation] On traced *-autonomous categories2017

    • Author(s)
      長谷川真人
    • Organizer
      計算機科学と圏論研究集会
    • Place of Presentation
      群馬大学 (群馬県前橋市)
    • Year and Date
      2017-03-21
  • [Presentation] Traced star-autonomoud categories are compact closed2016

    • Author(s)
      Masahito Hasegawa
    • Organizer
      Seminaire Preuves, Programmes et Systeme
    • Place of Presentation
      Paris (France)
    • Year and Date
      2016-10-18
  • [Presentation] Linear Exponential Comonads without Symmetry2016

    • Author(s)
      Masahito Hasegawa
    • Organizer
      Fourth International Workshop on Linearity (LINEARITY 2016)
    • Place of Presentation
      Porto (Portugal)
    • Year and Date
      2016-06-25
    • Int'l Joint Research

URL: 

Published: 2018-01-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi