Research on software contracts for highly interoperable software modules

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

基本信息

  • 批准号:
    20H00582
  • 负责人:
  • 金额:
    $ 28.45万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    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)の多相型を持つ言語と動的型付言語間の相互運用を行うための実行検査については,前年度までの空間効率のよい実装の不可能性の理論的結果に基づき,不可能性がパラメータ性を実行時に保証するために使われている名前生成機構のみに因ることを理論的に示した.具体的には,空間効率の指標となるサイズ関数の定義を,連続したコアーションについてはサイズを定数と見做すことにすれば,空間効率がよいと見做せることを証明した.
【 research project 1. モ ジ ュ ー ル between の デ ー タ variations in institutional と そ の automation の research 】 before annual か ら line っ て い る レ コ ー ド と ハ ッ シ ュ テ ー ブ ル が each other may use な な words を into め の research, the basic function of な を SML# コ ン パ イ ラ on に be loaded す る こ と が で き, <s:1> <s:1> achievements に に て て て domestic research conferences で publication list を line った. One party で, SML# に be loaded さ れ て い る Ohori の multiphase レ コ ー ド calculation limitations の か ら again 帰 デ ー タ tectonic の take り Cha い に wanted to settle し て い な か っ た problem が あ る こ と, な ら び に コ ン パ イ ラ within で の middle 処 reason cause に す limitations る か ら, あ る kinds の プ ロ グ ラ ム に つ い て は う ま く コ ン パ イ ル で き な い こ と が.at し た. The former に つ い て, solve の order は に have both ら れ て い る が な problem of the theory of が な い こ と を confirm す る necessary が あ る. The latter に つ い て は pure 粋 に エ ン ジ ニ ア リ ン グ な problem で あ り time を か け れ ば may solve で あ る と see 込 ん で い る. General な デ ー タ variations in の automatic mechanism に つ い て は masato even study の サ ー ベ イ な ど を line っ た. ま た, masato し て, LLVM IR か ら ス マ ー ト コ ン ト ラ ク ト words Michelson へ の コ ン パ イ ル way の を line っ た. こ れ は words more モ ジ ュ ー ル で ス マ ー ト コ ン ト ラ ク ト を account す る こ と に も 繋 が る. 【 research project 2. More than words モ ジ ュ ー ル で constitute さ れ た ソ フ ト ウ ェ ア シ ス テ ム の 検 issuing agency] delivery requisition で あ げ た (item 2-1) に つ い て は, project 1 の デ ー タ variations in automatic mechanism と も contact に masato even す る こ と も あ り, masato even study の サ ー ベ イ に fee し た. (item 2-2) の type multiphase を hold と つ words still pay の interaction between words using line を う た め の line be 検 check に つ い て は, before the annual ま で の space unseen rate の よ い be impossibility の theory results に の based づ き, Impossibility が パ ラ メ ー タ sex を be row に guarantee す る た め に make わ れ て い る former production mechanism の み に for る こ と に を theory in し た. Specific に は, space unseen rate の index と な る サ イ ズ masato の definition を, even 続 し た コ ア ー シ ョ ン に つ い て は サ イ ズ を destiny と see do す こ と に す れ ば, space unseen rate が よ い と see do せ る こ と を prove し た.

项目成果

期刊论文数量(22)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
計算効果入門 ― プログラミングから理論まで ―
计算效应简介——从编程到理论——
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    関山 太朗;勝股 審也;叢 悠悠
  • 通讯作者:
    叢 悠悠
Compilation of Coordinated Choice
协调选择汇编
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yuki Nishida;Atsushi Igarashi
  • 通讯作者:
    Atsushi Igarashi
代数的エフェクトとハンドラのためのエフェクトシステムの抽象化
代数效应和处理程序的效应系统抽象
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    吉岡 拓真;関山 太朗;五十嵐 淳
  • 通讯作者:
    五十嵐 淳
Stage-Aware Equality Types for a Dependently-Typed Multi-Stage Calculus
依赖类型多阶段微积分的阶段感知相等类型
分岐付き確率的プログラミング言語の実現に向けて
实现具有分支的概率编程语言
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kazumasa Shimari;Takashi Ishio;Tetsuya Kanda;Katsuro Inoue;兼光 琢真
  • 通讯作者:
    兼光 琢真
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

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

{{ item.title }}
  • 作者:
    {{ item.author }}

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

{{ item.title }}
  • 作者:
    {{ item.author }}

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

{{ item.title }}
  • 作者:
    {{ item.author }}

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

{{ item.title }}
  • 作者:
    {{ item.author }}

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

五十嵐 淳其他文献

文脈依存資源使用解析のための型システム
用于上下文相关资源使用分析的类型系统
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    仲井間 達也;五十嵐 淳;小林 直樹
  • 通讯作者:
    小林 直樹
An AOP Implementation Framework for Extending Join Point Models
扩展连接点模型的AOP实现框架
  • 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
  • 通讯作者:
    Naoyasu Ubayashi
Lisp拡張によるパターンマッチを用いたXML文書処理系
使用 Lisp 扩展的模式匹配的 XML 文档处理系统
  • DOI:
  • 发表时间:
    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;柳楽秀士;中島震;中島震;河内一了;紙名哲生
  • 通讯作者:
    紙名哲生
役割に基づく計算モデルEpsilonを用いたデザインパターン再利用化の促進
使用基于角色的计算模型 Epsilon 促进设计模式重用
  • DOI:
  • 发表时间:
    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;柳楽秀士;中島震;中島震;河内一了;紙名哲生;紙名哲生;佐藤匡剛
  • 通讯作者:
    佐藤匡剛
ソフトウエア工学の基礎
软件工程基础
  • 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;玉井哲雄
  • 通讯作者:
    玉井哲雄

五十嵐 淳的其他文献

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

{{ truncateString('五十嵐 淳', 18)}}的其他基金

高反応性有機バナジウム錯体の設計・創製と高効率炭素-炭素結合形成反応
高反应性有机钒配合物和高效碳-碳键形成反应的设计和创造
  • 批准号:
    14J07313
  • 财政年份:
    2014
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
安全・安心な環境適応型ソフトウェアの基礎理論に関する研究
安全可靠环境自适应软件基础理论研究
  • 批准号:
    18049044
  • 财政年份:
    2006
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
様相論理に基づいたプログラム解析手法の研究
基于模态逻辑的程序分析方法研究
  • 批准号:
    15700011
  • 财政年份:
    2003
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
高級並列言語の様々な安全性を保証するプログラム進化支援つき汎用型システムの研究
研究具有程序演化支持的通用系统,保证高级并行语言的各个安全方面
  • 批准号:
    13780203
  • 财政年份:
    2001
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
並列プログラミング言語の静的解析とそれに基づく最適化の研究
并行编程语言静态分析及基于其的优化研究
  • 批准号:
    97J07813
  • 财政年份:
    1998
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows

相似海外基金

π計算を介したプログラム検証・解析
通过π计算进行程序验证和分析
  • 批准号:
    24K20731
  • 财政年份:
    2024
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
依存篩型と述語制約によるプログラム検証の深化
使用依赖筛类型和谓词约束深化程序验证
  • 批准号:
    23K24826
  • 财政年份:
    2024
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Search for the Dimuon decay of the Standard Model Higgs Boson using ATLAS
使用 ATLAS 搜索标准模型希格斯玻色子的 Dimuon 衰变
  • 批准号:
    2907975
  • 财政年份:
    2024
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Studentship
並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術
用于并发/并行编程的可扩展自动程序验证技术
  • 批准号:
    24H00699
  • 财政年份:
    2024
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
論理制約付き項書換えに関する余帰納法に基づくプログラム検証法の開発
基于逻辑约束术语重写的共归纳法程序验证方法的开发
  • 批准号:
    24K02900
  • 财政年份:
    2024
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Search for Q-balls and Nuclearites emitting thermal shock waves in IceCube
在 IceCube 中寻找发射热冲击波的 Q 球和核子
  • 批准号:
    24K17062
  • 财政年份:
    2024
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
WoU-MMA: Targeted Search for Binary Mergers with Multiple Harmonics in Gravitational Wave Data
WoU-MMA:引力波数据中多重谐波二元合并的定向搜索
  • 批准号:
    2309360
  • 财政年份:
    2023
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Continuing Grant
A Search For Failed Supernovae and Other Observational Constraints on the Supernova Mechanism
寻找失败的超新星和超新星机制的其他观测限制
  • 批准号:
    2307385
  • 财政年份:
    2023
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Standard Grant
Search for damage-associated molecular patterns (DAMPs) derived from cochlear hair cells and its clinical application
耳蜗毛细胞损伤相关分子模式(DAMPs)的探索及其临床应用
  • 批准号:
    23K08924
  • 财政年份:
    2023
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Search for therapeutic target molecules based on temporal hierarchical analysis of Oral squamous cell carcinoma and functional RNA molecules
基于口腔鳞状细胞癌和功能RNA分子的时间层次分析寻找治疗靶分子
  • 批准号:
    23K16142
  • 财政年份:
    2023
  • 资助金额:
    $ 28.45万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了