動的言語を用いた高性能計算の為の基盤技術の研究

动态语言高性能计算基础技术研究

基本信息

  • 批准号:
    13J09873
  • 负责人:
  • 金额:
    $ 1.15万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
  • 财政年份:
    2013
  • 资助国家:
    日本
  • 起止时间:
    2013-04-01 至 2015-03-31
  • 项目状态:
    已结题

项目摘要

動的言語で記述されたプログラムの高性能分野における利用の為の実行前最適化技術、プログラミング手法、プログラミング言語の研究・開発を行った。○動的言語の為の型推論手法の研究を行った。動的言語で記述された関数は様々な型の値を与えて呼び出す事が可能であるため、各項が取り得る型を全て調べ尽くすのみでは高度な最適化は難しい。そこで、実際にはどのような型の組み合わせで呼び出される事が多いのかという事についての主観確率を計算する確率的型推論手法の開発を行った。本手法の為に、プログラムの定義使用グラフ上での確率伝搬法を新たに開発した。本手法はプログラム検証の為にも用いる事が出来る汎用的な手法である。○領域固有知識を利用した生成的プログラミング手法の研究を行った。高性能計算の為には、対象とする問題領域や計算機についての領域固有知識を活用する事が重要となる。そこで、動的言語の表現力の高さを活用して、領域固有知識を表現するオントロジーを記述し、その上での知識推論に基いてC言語やFortran等の言語を生成する、生成的プログラミングフレームワークの研究を行った。○プログラミング言語Amberの開発を行った。上記フレームワークを実現する為には、様々な出力言語のコードテンプレートを記述出来る表現力を持った言語が必要であった。そこで言語内でC言語やFortran等のコードを直接記述したり、オントロジーを記述出来るように、言語内言語を定義する機能に特化したAmberというプログラミング言語を開発した。
The moving words are used to describe the high-performance division of the field and the use of them as the most important thing before the trip. Adaptation technology, プログラミング technique, プログラミング speech research and development. ○Research on the method of inference using moving words. The moving words are described, the numbers are closed, the numbers are set, the type is set, and the things are possible.ため, each item is taken out and the る type is fully adjusted and the height is optimized and it is difficult to optimize.そこで、実记にはどのようなTYPEの组み合わせでHUび出される事が多いのかという事についての主観 Accuracy を Calculation する Accuracy type inference technique の开発を行った. This method uses the definition of "にに" and "プログラムの" using the "グラフ上での真动法を新たに开発した". This technique is a technique that is commonly used for making things happen. ○Research on the practical techniques generated using domain-specific knowledge is carried out. High-performance computing is a problem area, and it is important to use knowledge inherent in the field of computers to solve problems.そこで, the expressive power of moving words の高さをutilization して, the expression of domain-specific knowledge するオントロジーをrecord し, その上でのknowledge recommendation On the basis of the C language and Fortran et al., the generated speech, the generated speech, and the research on the generated speech. ○プログラミング语Amberの开発を行った. The above mentioned フレームワークを実appears as には,様々なのコードIt is necessary to describe the expressiveness of the テンプレートを and to maintain the language.そこで语内でC语やFortran, etc.のコードをDirect descriptionしたり、オントロジーをDescription outるように, speech within speech をDefinition するfunctionにSpecializationしたAmberというプログラミング语を开発した.

项目成果

期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
ドメインオントロジーを利用した生成的プログラミングによる高性能計算
使用领域本体通过生成式编程实现高性能计算
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    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 }}

中村 晃一其他文献

中村 晃一的其他文献

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

相似海外基金

The Kelvin Living Lab: Towards Net Zero High-Performance Computing
开尔文生活实验室:迈向净零高性能计算
  • 批准号:
    EP/Z531054/1
  • 财政年份:
    2024
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Research Grant
CC* CIRA: High-performance computing solutions for small Midwest institutions
CC* CIRA:面向中西部小型机构的高性能计算解决方案
  • 批准号:
    2346616
  • 财政年份:
    2024
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Standard Grant
MRI: Track 1 Acquisition of a High-Performance Computing System at New Mexico Tech
MRI:新墨西哥理工学院高性能计算系统的第一轨道采购
  • 批准号:
    2320162
  • 财政年份:
    2024
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Standard Grant
Collaborative Research: OAC: Core: Harvesting Idle Resources Safely and Timely for Large-scale AI Applications in High-Performance Computing Systems
合作研究:OAC:核心:安全及时地收集闲置资源,用于高性能计算系统中的大规模人工智能应用
  • 批准号:
    2403399
  • 财政年份:
    2024
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Standard Grant
Malleability in resource allocation for improved system efficiency in high-performance computing
资源分配的可塑性可提高高性能计算的系统效率
  • 批准号:
    EP/Y53061X/1
  • 财政年份:
    2024
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Research Grant
Equipment: CC* Campus Compute: A High-Performance Computing System for Research and Education in Arkansas
设备:CC* 校园计算:用于阿肯色州研究和教育的高性能计算系统
  • 批准号:
    2346752
  • 财政年份:
    2024
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Standard Grant
Collaborative Research: OAC: Core: Harvesting Idle Resources Safely and Timely for Large-scale AI Applications in High-Performance Computing Systems
合作研究:OAC:核心:安全及时地收集闲置资源,用于高性能计算系统中的大规模人工智能应用
  • 批准号:
    2403398
  • 财政年份:
    2024
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Standard Grant
CC* Planning: Establishing a Sustainable Framework for High-Performance Computing Growth at Wichita State University
CC* 规划:为威奇托州立大学高性能计算增长建立可持续框架
  • 批准号:
    2346097
  • 财政年份:
    2024
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Standard Grant
REU Site: High Performance Computing (HPC) Tools, Techniques, and Research across the Physical Sciences
REU 网站:跨物理科学领域的高性能计算 (HPC) 工具、技术和研究
  • 批准号:
    2348782
  • 财政年份:
    2024
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Standard Grant
REU Site: Research on Computational Methods in High Performance Computing and Their Applications to Computational Sciences
REU 网站:高性能计算中的计算方法及其在计算科学中的应用研究
  • 批准号:
    2348884
  • 财政年份:
    2024
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了