• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 16016213
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionThe University of Tokyo

Principal Investigator

胡 振江  東京大学, 大学院・情報理工学系研究科, 助教授 (50292769)

Co-Investigator(Kenkyū-buntansha) 高野 明彦  国立情報学研究所, ソフトウェア研究系, 教授 (00333542)
武市 正人  東京大学, 大学院・情報理工学系研究科, 教授 (10011165)
Project Period (FY) 2004 – 2005
Project Status Completed (Fiscal Year 2005)
Budget Amount *help
¥6,300,000 (Direct Cost: ¥6,300,000)
Fiscal Year 2005: ¥2,900,000 (Direct Cost: ¥2,900,000)
Fiscal Year 2004: ¥3,400,000 (Direct Cost: ¥3,400,000)
Keywords情報システム / ソフトウェア開発効率化・安定化 / ソフトウェア学 / ソフトコンピューティング / ディレクトリ・情報検索 / ソフトコンピユーティング
Research Abstract

21世紀に求められる情報技術は、膨大な情報を活用して個人やグループの問題解決能力を高め、思考や議論を深めるものでなければならない。自分の脳に蓄えられた情報(知)に基づいて思考する人間を、外部の膨大な情報と創造的に相互作用させるためのカギは、人間の連想能力の活性化にあると考えられる。本研究の目的は、人間の連想能力の活性化に計算機科学の手法によりアプローチして、膨大な情報に基づく連想過程に計算的な基礎づけを与え、連想計算の基盤となる情報処理技術を提供することにある。
本研究は、構成的アルゴリズム論に基づいて,100万件規模の文書DBを対象に連想計算(類似性計算)を高速実行するソフトウェア「連想計算エンジンGETA(Generic Engine for Transposable Association : http://geta.ex.nii.ac.jp/)」が高速実行する連想計算の数学的構造を、「連想計算の代数」として明らかにし、理論的基礎づけを与えた。さらに、その代数構造に基づくプログラム変換を用いるGETAの並列連想計算方式を提案し、そのPCクラスタ上の実装により実用上の有効性を検証した。
さらに、連想計算の機構を「二つの世界とそれらを結ぶための双方向変換」として定式化し、双方向変換言語を提案した。双方向変換は、2つのデータの間での同期を取ることを目的に考案された技術であり、始点と終点の2つのデータ間について、順方向の変換を記述することが同時に逆方向への情報の更新方法も実現するように設計されている。
連想計算の新しい応用として、「梅林(Bi-Link)」という新しいファイルマネージャを実現した。既存のファイルマネージャは実際のディレクトリ木の見せ方に関する自由度が低い。ファイルに対する注釈、表示するファイルの順序、特定のファイルの隠蔽などいくつかの基本的な機能は提供されているが、ユーザはそれらを細かにカスタマイズすることはできない。「梅林」では、このような"見せ方"を連想計算(双方向変換)として記述する。そのため、これらの機能を統一的に表現でき、なおかつ見せ方の自由度を高めている。

Report

(2 results)
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • Research Products

    (12 results)

All 2006 2005 2004

All Journal Article (12 results)

  • [Journal Article] Bidirectionalizing Tree Transformation Languages : A Case Study2006

    • Author(s)
      Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      コンピュータソフトウェア 23・2

    • NAID

      130004892052

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Systematic Derivation of Tree Contraction Algorithms2005

    • Author(s)
      Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    • Journal Title

      Parallel Processing Letters 15・3

      Pages: 321-336

    • Related Report
      2005 Annual Research Report
  • [Journal Article] データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案2005

    • Author(s)
      松田 一孝, 筧一彦, 胡 振江, 武市 正人
    • Journal Title

      データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案 46・PRO26

    • NAID

      110002769805

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 最適化機構を持つC++並列スケルトンライブラリ2005

    • Author(s)
      明石 良樹, 松崎 公紀, 岩崎 英哉, 筧 一彦, 胡 振江
    • Journal Title

      コンピュータソフトウエア 22・3

      Pages: 214-222

    • NAID

      40022143270

    • Related Report
      2005 Annual Research Report
  • [Journal Article] スケルトン並列プログラミング2005

    • Author(s)
      胡振江, 岩崎英哉
    • Journal Title

      情報処理学会誌「情報処理」 46・10

      Pages: 1158-1163

    • NAID

      110002769761

    • Related Report
      2005 Annual Research Report
  • [Journal Article] An Environment for Maintaining Computation Dependency in XML Documents2005

    • Author(s)
      Dongxi Liu, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      ACM Symposium on Document Engineering (DocEng 2005), Bristol, United Kingdom, 2-4 November 2005

      Pages: 42-51

    • Related Report
      2005 Annual Research Report
  • [Journal Article] データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案2005

    • Author(s)
      松田一孝, 筧一彦, 胡振江, 武市正人
    • Journal Title

      情報処理学会論文誌 46(PRO ?)(予定)

    • NAID

      110002769805

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Deterministic Second-order Patterns2004

    • Author(s)
      Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Information Processing Letters 89・6

      Pages: 309-314

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A New Parallel Skeleton for General Accumulative Computations2004

    • Author(s)
      Hideya Iwasaki, Zhenjiang Hu
    • Journal Title

      International Journal of Parallel Programming 32・5

      Pages: 389-414

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 決定論的2階パターンとプログラム変換への応用2004

    • Author(s)
      横山 哲郎, 胡 振江, 武市 正人
    • Journal Title

      コンピュータソフトウエア 21・5

      Pages: 71-76

    • NAID

      130004549029

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations2004

    • Author(s)
      Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
    • Journal Title

      ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona, Italy, August 24-25,2004(ACM Press)

      Pages: 178-189

    • Related Report
      2004 Annual Research Report
  • [Journal Article] An Injective Language for Reversible Computation2004

    • Author(s)
      Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125(Springer Verlag) 3125

      Pages: 289-313

    • Related Report
      2004 Annual Research Report

URL: 

Published: 2004-04-01   Modified: 2018-03-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi