動的言語を用いた高性能計算の為の基盤技術の研究
动态语言高性能计算基础技术研究
基本信息
- 批准号:13J09873
- 负责人:
- 金额:$ 1.15万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for JSPS Fellows
- 财政年份:2013
- 资助国家:日本
- 起止时间:2013-04-01 至 2015-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
動的言語で記述されたプログラムの高性能分野における利用の為の実行前最適化技術、プログラミング手法、プログラミング言語の研究・開発を行った。○動的言語の為の型推論手法の研究を行った。動的言語で記述された関数は様々な型の値を与えて呼び出す事が可能であるため、各項が取り得る型を全て調べ尽くすのみでは高度な最適化は難しい。そこで、実際にはどのような型の組み合わせで呼び出される事が多いのかという事についての主観確率を計算する確率的型推論手法の開発を行った。本手法の為に、プログラムの定義使用グラフ上での確率伝搬法を新たに開発した。本手法はプログラム検証の為にも用いる事が出来る汎用的な手法である。○領域固有知識を利用した生成的プログラミング手法の研究を行った。高性能計算の為には、対象とする問題領域や計算機についての領域固有知識を活用する事が重要となる。そこで、動的言語の表現力の高さを活用して、領域固有知識を表現するオントロジーを記述し、その上での知識推論に基いてC言語やFortran等の言語を生成する、生成的プログラミングフレームワークの研究を行った。○プログラミング言語Amberの開発を行った。上記フレームワークを実現する為には、様々な出力言語のコードテンプレートを記述出来る表現力を持った言語が必要であった。そこで言語内でC言語やFortran等のコードを直接記述したり、オントロジーを記述出来るように、言語内言語を定義する機能に特化したAmberというプログラミング言語を開発した。
Dynamic language description of high-performance segmentation, the use of pre-implementation optimization techniques, optimization techniques, optimization of language research and development A study on the inference techniques for the speech pattern of motion. It is difficult to optimize the height of each item. The development of type inference methods for calculating the main accuracy rate of multiple events is carried out. This method is a new development for the definition and use of accurate translation methods on mobile phones. This technique is a general technique for identifying and identifying the source of information.○ Research on how to use domain-specific knowledge to generate knowledge Supercomputers are important for the application of knowledge inherent in the problem domain and the computer domain The high expressive power of speech and language, the expression of domain-specific knowledge, the generation of speech and language, the generation of language and language, and the study of domain-specific knowledge. Amber's development was launched in 2008. The above is a list of the necessary words to express your feelings. The function of defining speech within speech is to describe speech directly.
项目成果
期刊论文数量(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 }}
相似海外基金
量子アニーリングマシンと高性能計算機とをシームレスに連携するプログラミング基盤
无缝链接量子退火机和高性能计算机的编程平台
- 批准号:
20K11838 - 财政年份:2020
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
高性能計算技術とマイクロサービス化技術の融合に関する研究
高性能计算技术与微服务技术融合研究
- 批准号:
20K11837 - 财政年份:2020
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
余剰コアを活用する高性能計算・データ解析支援
利用剩余核心的高性能计算和数据分析支持
- 批准号:
20H00580 - 财政年份:2020
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
次世代高性能計算機に向けたネットワーク指向ストレージシステムの研究
面向下一代高性能计算机的网络存储系统研究
- 批准号:
14J01967 - 财政年份:2014
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for JSPS Fellows
カスタムアクセラレータを有する高性能計算ヘテロジニアスプラットフォーム
具有定制加速器的高性能计算异构平台
- 批准号:
11F01347 - 财政年份:2011
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for JSPS Fellows
高性能計算の高精度モデル化技術
高精度建模技术,实现高性能计算
- 批准号:
19024041 - 财政年份:2007
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
高性能計算の高精度モデル化技術
高精度建模技术,实现高性能计算
- 批准号:
18049039 - 财政年份:2006
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
高精細な4次元医用画像のPCクラスタによる高性能計算に関する研究
基于PC集群的高清4维医学图像高性能计算研究
- 批准号:
16035209 - 财政年份:2004
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
GPU装備のPCクラスタによる医用画像の高性能計算に関する研究
基于GPU的PC集群的医学图像高性能计算研究
- 批准号:
16016254 - 财政年份:2004
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas