高級並列言語の様々な安全性を保証するプログラム進化支援つき汎用型システムの研究

研究具有程序演化支持的通用系统,保证高级并行语言的各个安全方面

基本信息

项目摘要

ここ数年のインターネットおよびWorld Wide Web(WWW)の普及,また並列計算機の普及に伴い分散/並列環境上でのプログラミング技術が注目を集めている。本研究では,分散/並列プログラミングにおける様々な安全性(デッドロック/競合状態が起きないこと,計算資源が正しく使われること)を保証するための統一的な枠組みを構築することを目的としている.本年度の研究成果は以下の通り.1.オブジェクト指向言語の再利用性を安全に高めるための言語機構の考案.近年,Javaなどで書かれたオブジェクト指向プログラムの汎用性を高めるための言語機構として,汎用クラス(generics)という,クラス定義中の型情報をパラメータ化できる機構が実用化されつつある.これにより,リスト・木などの汎用データ構造の記述において再利用性が高められることが知られている.しかし,従来のオブジェクト指向言語に備わっていた型に基づく再利用の機構である部分型との統合についてはあまり研究されてこなかった.本年度の研究では汎用クラスのための新しい部分型の機構を提案した.具体的には,核言語とその型システム・意味論を形式化し,提案する機構が型安全であることを証明した.これにより,プログラムの汎用性・再利用性がさらに高まり,従来のプログラムを汎用クラスを使って書き換える際に生じがちであった,型の制限による困難も緩和されると考えられる.
Over the years, there has been a rapid increase in the popularity of World Wide Web (WWW), and the popularity of computer systems has been accompanied by the dispersion

项目成果

期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Atsushi Igarashi: "On Variance-Based Subtyping For Parametric Types"Proceedings of the 16th European Conference on Object-Oriente Programming (Springer LNCS series). 2374. 441-469 (2002)
Atsushi Igarashi:“On Variance-Based Subtyping For Parametric Types”第 16 届欧洲面向对象编程会议论文集(Springer LNCS 系列)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
山本 和樹: "擬似引用を持つ型付計算体系λq"日本ソフウェア科学会第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003)論文集. 87-102 (2003)
Kazuki Yamamoto:“带有伪引文的类型计算系统 λq”日本软件学会第五届编程和编程语言研讨会 (PPL2003) 论文集 87-102 (2003)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
A.Igarashi, N.Kobayashi: "Resource Usage Analysis"Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages(POPL2002). 331-342 (2002)
A.Igarashi、N.Kobayashi:“资源使用分析”ACM SIGPLAN/SIGACT 编程语言原理研讨会论文集(POPL2002)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
A.Igarashi, B.C.Pierce, P.Wadler: "Featherweight Java : A Minimal Core Calculus for Java and GJ"ACM Transactions of Programming Languages and Systems. 23(3). 396-450 (2001)
A.Igarashi、B.C.Pierce、P.Wadler:“Featherweight Java:Java 和 GJ 的最小核心微积分”ACM 编程语言和系统汇刊。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ 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)}}的其他基金

Research on software contracts for highly interoperable software modules
高度互操作软件模块的软件契约研究
  • 批准号:
    20H00582
  • 财政年份:
    2020
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
高反応性有機バナジウム錯体の設計・創製と高効率炭素-炭素結合形成反応
高反应性有机钒配合物和高效碳-碳键形成反应的设计和创造
  • 批准号:
    14J07313
  • 财政年份:
    2014
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
安全・安心な環境適応型ソフトウェアの基礎理論に関する研究
安全可靠环境自适应软件基础理论研究
  • 批准号:
    18049044
  • 财政年份:
    2006
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
様相論理に基づいたプログラム解析手法の研究
基于模态逻辑的程序分析方法研究
  • 批准号:
    15700011
  • 财政年份:
    2003
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
並列プログラミング言語の静的解析とそれに基づく最適化の研究
并行编程语言静态分析及基于其的优化研究
  • 批准号:
    97J07813
  • 财政年份:
    1998
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows

相似海外基金

Parallel Search Algorithms for Heterogeneous Computing Environments
异构计算环境的并行搜索算法
  • 批准号:
    17K00296
  • 财政年份:
    2017
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Additive decomposition scheme of quantum search algorithm and its application to parallel search problem
量子搜索算法的加性分解方案及其在并行搜索问题中的应用
  • 批准号:
    16K05489
  • 财政年份:
    2016
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Winning against Go masters with massively parallel search algorithm using 10,000 or more CPU cores
通过使用 10,000 个或更多 CPU 核心的大规模并行搜索算法战胜围棋大师
  • 批准号:
    25700038
  • 财政年份:
    2013
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Young Scientists (A)
並行プログラムのための型理論に基づく利便性の高い静的検証手法
基于类型论的并发程序便捷静态验证方法
  • 批准号:
    11J00571
  • 财政年份:
    2011
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Development of Parallel Search Algorithms
并行搜索算法的开发
  • 批准号:
    EP/F01130X/1
  • 财政年份:
    2007
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Research Grant
並行プログラム検証のための型システムとそのオペレーティングシステムの検証への応用
并发程序验证的类型系统及其在操作系统验证中的应用
  • 批准号:
    07J01504
  • 财政年份:
    2007
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
PostDoc: Parallel Search Algorithms for Automating the Animation of Human Motion
博士后:用于自动化人体运动动画的并行搜索算法
  • 批准号:
    0196221
  • 财政年份:
    2000
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Standard Grant
PostDoc: Parallel Search Algorithms for Automating the Animation of Human Motion
博士后:用于自动化人体运动动画的并行搜索算法
  • 批准号:
    9704694
  • 财政年份:
    1997
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Standard Grant
通信プロセスモデルにもとづく実時間並行プログラムの検証と実現に関する研究
基于通信过程模型的实时并行程序验证与实现研究
  • 批准号:
    08780260
  • 财政年份:
    1996
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
Sequential and parallel search algorithms
顺序和并行搜索算法
  • 批准号:
    8173-1991
  • 财政年份:
    1993
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了