連想計算の代数に基づく並列連想計算方式の研究

基于联想计算代数的并行联想计算方法研究

• 批准号: 15017215
• 负责人: 胡 振江
• 金额: $ 1.79万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15017215/
• 关键词: 情報システム; ソフトウェア開発効率化; ソフトウェア学; 情報検索

本研究の目的は、「連想計算エンジンGETA(Generic Engine for Transposable Association)」が高速実行する連想計算の数学的構造を「連想計算の代数」として明らかにし、理論的基礎づけを与えるとともに、代数構造に基づくプログラム変換を用いるGETAの並列連想計算方式を提案し、実用的システムを実装することによりその有効性を検証することである。平成15年度で得られた成果は次の通りである。まず、GETAでサポートされている各種類似性計量による連想計算を一般化し、連想計算の代数モデルを考察した。インデックス行列の基本操作を抽象化し、代数的なデータ構造としてモデル化することにより、GETAで高速処理可能な計算を準同形として定式化した。また、GETAが扱うWAMデータベースをリストなどのデータ構造を代数的にとらえて、GETAライブラリを利用するためのインターフェイスをリスト操作の視点から構築し、以下の成果を得た。(1)わかりやすさ:基本的なデータ構造であるリストの操作としてインターフェイスを定義し、ユーザがすぐに使えるようにした。(2)安全性:Haske11の型推論によって実行時のエラーを排除した。また、代数間の写像として関数の性質を明確に記述できるようになった。(3)効率:プログラム変換により、細部を隠蔽した抽象度の高いプログラムの記述と実行時の効率を両立させた。代数的手法が変換の正しさの証明や変換の自動的な導出が可能にした。さらに、このインターフェイスを用いていくつかのアプリケーションを作成し、簡潔なプログラムで実用的な機能と性能を達成できることを示した。

In this study, the purpose of this study is to use the parallel calculation methods of mathematics, algebra, theory, algebra, mathematics, algebra, mathematics, mathematics, algebra, mathematics, mathematics, mathematics I don't know what to use. I don't know if I have sex. In the 15th year of Pingcheng, he won a lot of achievements. For example, GETA calculation, connection calculation, generalization, algebraic calculation, and so on. The basic operations of "abstraction", "algebra", "abstraction", "algebra GETA, GETA, WAM, computer, GETA, algebra, algebra. (1) the basic information is required. The operation is based on the definition and definition of the information. (2) Security: the Haske11 model deduction model does not run on time and does not rule out the security. In terms of algebra and algebra, you can clearly record how many times you want to write. (3) the rate of failure: the rate of failure is very high, and the rate of failure is very high. The method of algebra is to show that the automatic system of the system may lead to a problem. The performance of the machine that is used in the system is displayed in the computer system.

项目成果

Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: "Deterministic Second-order Patterns"Information Processing Letters. 89・6. 309-314 (2004)

Tetsuo Yokoyama、Zhenjian Hu、Masato Takeichi：“确定性二阶模式”信息处理快报 89・6 (2004)。

Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano: "Iterative-free Program Analysis"ACM SIGPLAN Notices. 38・9. 111-123 (2003)

Mizuhito Okawa、Zhenjian Hu、Isao Sasano：“无迭代程序分析”ACM SIGPLAN 38・9 (2003)。

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: "Parallelization with Tree Skeletons"Lecture Notes in Computer Science. 2790. 789-798 (2003)

Kiminori Matsuzaki、Zhenjian Hu、Masato Takeichi：“树骨架并行化”计算机科学讲义。

山岡裕司, 胡 振江, 武市 正人, 小川瑞史: "モデル検査技術を利用したプログラム解析の生成ツール"情報処理学会論文誌. 44・13. 25-37 (2003)

山冈雄二、胡镇江、武一正人、小川水志：“使用模型检查技术的程序分析生成工具”日本信息处理学会杂志44・13（2003）。