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

2023 Fiscal Year Research-status Report

双方向変換言語のための計算モデルとプログラミング言語への応用

Research Project

Project/Area Number 21K11744
Research InstitutionTohoku University

Principal Investigator

中野 圭介  東北大学, 電気通信研究所, 教授 (30505839)

Project Period (FY) 2021-04-01 – 2025-03-31
Keywords双方向変換 / 計算モデル / 計算可能関数 / チューリング機械 / 形式木言語理論
Outline of Annual Research Achievements

本研究の目的は,双方向変換言語とよばれる異なる環境のデータ間の整合性を保守するためのドメイン特化言語に対し,その表現力を検証する枠組みを確立することである.双方向変換は二つのデータ間を行き来する変換の対で与えられるが,これらの変換はラウンドトリップ性という性質を満たす必要があるため,双方向変換言語ではこれを自動的に保証するために構文的な制約が加えられており,十分な表現力をもたない可能性が指摘されている.本研究では,計算可能関数で表すことのできる双方向変換を過不足なく網羅した計算モデルを開発を目指し,与えられた双方向変換が特定の表現力をもつかを判定する枠組みを提供することを目的とする.本年度の主な研究業績は以下に挙げる二点である.
第一に,双方向変換のラウンドトリップ性を特徴づける複数の規則(レンズ則)同士の関係について調査を進めた.従来の研究で知られていたレンズ則同士の関係では,双方向変換が全域である場合に限られていたため,計算可能関数全体を網羅することができなかったが,本年度の研究により部分関数で表現される双方向変換に対するラウンドトリップ性の特徴づけに成功した.これは上述の計算モデルを開発する上で重要な布石となる.
第二に,木構造変換の表現力のクラスを判定するアルゴリズムの開発を進めた.双方向変換の主たる応用として木構造データ同士の同期があるが,これらの変換は木構造上の再帰関数で表現され,木トランスデューサとしてモデル化できる.本年度の研究では,効率的に処理が可能な木構造変換の性質である対入力線形性に着目し,与えられた木構造再帰関数がこの性質を満たすかを確認するアルゴリズムの開発に取り組んでいる.この成果は効率的に双方向変換が行えるかの判定に応用できるものと期待される.

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

本年度得られた双方向変換のラウンドトリップ性の新たな特徴づけに基づき,計算モデルの開発に取り組む. この特徴づけでは冪等の重要性がより明らかになったため,冪等のための計算モデルを拡張することにより,双方向変換言語の計算モデルが作成できるものと期待される. 並行して進めている木構造変換の表現力の判定アルゴリズムについてもより注意深く精査を行い,その応用可能性について広く検討する.

Causes of Carryover

調達方法の工夫により、当初計画より経費の節約ができたため

  • Research Products

    (6 results)

All 2024 2023 Other

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

  • [Int'l Joint Research] ブレーメン大学(ドイツ)

    • Country Name
      GERMANY
    • Counterpart Institution
      ブレーメン大学
  • [Int'l Joint Research] パリ高等師範学校(フランス)

    • Country Name
      FRANCE
    • Counterpart Institution
      パリ高等師範学校
  • [Journal Article] Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers2023

    • Author(s)
      Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat
    • Journal Title

      arXiv

      Volume: 2307 Pages: 1-28

    • DOI

      10.48550/arXiv.2307.16500

    • Open Access / Int'l Joint Research
  • [Presentation] Characterizations of Partial Well-Behaved Lenses2024

    • Author(s)
      Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
  • [Presentation] 木オートマトンと引数成長の概念を用いた組合せ子の停止性の反証 C12024

    • Author(s)
      岩見 宗弘, 中野 圭介
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
  • [Presentation] 異なる定理証明支援系間の証明の再利用に向けた帰納型の変換2023

    • Author(s)
      菅野 直孝, 中野 圭介, 浅田 和之, 菊池 健太郎
    • Organizer
      日本ソフトウェア科学会 第40回大会

URL: 

Published: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi