Research on software contracts for highly interoperable software modules

高度互操作软件模块的软件契约研究

基本信息

批准号：
20H00582
负责人：
五十嵐淳
金额：
$ 28.45万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (A)
财政年份：
2020
资助国家：
日本
起止时间：
2020-04-01 至 2025-03-31
项目状态：
未结题

项目摘要

【研究項目1. モジュール間のデータ変換機構とその自動化の研究】前年度から行っているレコードとハッシュテーブルが相互運用な可能な言語の研究を進め，基本的な機能をSML#コンパイラ上に実装することができ，この成果について国内研究集会で論文発表を行った．一方で，SML#に実装されているOhoriの多相レコード計算の制限から再帰的データ構造の取り扱いに当初想定していなかった問題があること，ならびにコンパイラ内での中間処理に起因する制限から，ある種類のプログラムについてはうまくコンパイルできないことが判明した．前者について，解決の方策は既に得られているが理論的な問題がないことを確認する必要がある．後者については純粋にエンジニアリング的な問題であり時間をかければ解決可能であると見込んでいる．一般的なデータ変換の自動化機構については関連研究のサーベイなどを行った．また、関連して、LLVM IR からスマートコントラクト言語Michelsonへのコンパイル方式の研究を行った。これは多言語モジュールでスマートコントラクトを記述することにも繋がる。【研究項目2. 多言語モジュールで構成されたソフトウェアシステムの検証機構】交付申請書であげた(項目2-1)については，項目1のデータ変換自動化機構とも密接に関連することもあり，関連研究のサーベイに費した．(項目2-2)の多相型を持つ言語と動的型付言語間の相互運用を行うための実行検査については，前年度までの空間効率のよい実装の不可能性の理論的結果に基づき，不可能性がパラメータ性を実行時に保証するために使われている名前生成機構のみに因ることを理論的に示した．具体的には，空間効率の指標となるサイズ関数の定義を，連続したコアーションについてはサイズを定数と見做すことにすれば，空間効率がよいと見做せることを証明した．

[研究项目1。关于模块间数据转换机制及其自动化的研究]我们一直在进行有关允许自上一年以来记录和哈希表进行互操作的语言的研究，并且能够在SML＃编译器上实施基本功能，并在这一发现在国内研究会议上介绍了一篇论文。另一方面，由于Ohori在SML＃中实施的多相记录计算的局限性，因此在处理递归数据结构时最初是不可预测的，并且编译器中的中间处理引起的局限性揭示了某些类型的程序无法正确汇编。对于前者，有必要确认已经获得解决方案，但没有理论问题。后者是一个纯粹的工程问题，我们希望随着时间的推移解决它。调查了用于数据转换的一般自动化机制进行相关研究。此外，我们还对从LLVM IR到智能合同语言Michelson的汇编方法进行了一项研究。这也导致在多语言模块中编写智能合约。 [研究项目2。有关多语言模块组成的软件系统验证组织]关于问题中提到的申请表（项目2-1），它也与项目1中数据转换的自动化系统密切相关，并用于研究相关研究。关于与多个类型类型的语言之间的执行检查，以及项目2-2中的动态键入语言，基于理论上的结果，即无法在上一年之前实现空间有效实现的理论结果，我们的理论上表明，不可能仅仅是由于用于保证运行时的名称生成机制的原因。具体而言，我们已经证明，如果我们将大小视为连续核心的常数，则可以将大小函数的定义（这是空间效率的指标）视为高空间效率。

项目成果

期刊论文数量（22）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

計算効果入門 ― プログラミングから理論まで ―

计算效应简介——从编程到理论——

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
関山太朗;勝股審也;叢悠悠
通讯作者：
叢悠悠

Compilation of Coordinated Choice

协调选择汇编

DOI：
发表时间：
2020
期刊：
arXiv
影响因子：
0
作者：
Yuki Nishida;Atsushi Igarashi
通讯作者：
Atsushi Igarashi

代数的エフェクトとハンドラのためのエフェクトシステムの抽象化

代数效应和处理程序的效应系统抽象

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
吉岡拓真;関山太朗;五十嵐淳
通讯作者：
五十嵐淳

Stage-Aware Equality Types for a Dependently-Typed Multi-Stage Calculus

依赖类型多阶段微积分的阶段感知相等类型

DOI：
发表时间：
2022
期刊：
第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022)論文集
影响因子：
0
作者：
Shuntaro Katsuda;Atsushi Igarashi
通讯作者：
Atsushi Igarashi

分岐付き確率的プログラミング言語の実現に向けて

实现具有分支的概率编程语言

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Kazumasa Shimari;Takashi Ishio;Tetsuya Kanda;Katsuro Inoue;兼光琢真
通讯作者：
兼光琢真

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

五十嵐淳其他文献

文脈依存資源使用解析のための型システム

用于上下文相关资源使用分析的类型系统

DOI：
发表时间：
2008
期刊：
影响因子：
0
作者：
仲井間達也;五十嵐淳;小林直樹
通讯作者：
小林直樹

ソフトウエア工学の基礎

软件工程基础

DOI：
发表时间：
2004
期刊：
影响因子：
0
作者：
Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;四野見秀明;森山元喜;篠塚卓;黒田滋樹;中島震;大根田裕一;青谷知幸;遠藤侑介;Yudai Yamazaki;Tomoyuki Aotani;Ysuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Tetsuo Tamai;Atsushi Igarashi;Yusuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Kamina;中島震;玉井哲雄;河内一了;五十嵐淳;Tetsuo Kamina;Naoyasu Ubayashi;Shuhei Sato;Kouhei Sakurai;Shin Nakajima;Shin Nakajima;Yoshikazu Kato;神尾貴博;中島震;鵜林尚靖;柳楽秀士;立沢秀晃;紙名哲生;櫻井孝平;櫻井孝平;櫻井孝平;Takahiro Kamio;玉井哲雄;河内一了;五十嵐淳;Naoyasu Ubayashi;Shuhei Sato;Shin Nakajima;Shin Nakajima;Yoshikazu Kato;紙名哲生;Tetsuo Kamina;Atsushi Igarashi;Hidehiko Masuhara;Hidehiko Masuhara;Hidehiko Masuhara;Tetsuo Kamina;Tomoyuki Kaneko;柳楽秀士;中島震;中島震;河内一了;紙名哲生;紙名哲生;佐藤匡剛;紙名哲生;金子知適;小田原大;金子知適;田中哲朗;Atsushi Igarashi;Hidehiko Masuhara;中島震;鵜林尚靖;Atsushi Igarashi;金子知適;Atsushi Igarashi;金子知適;Buntaro Shizuki;Mikio Aoyama;Atsushi Igarashi;Susumu Yamazaki;Y.Ando;Tetsuo Tamai;Tetsuo Kamina;Reynald Affeldt;Tetsuo Tamai;Tetsuo Tamai;Atsushi Igarashi;Tomoyuki Kaneko;Mikio Aoyama;Mikio Aoyama;紙名哲生;紙名哲生;青山幹雄;青山幹雄;青山幹雄;Atsushi Igarashi;Atsushi Igarashi;Buntaro Shizuki;Mikio Aoyama;Tetsuo Kamina;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;玉井哲雄
通讯作者：
玉井哲雄

Lisp拡張によるパターンマッチを用いたXML文書処理系

使用 Lisp 扩展的模式匹配的 XML 文档处理系统

DOI：
发表时间：
2003
期刊：
オブジェクト指向2003シンポジウム
影响因子：
0
作者：
Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;四野見秀明;森山元喜;篠塚卓;黒田滋樹;中島震;大根田裕一;青谷知幸;遠藤侑介;Yudai Yamazaki;Tomoyuki Aotani;Ysuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Tetsuo Tamai;Atsushi Igarashi;Yusuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Kamina;中島震;玉井哲雄;河内一了;五十嵐淳;Tetsuo Kamina;Naoyasu Ubayashi;Shuhei Sato;Kouhei Sakurai;Shin Nakajima;Shin Nakajima;Yoshikazu Kato;神尾貴博;中島震;鵜林尚靖;柳楽秀士;立沢秀晃;紙名哲生;櫻井孝平;櫻井孝平;櫻井孝平;Takahiro Kamio;玉井哲雄;河内一了;五十嵐淳;Naoyasu Ubayashi;Shuhei Sato;Shin Nakajima;Shin Nakajima;Yoshikazu Kato;紙名哲生;Tetsuo Kamina;Atsushi Igarashi;Hidehiko Masuhara;Hidehiko Masuhara;Hidehiko Masuhara;Tetsuo Kamina;Tomoyuki Kaneko;柳楽秀士;中島震;中島震;河内一了;紙名哲生
通讯作者：
紙名哲生

An AOP Implementation Framework for Extending Join Point Models

扩展连接点模型的AOP实现框架

DOI：
发表时间：
2004
期刊：
Proceedings of ECOOP2004 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'04)
影响因子：
0
作者：
Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;四野見秀明;森山元喜;篠塚卓;黒田滋樹;中島震;大根田裕一;青谷知幸;遠藤侑介;Yudai Yamazaki;Tomoyuki Aotani;Ysuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Tetsuo Tamai;Atsushi Igarashi;Yusuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Kamina;中島震;玉井哲雄;河内一了;五十嵐淳;Tetsuo Kamina;Naoyasu Ubayashi;Shuhei Sato;Kouhei Sakurai;Shin Nakajima;Shin Nakajima;Yoshikazu Kato;神尾貴博;中島震;鵜林尚靖;柳楽秀士;立沢秀晃;紙名哲生;櫻井孝平;櫻井孝平;櫻井孝平;Takahiro Kamio;玉井哲雄;河内一了;五十嵐淳;Naoyasu Ubayashi
通讯作者：
Naoyasu Ubayashi

役割に基づく計算モデルEpsilonを用いたデザインパターン再利用化の促進

使用基于角色的计算模型 Epsilon 促进设计模式重用

DOI：
发表时间：
2003
期刊：
日本ソフトウェア科学会第20回大会講演論文集
影响因子：
0
作者：
Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;四野見秀明;森山元喜;篠塚卓;黒田滋樹;中島震;大根田裕一;青谷知幸;遠藤侑介;Yudai Yamazaki;Tomoyuki Aotani;Ysuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Tetsuo Tamai;Atsushi Igarashi;Yusuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Kamina;中島震;玉井哲雄;河内一了;五十嵐淳;Tetsuo Kamina;Naoyasu Ubayashi;Shuhei Sato;Kouhei Sakurai;Shin Nakajima;Shin Nakajima;Yoshikazu Kato;神尾貴博;中島震;鵜林尚靖;柳楽秀士;立沢秀晃;紙名哲生;櫻井孝平;櫻井孝平;櫻井孝平;Takahiro Kamio;玉井哲雄;河内一了;五十嵐淳;Naoyasu Ubayashi;Shuhei Sato;Shin Nakajima;Shin Nakajima;Yoshikazu Kato;紙名哲生;Tetsuo Kamina;Atsushi Igarashi;Hidehiko Masuhara;Hidehiko Masuhara;Hidehiko Masuhara;Tetsuo Kamina;Tomoyuki Kaneko;柳楽秀士;中島震;中島震;河内一了;紙名哲生;紙名哲生;佐藤匡剛
通讯作者：
佐藤匡剛