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

双向转换语言的计算模型及其在编程语言中的应用

• 批准号: 21K11744
• 负责人: 中野 圭介
• 金额: $ 2.58万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2021
• 资助国家: 日本
• 起止时间: 2021-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-21K11744/
• 关键词: 双方向変換; 計算モデル; 計算可能関数; チューリング機械; データベース; プログラミング言語; 計算理論; 計算可能性

本研究の目的は，双方向変換を過不足なく表現できる計算モデルを設計し，既存の双方向変換言語の表現力を検証することである．双方向変換とは，異なる環境のデータ間における互いの整合性を保守するための両方向の変換のことであり，双方向変換言語ではこの二つの変換がラウンドトリップ性（互いに矛盾しないこと）が自動的に保証できるように，構文的な制約が設けられている．しかし，この制約のために任意の計算可能な双方向変換が記述できない可能性が指摘されており，設計した計算モデルを利用してこれを検証することが一つの目的である．現在までに，対合および冪等とよばれる二種類の関数クラスについて過不足なく表現する計算モデルが研究代表者によって提案されており，これを拡張する方向で進めている．対合とは定義域に含まれるどんな入力に対しても二度関数適用することで元に戻るような関数のことであり，冪等とは定義域に含まれるどんな入力に対しても二度関数適用しても一度だけの結果と同じになるような関数のことである．提案した計算モデルはチューリング機械に制約を加えて定義されており，双方向変換の計算モデルも同様のアイデアで設計している．これと並行し，既存の複数の双方向変換言語に対し，表現できる双方向変換の範囲に差異がないかについて検証を行った．その結果，上記のラウンドトリップ性を満たす双方向変換であっても表現できない具体的な例が存在する可能性が確認された．表現できないことの厳密な証明は今後の課題であるが，少なくとも（長さを制限した）単純なプログラムでは記述できないことが確認できている．発見された具体例は実用的なものではないことから，双方向変換が満たすべき性質としてラウンドトリップ性だけでは捉えきれない性質が存在する可能性があり，これについても今後調査する必要がある．

は の this study purpose, the two sides to the variations in を had insufficient な く performance で き る computing モ デ ル を し design, existing の both sides to variations in speech の expressive を 検 card す る こ と で あ る. Both sides to variations in と は, different な る environment の デ ー タ between に お け る mutual い の integrated を conservative す る た め の struck direction の variations in の こ と で あ り, the two sides to the variations in speech で は こ の two つ の variations in が ラ ウ ン ド ト リ ッ プ sex (mutual い に contradiction し な い こ と) が automatic に guarantee で き る よ う に, compose text な restriction set が け ら れ て い る. し か し, こ の restrict の た め に calculating の may な both sides to variations in が account で き な い possibility が blame さ れ て お り, design し た computing モ デ ル を using し て こ れ を 検 card す る こ と が a つ の purpose で あ る. Now ま で に, polices お よ び idempotent と よ ば れ る two kinds の masato number ク ラ ス に つ い て had insufficient な く performance す る computing モ デ ル が research representatives に よ っ て proposal さ れ て お り, こ れ を company, zhang す る direction で into め て い る. Us seaborne と に は domain containing ま れ る ど ん な に into force し seaborne て も second masato several applicable す る こ と で yuan に 戻 る よ う な masato number の こ と で あ り, idempotent と に は domain containing ま れ る ど ん な に into force し seaborne て も second masato several applicable し て も once だ け と の results with じ に な る よ う な masato number の こ と で あ る. Proposal し た computing モ デ ル は チ ュ ー リ ン グ mechanical に restriction を え て definition さ れ て お り, the two sides to the variations in の computing モ デ ル も with others の ア イ デ ア で design し て い る. こ れ と parallel し, existing の plural の both sides to variations in speech に し seaborne, performance で き る both sides to variations in の van 囲 に differences が な い か に つ い て 検 line card を っ た. そ の results, written の ラ ウ ン ド ト リ ッ プ sex を against た to variations in で す both あ っ て も performance で き な い exist specific な example が す る possibility が identify さ れ た. Performance で き な い こ と の 厳 dense な prove は の topics in future で あ る が, less な く と も (long さ limitations を し た) 単 pure な プ ロ グ ラ ム で は account で き な い こ と が confirm で き て い る. 発 see さ れ た concrete example は be used な も の で は な い こ と か ら, the two sides to the variations in が against た す べ き nature と し て ラ ウ ン ド ト リ ッ プ sex だ け で は catch え き れ な い nature exist が す る possibility が あ り, こ れ に つ い て も future investigation す る necessary が あ る.

项目成果

On Turing machines with syntactic restrictions

在具有句法限制的图灵机上

• 发表时间: 2021
• 作者: Shinji Ito;Taira Tsuchiya;Junya Honda;Nakano Keisuke
• 通讯作者: Nakano Keisuke

北京大学(中国)

北京大学（中国）

Time-symmetric Turing machines for computable involutions

用于可计算对合的时间对称图灵机

• DOI: 10.1016/j.scico.2021.102748
• 发表时间: 2022
• 期刊: Science of Computer Programming
• 影响因子: 1.3
• 作者: 清野航;廣田佳久;Nakano Keisuke
• 通讯作者: Nakano Keisuke

ブレーメン大学(ドイツ)

不来梅大学（德国）

Streaming ranked-tree-to-string transducers

流式排列的树到串传感器

• DOI: 10.1016/j.tcs.2020.12.033
• 发表时间: 2021
• 期刊: Theoretical Computer Science
• 影响因子: 1.1
• 作者: Takahashi Yuta;Asada Kazuyuki;Nakano Keisuke
• 通讯作者: Nakano Keisuke