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

TAKEICHI Masato  武市 正人

ORCIDConnect your ORCID iD *help
Researcher Number 10011165
Other IDs
External Links
Affiliation (based on the past Project Information) *help 2017: 独立行政法人大学改革支援・学位授与機構, 研究開発部, 特任教授
2016: 独立行政法人大学改革支援・学位授与機構, 研究開発部, 教授
2015: 独立行政法人大学評価・学位授与機構, 研究開発部, 教授
2011: 独立行政法人大学評価・学位授与機構, 研究開発部, 教授
2007 – 2010: The University of Tokyo, 大学院・情報理工学系研究科, 教授 … More
2008: 東京大学, 大学院情報理工学系研究科, 教授
2006: 東京大学, 大学院情報理工学系研究科, 教授
2001 – 2005: Graduate School of Information Science and Technology, The University of Tokyo, Professor, 大学院・情報理工学系研究科, 教授
1995 – 2001: 東京大学, 大学院・工学系研究科, 教授
1999: 東京大学, 大学院・工学(系)研究科, 教授
1997: 東京大学, 大学院・工学(系)研究科, 教授
1992 – 1994: 東京大学, 工学部, 教授
1990 – 1991: 東京大学, 工学部, 助教授
1990: University of Tokyo, Faculty of Engineering, Associate Professor, 工学部・計数工学科, 助教授
1989: 東京大学, 教育用計算機センター, 助教授 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Software / 計算機工学 / Intelligent informatics
Except Principal Investigator
Science and Engineering / 計算機科学 / Management / Software
Keywords
Principal Investigator
Functional Programming / 関数プログラミング / アルゴリズム / Algorithm / Calculation / 運算 / 構成的手法 / 融合変換 / Program Calculation / プログラム運算 … More / Fusion Transformation / Program Transformation / Parallel Evaluation / 並列プログラミング / プログラミング言語 / プログラム言語 / 関数プログラム / グラフィックスインタ-フェ-ス / ユ-ザ-モデル / ユ-ザ-インタ-フェ-ス / Document Processiog / Calculation Carrying Mechanism / Structured Document / 文書処理 / 運算随伴機構 / 構造化文書 / Fusion / Parallelization / 並列化 / Constructive Algorithmics / 組変換 / プログラム最適 / 構成的アルゴリズム論 / Adaptation Mechanism / Dynamic Compilation / Partial Computation / Reflection Mechanism / Meta-programming / Software Evolution / 環境適応機器 / プログラム変換 / 環境適応機構 / 動的翻訳機構 / 部分計算機構 / 自己反映機構 / メタプログラミング / ソフトウェア発展 / Program Evolution / Partial Evaluation / Lazy Evaluation / Programming Methodology / 自己進化機構 / 部分計算 / 遅延評価機構 / プログラミング方法論 / Program Optimization / 並列関数プログラミング / 関数型言語 / 並列化機構 / Functional Program / 並列実行 / プログラミングパラダイム / 双方向変換 / 双方向変換機構 / ソフトウェア設計 / 入力辞書 / 自然言語処理 / テキスト入力 / 部分評価系 / 完全遅延評価 / 遅延メモ化機構 / グラフィックスインターフェース / ユーザーモデル / ユーザーインターフェース … More
Except Principal Investigator
ソフトウェア学 / 情報システム / ソフトウェア構成プロセス / 分散開発環境 / 発想機構 / プログラム開発環境 / ソフトウェア工学 / ソフトウェア開発効率化・安定化 / ユ-ザ-インタ-フェ-ス / 新自由主義 / 高等教育政策 / 内部質保証 / 大学 / 高等教育 / 大学運営 / 大学教育 / 評価 / PDCA / 民間的手法 / adaptive reconstruction / environment for evolution / methodologies for evolution / mechanisms of evolution / principles for evolution / ソフトウエア構築再構成方法論 / ソフトウェア構築再構成方法論 / 発展的ソフトウェア検証証明法 / ソフトウェア適応的再構成 / ソフトウェア方式 / ソフトウェア発展方法論 / ソフトウェア発展基本機構 / ソフトウェア発展構成原理 / functional programming / time / object oriented / visualization / user interface / multimedia / 図化処理 / コンピュータグラフィクス / パラダイム / 関数型プログラミング / 時間 / オブジェクト指向 / 可視化 / ユーザインタフェース / マルチメディア / C A I / educational computer system / computer literacy / computer science / elementary courses on information science / 情報処理教育 / CAI / 教育用計算機システム / コンピュ-タリテラシ- / コンピュ-タサイエンス / 一般情報処理教育 / 情報通信工学 / ソフトウェア開発効率化、安定化 / 情報工学 / 自動並列化 / ソフトウエア開発効率化 / 並列プログラミング / 並列スケルトン / プログラミング言語 / 超高速情報処理 / アルゴリズム / ソフトコンピユーティング / ディレクトリ・情報検索 / ソフトコンピューティング / 情報検索 / ソフトウェア開発効率化 / ソフトウェア構築方法論 / ソフトウェア進化 / ソフトウェア発展 / ユーザーインターフェース / ソストウェア工学 Less
  • Research Projects

    (27 results)
  • Research Products

    (98 results)
  • Co-Researchers

    (35 People)
  •  What is private enterprise approach to the university? ---definition and condition---

    • Principal Investigator
      TANAKA Yayoi
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Management
    • Research Institution
      National Institution for Academic Degrees and Quality Enhancement of Higher Education
  •  Parallelism-Oblivious Parallel ProgrammingPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      2010 – 2011
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Software
    • Research Institution
      National Institution for Academic Degrees and University Evaluation
      The University of Tokyo
  •  Bidirectional Transformation Mechanisms and its ApplicationPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      2007 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo
  •  A Constructive Approach to Structured Parallel Programming

    • Principal Investigator
      HU Zhenjiang
    • Project Period (FY)
      2005 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
      The University of Tokyo
  •  連想計算の代数に基づく並列連想計算方式の研究

    • Principal Investigator
      胡 振江
    • Project Period (FY)
      2004 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Tokyo
  •  連想計算の代数に基づく並列連想計算方式の研究

    • Principal Investigator
      HU Zhenjiang
    • Project Period (FY)
      2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Tokyo
  •  Calculation Carrying Document Processing Language and its ApplicationPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo
  •  少数キーによるテキスト入力手法の開発と評価に関する研究Principal Investigator

    • Principal Investigator
      武市 正人
    • Project Period (FY)
      2002 – 2003
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      Intelligent informatics
    • Research Institution
      The University of Tokyo
  •  Principles for Constructing Evolutionary Software

    • Principal Investigator
      KATAYAMA Takuya
    • Project Period (FY)
      2000
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Implementation of Constructive Parallel Programming ModelsPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Implementation of Program Calculator SystemPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Implementation of a Program Calculation SystemPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Research on Fundamental Mechanisms for Software EvolutionPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      University of Tokyo
  •  Program Optimization Based on Constructive AlgorithmicsPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  発展機構を備えたソフトウェアの構成原理にかかわる総合研究

    • Principal Investigator
      片山 卓也
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Multimedia User Interface based on Paradigm Integration

    • Principal Investigator
      KAWAI Satoru
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Research on Self-evolution Mechanisms of Computer ProgramsPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tokyo
  •  遅延メモ化機構によるプログラムの部分計算に関する研究Principal Investigator

    • Principal Investigator
      武市 正人
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Implementation of Parallel Functional Programming SystemsPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      1994 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      University of Tokyo
  •  高機能高品質ソフトウェアの構成原理に関する研究 総括班

    • Principal Investigator
      和田 英一
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      The University of Tokyo
  •  高機能ユーザーインターフェースの研究Principal Investigator

    • Principal Investigator
      武市 正人
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      The University of Tokyo
  •  高機能ユ-ザ-インタ-フェ-スの研究Principal Investigator

    • Principal Investigator
      武市 正人
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      The University of Tokyo
  •  高機能高品質ソフトウェアの構成原理に関する研究 総括班

    • Principal Investigator
      和田 英一
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      The University of Tokyo
  •  高機能ユ-ザ-インタ-フェ-スの研究Principal Investigator

    • Principal Investigator
      武市 正人
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      The University of Tokyo
  •  高機能高品質ソフトウェアの構成原理に関する研究 総括班

    • Principal Investigator
      和田 英一
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      The University of Tokyo
  •  Research on a Methodology of Promoting General Education About Information Processing.

    • Principal Investigator
      HASEGAWA Toshiharu
    • Project Period (FY)
      1989 – 1990
    • Research Institution
      Kyoto University
  •  Parallel Evaluation of Functional ProgramsPrincipal Investigator

    • Principal Investigator
      TAKEICHI Masato
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機工学
    • Research Institution
      University of Tokyo

All 2011 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation

  • [Journal Article] Synchronizing Concurrent Model Updates Based on Bidirectional Transformation2011

    • Author(s)
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Software and Systems Modeling

      Volume: (Online First)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22650006
  • [Journal Article] Synchronizing Concurrent Model Updates Based on Bidirectional Transformation2011

    • Author(s)
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Soft-ware and Systems Modeling

    • Data Source
      KAKENHI-PROJECT-22650006
  • [Journal Article] 領域限定言語に基づく最適経路問合せ(Op-timal Path Querying based on a Do-main-Specific Language)2011

    • Author(s)
      森畑明昌,松崎公紀,武市正人
    • Journal Title

      情報処理学会論文誌プログラミング

      Volume: 第4巻 Pages: 1-18

    • Data Source
      KAKENHI-PROJECT-22650006
  • [Journal Article] 領域限定言語に基づく最適経路問合せ(Optimal Path Querying based on a Domain-Specific Language)2011

    • Author(s)
      森畑明昌, 松崎公紀, 武市正人
    • Journal Title

      情報処理学会論文誌プログラミング

      Volume: 4 Pages: 1-18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22650006
  • [Journal Article] Grammar-based Approach to Invertible Programs, 19th European Symposium on Programming2010

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

      Proceedings of 19th European Symposium on Programming

      Volume: LNCS6012 Pages: 448-467

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Type-based Specialization of XML Transformations2009

    • Author(s)
      Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009)

      Pages: 61-72

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Supporting Automatic Model Inconsistency Fixing2009

    • Author(s)
      Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
    • Journal Title

      ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)

      Pages: 315-324

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] 並列プログラムの候補生成と適合性検査による並列化2009

    • Author(s)
      森畑明昌, 松崎公紀, 胡振江, 武市正人
    • Journal Title

      情報処理学会論文誌 Vol. 2, No. 2

      Pages: 132-143

    • NAID

      110007970896

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] 補関数の生成による複製機能付きプログラムの自動双方向化2009

    • Author(s)
      松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
    • Journal Title

      コンピュータソフトウェア 26

    • NAID

      10025982390

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] 補関数の生成による複製機能付きプログラムの自動双方向化2009

    • Author(s)
      松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
    • Journal Title

      コンピュータソフトウェア 第26巻

    • NAID

      10025982390

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Type-based Specialization of XML Transformations.2009

    • Author(s)
      Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi.
    • Journal Title

      ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009).

      Pages: 61-72

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Consistent Web Site Updating based on Bidirectional Transformation.2009

    • Author(s)
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi.
    • Journal Title

      International Journal on Software Tools for Technology Transfer. Vol.11

      Pages: 453-468

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Consistent Web Site Updating based on Bidirectional Transformation2009

    • Author(s)
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      International Journal on Software Tools for Technology Transfer Vol. 11

      Pages: 453-468

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Supporting Automatic Model Inconsistency Fixing.2009

    • Author(s)
      Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei.
    • Journal Title

      ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009).

      Pages: 315-324

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Supporting Automatic Model Inconsistency Fixing2009

    • Author(s)
      Yingfei Xiong, 胡振江, Haiyan Zhao, Hui Song, 武市正人, Hong Mei
    • Journal Title

      ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)

      Pages: 315-324

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Type-based Specialization of XML Transformations2009

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

      ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation(PEPM 2009)

      Pages: 61-72

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Consistent Web Site Updating based on Bidirectional Transformation2009

    • Author(s)
      中野圭介, 胡振江, 武市正人
    • Journal Title

      International Journal on Software Tools for Technology Transfer 11

      Pages: 453-468

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Supporting Automatic Model Inconsistency Fixing2009

    • Author(s)
      Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
    • Journal Title

      ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009)

      Pages: 315-324

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Supporting Parallel Updates with Bidirectional Model Transformations2009

    • Author(s)
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      International Conference on Model Transformation (ICMT 2009)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] 並列プログラムの候補生成と適合性検査による並列化2009

    • Author(s)
      森畑明昌,松崎公紀,胡振江,武市正人
    • Journal Title

      情報処理学会論文誌, プログラミング Vol.2(2)

      Pages: 132-143

    • NAID

      110007970896

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations.2008

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

      Higher-Order and Symbolic Computation. Vol.21

      Pages: 89-118

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出2008

    • Author(s)
      松崎 公紀、胡 振江、武市 正人
    • Journal Title

      情報処理学会論文誌 Vol.49,No.SIG3,PRO36

      Pages: 16-27

    • NAID

      110006684627

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出2008

    • Author(s)
      松崎公紀,胡振江,武市正人
    • Journal Title

      情報処理学会論文誌 Vol.49, No.SIG3, PRO36

      Pages: 16-27

    • NAID

      110006684627

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] Towards Automatic Model Synchronization from Model Transformations.2008

    • Author(s)
      Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei.
    • Journal Title

      22nd IEEE/ACM International Conference on Automated Software Engineering.

      Pages: 164-173

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations2008

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

      Higher-Order and Symbolic Computation 21

      Pages: 89-118

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations2008

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

      Higher-Order and Symbolic Computation Vol. 21

      Pages: 89-118

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Towards Automatic Model Synchronization from Model Transformations2007

    • Author(s)
      Yingtel Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
    • Journal Title

      22nd IEEE/ACM International Conference on Automated Software Engineering November5-9,2007

      Pages: 164-173

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Towards Automatic Model Synchronization from Model Transformations2007

    • Author(s)
      Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
    • Journal Title

      22nd IEEE/ACM International Conference on Automated Software Engineering

      Pages: 164-173

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] A Web Service Architecture for Bidirectional XML Updating2007

    • Author(s)
      Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management June16-18,2007

      Pages: 721-732

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays2007

    • Author(s)
      Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    • Journal Title

      International Journal of Parallel Programming(UPP), Sprnger Volume35,Number6

      Pages: 615-658

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] ホケルトンによるXPathクエリの並列化とその評価2007

    • Author(s)
      野村 芳明、江本 健斗、松崎 公紀、胡 振江、武市 正人
    • Journal Title

      コンピュータソフトウェア 24(3)

      Pages: 51-62

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays2007

    • Author(s)
      Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    • Journal Title

      International Journal of Parallel Programming (IJPP) Volume 35, Number 6, Springer

      Pages: 615-658

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] 木スケルトンによるXpathクエリの並列化とその評価2007

    • Author(s)
      野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
    • Journal Title

      コンピュータソフトウエア 24(3)

      Pages: 51-62

    • NAID

      130004638880

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] Parallel Skeletons for Manipulating General Trees2006

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

      Parallel Computing (Elsevier) Vol.32, No.7-8

      Pages: 590-603

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] Implementation of a File Manager based on Bidirectional Transformation on Trees(In Japanese)2006

    • Author(s)
      K.Matsuda, N.Ohkawa, Y.Nomura, N.Morita, K.Kakehi, Z.Hu, M.Takeichi
    • Journal Title

      Journal of Information Processing Society of Japan 47,PRO28(In press)

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006

    • Author(s)
      Kiminori Matsuzaki, Zhenjing Hu, Masato Takeichi
    • Journal Title

      18^t^h ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006), Cambridge, MA, USA, July 30-August 2

      Pages: 39-48

    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] 木スケルトンによるXPathクエリの並列化とその評価2006

    • Author(s)
      野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
    • Journal Title

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

    • NAID

      130004638880

    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] Surrounding Theorem : Developing Parallel Programs for Matrix-Convolutions2006

    • Author(s)
      Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      European Conference on Parallel Computing(EuroPar2006), Drcsden, Germany, August 29-September 2, LNCS 4128, Springer 4128

      Pages: 6051-614

    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] Bidirectionalizing Tree Transformation Languages : A Case Study2006

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

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

    • NAID

      130004892052

    • Data Source
      KAKENHI-PROJECT-16016213
  • [Journal Article] Parallel Skeletons for Manipulating General Trees2006

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

      Parallel Computing Vol.32, No.7-8

      Pages: 590-603

    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] 木上の双方向変換を利用したファイルマネジャの実現.2006

    • Author(s)
      松田一孝, 大川徳之, 野村芳明, 森田直幸, 筧一彦, 胡振江, 武市正人
    • Journal Title

      情報処理学会論文誌 47・PRO28(印刷中)

    • NAID

      110004078714

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] 木上の双方向変換を利用したファイルマネージャの実現2006

    • Author(s)
      松田一孝, 大川徳之, 野村芳明, 森田直幸, 筧一彦, 胡振江, 武市正人
    • Journal Title

      情報処理学会論文誌 Vol.47, No.SIG 2 (PRO28)

      Pages: 84-98

    • NAID

      110004078714

    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案2005

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

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

    • NAID

      110002769805

    • Data Source
      KAKENHI-PROJECT-16016213
  • [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

    • Data Source
      KAKENHI-PROJECT-16016213
  • [Journal Article] An Enviromnent for Maintaining Computation Dependency in XML Documents2005

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

      ACM Symp. On Document Engineering (DocEng2005)

      Pages: 42-51

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案2005

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

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

    • NAID

      110002769805

    • Data Source
      KAKENHI-PROJECT-17300005
  • [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

    • Data Source
      KAKENHI-PROJECT-16016213
  • [Journal Article] iDocument Builder : An Environment for Building XML-Based Interactive Teaching Materials2005

    • Author(s)
      Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      The 3^<rd> International Conf.on Education and Information Systems, Technologies and Applications (EISTA2005)

      Pages: 14-17

    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] Systematic Derivation of Tree Contraction Algorithms2005

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

      Parallel Processing Letters Vol. 15, No. 3

      Pages: 321-336

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] iDocument Builder : An Environment for Building XML-Based Interactive Teaching Materials2005

    • Author(s)
      Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)

      Pages: 14-17

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15200001
  • [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

    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] iDocument Builder : An Environment for building XML-Based Interactive Teaching Materials2005

    • Author(s)
      Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)

      Pages: 14-17

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案2005

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

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

    • NAID

      110002769805

    • Data Source
      KAKENHI-PROJECT-16016213
  • [Journal Article] 木スケルトンによるXPathクエリの並列化とその評価2005

    • Author(s)
      野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
    • Journal Title

      日本ソフトウェア科学会第22回大会,東北大学青葉山キャンパス, 2005年9月13日(火)〜15日(木)

    • NAID

      130004638880

    • Data Source
      KAKENHI-PROJECT-17300005
  • [Journal Article] An Environment for Maintaining Computation Dependency in XML Documents2005

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

      Proc.ACM Symposium on Document Engineering(DocEng 2005)

      Pages: 42-51

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] An Environment for Maintaining Computation Dependency in XML Documents2005

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

      ACM Symp.On Document Engineering (DocEng2005)

      Pages: 42-51

    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] 決定論的2階パターンとプログラム変換への応用2004

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

      コンピュータソフトウェア 21・3

      Pages: 71-76

    • NAID

      130004549029

    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] Bidirectionalizing Tree Transformations2004

    • Author(s)
      Z.Hu, K.Emoto, S-C Mu, M.Takeichi
    • Journal Title

      International Workshop on New Approaches to Software Construction(WNASC2004)

      Pages: 3-22

    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] An algebraic approach to bi-directional updating problem2004

    • Author(s)
      S-C Mu, Z.Hu, M.Takeichi
    • Journal Title

      The 2nd Asian Symposium on Programming Languages and Systems(APLAS52004)

      Pages: 2-20

    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] Deterministic Second-order Patterns2004

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

      Information Processing Letters 89・6

      Pages: 309-314

    • Data Source
      KAKENHI-PROJECT-16016213
  • [Journal Article] A programmable editor for developing structured documents based on bidirectional transformation2004

    • Author(s)
      Z.Hu, S-C Mu, M.Takeichi
    • Journal Title

      Partial Evaluation and Semantics-Based Program Manipulation (PEPM'04), ACM Press

      Pages: 178-189

    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] An injective language for reversible computation2004

    • Author(s)
      S-C Mu, Z.Hu, M.Takeichi
    • Journal Title

      Mathematics for Programming Construction(MPC2004), Springer LNCS3125

      Pages: 289-313

    • Data Source
      KAKENHI-PROJECT-15200001
  • [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

    • Data Source
      KAKENHI-PROJECT-16016213
  • [Journal Article] 決定論的2階パターンとプログラム変換への応用2004

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

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

      Pages: 71-76

    • NAID

      130004549029

    • Data Source
      KAKENHI-PROJECT-16016213
  • [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

    • Data Source
      KAKENHI-PROJECT-16016213
  • [Journal Article] Deterministic Second-order Patterns2004

    • Author(s)
      T.Yokoyama, Z.Hu, M.Takeichi
    • Journal Title

      Information Processing Letters 89・6

      Pages: 309-314

    • Data Source
      KAKENHI-PROJECT-15200001
  • [Journal Article] Grammar-based Approach to Invertible Programs

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

      19th European Symposium on Programming (ESOP), LNCS6012 2010

      Pages: 448-467

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Journal Article] Supporting Parallel Updates with Bidirectional Model Transformations.

    • Author(s)
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi.
    • Journal Title

      International Conference on Model Transformation (ICMT 2009).

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] Generators-of-generators Library with Optimization Capabilities in Fortress2010

    • Author(s)
      Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
    • Organizer
      16th International European Conference on Parallel and Distributed Computing
    • Place of Presentation
      Ischia, Italy
    • Data Source
      KAKENHI-PROJECT-22650006
  • [Presentation] Program Calculation in Coq.2010

    • Author(s)
      Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
    • Organizer
      Thirteenth International Conference on Algebraic Methodology And Software Technology
    • Place of Presentation
      Quebec City, Canada
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] Genera-tors-of-generators Library with Op-timization Capabilities in Fortress2010

    • Author(s)
      Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsu-zaki, Masato Takeichi
    • Organizer
      16th International European Con-ference on Parallel and Distributed Computing
    • Place of Presentation
      Ischia, Italy
    • Data Source
      KAKENHI-PROJECT-22650006
  • [Presentation] Program Calculation in Coq2010

    • Author(s)
      Julien Tesson, Hideki Hashimoto., Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
    • Organizer
      Thirteenth International Conference on Algebraic Methodology And Software Technology
    • Place of Presentation
      Quebec City,Canada
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] Configuring Bidirectional Programs with Functions2009

    • Author(s)
      Masato Takeichi
    • Organizer
      21st Symposium on Implementation and Application of Functional Languages (IFL2009)
    • Place of Presentation
      Seton Hall University, South Orange NJ, USA
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer2009

    • Author(s)
      Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Organizer
      The 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2009)
    • Place of Presentation
      Savannah, Georgia, USA
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Configuring Bidirectional Programs with Functions.2009

    • Author(s)
      武市正人
    • Organizer
      21st Symposium on Implementation and Application of Functional Languages (IFL2009).
    • Place of Presentation
      Seton Hall University, South Orange NJ, USA.
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] The Third Homomorphism Theorem on Trees : Downward & Upward Lead to Divide-and-Conquer2009

    • Author(s)
      Akimasa Morihata, Kiminori Matsuzaki, ZhenJiangHu, Masato Takeichi
    • Organizer
      The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2009)
    • Place of Presentation
      Savannah, Georgia, USA
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Supporting Parallel Updates with Bidirectional Model Transformations2009

    • Author(s)
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
    • Organizer
      International Conference on Model Transformation(ICMT 2009)
    • Place of Presentation
      ETH Zurich, Switzerland
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] Configuring Bidirectional Programs with Functions2009

    • Author(s)
      Masato Takeichi
    • Organizer
      21st Symposium on Implementation and Application of Functional Languages(IEL2009)
    • Place of Presentation
      Seton Hall University, South Orange NJ, USA
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] 内部参照をもつXML文書の双方向変換による編集2009

    • Author(s)
      木津幸子, 武市正人, 胡振江
    • Organizer
      日本ソフトウェア科学会第26回大会
    • Place of Presentation
      島根大学
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer2008

    • Author(s)
      Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学 大学院ビジネス科学研究科(東京キャンパス)
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Consistent Web Site Updating based on Bidirectional Transformation2008

    • Author(s)
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • Organizer
      10th IEEE International Symposium on Web Site Evolution (WSE 2008)
    • Place of Presentation
      Beijing, China
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] Consistent Web Site Updating based on Bidirectional Transformation.2008

    • Author(s)
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • Organizer
      10th IEEE International Symposium on Web Site Evolution (WSE 2008).
    • Place of Presentation
      Beijing, China.
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] A Generative Matrix Library in Fortress Relieves Programmers' Headache!2008

    • Author(s)
      Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学 大学院ビジネス科学研究科(東京キャンパス)
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Consistent Web Site Updating based on Bidirectional Transformation2008

    • Author(s)
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • Organizer
      10th IEEE International Symposium on Web Site Evolution(WSE
    • Place of Presentation
      Beijing, China
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] A Generative Matrix Library in Fortress Relieves Programmers' Headache!2008

    • Author(s)
      Kento Emoto, ZhenJiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, MasatoTakeichi
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学大学院ビジネス科学研究科(茨城)
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] The Third Homomorphism Theorem on Trees : Downward & Upward Lead to Divide-and-Conquer2008

    • Author(s)
      Akimasa Morihata, Kiminori Matsuzaki, ZhenjiangHu, Masato Takeichi
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学大学院ビジネス科学研究科(茨城)
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Associativity for Parallel Tree Computation2007

    • Author(s)
      松崎 公紀, 森畑 明昌, 胡 振江, 武市 正人
    • Organizer
      日本ソフトウェア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Bi-X Core : A General-Purpose Bidirectional Transformation Language2007

    • Author(s)
      Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong
    • Organizer
      第24回日本ソフトウェア科学会大会
    • Place of Presentation
      奈良
    • Year and Date
      2007-09-12
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] 近傍要素を必要とするスケルトンプログラムの最適化2007

    • Author(s)
      江本健斗, 松崎公紀, 胡振江, 武市正人
    • Organizer
      第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)
    • Place of Presentation
      石川県加賀市山
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007

    • Author(s)
      Kazutaka Morita, Akinlasa Morihata, Kiminori Matsuzaki, Zhenjang Hu, Masato Takeichi
    • Organizer
      ACM SIGPLAN2007Conference on Programming Language Design and ImplernentatiDn(PLDI2007)
    • Place of Presentation
      San Diego,CA,USA
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007

    • Author(s)
      Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Organizer
      ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007) (pp.146-155)
    • Place of Presentation
      San Diego, CA, USA
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Bi-X Core : A General-Purpose Bidirectional Transformation Language.2007

    • Author(s)
      Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong.
    • Organizer
      第24回日本ソフトウェア科学会大会
    • Place of Presentation
      奈良
    • Year and Date
      2007-09-12
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] リスト上の最大マーク付け問題を解く並列プログラムの導出2007

    • Author(s)
      松崎公紀, 胡振江, 武市正人
    • Organizer
      情報処理学会 第66回プログラミング研究会
    • Place of Presentation
      名古屋大学 大学院多元数理科学研究科
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Bi-X Core:A General-Purpose Bidirectional Transformation Language2007

    • Author(s)
      Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata. Yingfei Xiong
    • Organizer
      第24回日本ソフトウェア科学会大会
    • Place of Presentation
      奈良
    • Year and Date
      2007-09-12
    • Data Source
      KAKENHI-PROJECT-19200002
  • [Presentation] Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions2006

    • Author(s)
      Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Organizer
      European Conference on Parallel Computing (EuroPar 2006) (LNCS 4128, Springer. Pp.605-614)
    • Place of Presentation
      Dresden, Germany
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006

    • Author(s)
      Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Organizer
      18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006)
    • Place of Presentation
      Cambridge, MA, USA
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] 弱逆関数の自動導出によるプログラムの並列化2006

    • Author(s)
      森田 和孝, 森畑 明昌, 胡 振江, 武市 正人
    • Organizer
      日本ソフトウェア科学会第23回大会
    • Place of Presentation
      東京大学
    • Data Source
      KAKENHI-PROJECT-17300005
  • [Presentation] 木スケルトンによるXpathクエリの並列化とその評価2005

    • Author(s)
      野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
    • Organizer
      日本ソフトウェア科学会第22回大会
    • Place of Presentation
      東北大学 青葉山キャンパス
    • Data Source
      KAKENHI-PROJECT-17300005
  • 1.  HU Zhenjiang (50292769)
    # of Collaborated Projects: 11 results
    # of Collaborated Products: 93 results
  • 2.  IWASAKI Hideya (90203372)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 3.  YONEZAWA Akinori (00133116)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 4.  USHIJIMA Kazuo (40037750)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 5.  MIYAMOTO Eiichi (00001173)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 6.  KATAYAMA Takuya (70016468)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 7.  MATSUZAKI Kiminori (30401243)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 31 results
  • 8.  KAWAI Satoru (50011664)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 9.  TANAKA Tetsuro (60251360)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 10.  高野 明彦 (00333542)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 11.  KANEKO Keiichi (20194904)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 12.  ONOUE Yoshiyuki (80292770)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 13.  大槻 説乎 (70037745)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 14.  田中 稔 (40112023)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 15.  和田 英一 (50010723)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 16.  AGUSA Kiyoshi (90026360)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 17.  ITO Takayasu (80124551)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 18.  KAKEHI Kazuhiko (90345116)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 10 results
  • 19.  EMOTO Kento (00587470)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 20.  HASEGAWA Toshiharu (40025911)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  HACHIMURA Kozaburo (70124229)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  SUGIE Hidezumi (30024277)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  YAMADA Osamu (70002897)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  NAGATA Hiroyasu (70000875)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  TAKEI Shigeo (30004360)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  MATSUOKA Satoshi (20221583)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  YAMAGUCHI Kazunori (80158097)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  SHIBAYAMA Etsuya (80162642)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  FUTAMURA Yoshihiko (50238648)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  TANIGUCHI Ken'ichi (00029513)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  TANAKA Yayoi (50372404)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  田中 久美子 (10323528)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  川添 良幸 (30091672)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  太田 康広 (70420825)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  高野 昭彦
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi