权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

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

基本信息

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

项目摘要

動的言語で記述されたプログラムの高性能分野における利用の為の実行前最適化技術、プログラミング手法、プログラミング言語の研究・開発を行った。○動的言語の為の型推論手法の研究を行った。動的言語で記述された関数は様々な型の値を与えて呼び出す事が可能であるため、各項が取り得る型を全て調べ尽くすのみでは高度な最適化は難しい。そこで、実際にはどのような型の組み合わせで呼び出される事が多いのかという事についての主観確率を計算する確率的型推論手法の開発を行った。本手法の為に、プログラムの定義使用グラフ上での確率伝搬法を新たに開発した。本手法はプログラム検証の為にも用いる事が出来る汎用的な手法である。○領域固有知識を利用した生成的プログラミング手法の研究を行った。高性能計算の為には、対象とする問題領域や計算機についての領域固有知識を活用する事が重要となる。そこで、動的言語の表現力の高さを活用して、領域固有知識を表現するオントロジーを記述し、その上での知識推論に基いてC言語やFortran等の言語を生成する、生成的プログラミングフレームワークの研究を行った。○プログラミング言語Amberの開発を行った。上記フレームワークを実現する為には、様々な出力言語のコードテンプレートを記述出来る表現力を持った言語が必要であった。そこで言語内でC言語やFortran等のコードを直接記述したり、オントロジーを記述出来るように、言語内言語を定義する機能に特化したAmberというプログラミング言語を開発した。

The words and phrases are recorded. The high-performance field of communication is based on the use of the most advanced technology, the most advanced techniques, and the research and implementation of speech research. The speech of 0 action is the result of the study of inference techniques. The words and expressions of the action record the number of customers, the number of words, the number of words, the number The cooperation of international organizations and international organizations calls for the use of inference methods for calculating the accuracy rate, which is used to calculate the accuracy rate. The purpose of this method is to make sure that you can make sure that you can use this method to make sure that you can make sure that you can start a new business. This technique is intended to be used in the same way that you use it. 0. The inherent knowledge in the field is used to study the behavior by using the techniques generated by the experts. High-performance computing is very important, such as in the field of health problems, the inherent knowledge of computers in the field, and the use of knowledge in the field is very important. The words and expressions of speech and action are very powerful, and the inherent knowledge in the field shows that they are not used. They are recorded in records, and they are discussed on the basis of knowledge. Words and expressions such as Fortran are used to generate information, and the results of research and practice are related to each other. 0. Please do not talk to Amber and start a business trip. Please tell me that it is necessary to tell you that it is necessary to make an effort to say that it is necessary. In other words, words such as Fortran, etc., are recorded directly, words are recorded, words are defined, and words are defined in words. The machine can be used to make a difference between words and messages.