Masato Takeichi

Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software

Robert Glueck, Fritz Heiglein, Zhenjiang Hu, Masato Takeichi

Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, Technical Report no. 2011/01, DIKU, University of Copenhagen, 2011., Jan, 2011

Program Parallelization by Candidate Generation and Conformity Testing

2(2) 132-143, Mar 23, 2009

マルチコアを活かすお手軽並列プログラミング 1)マルチコア計算機と基本的な並列化技法

松崎公紀, 武市正人

情報処理, 49(12) 1363-1368, Dec 15, 2008

1. Introduction to Multicore Environments and Parallelization Techniques(<Special Feature>Easy Parallel Programming on Multi-Core Environments)

MATSUZAKI Kiminori, TAKEICHI Masato

IPSJ Magazine, 49(12) 1363-1368, Dec 15, 2008

Beanbag: Operation-based Synchronization with Intra-relations

Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Song Hui, Hong Mei

Technical Report GRACE-TR-2008-04, Dec, 2008

学と産の連携による基盤ソフトウェアの先進的開発{第1部}高い生産性を持つ高信頼ソフトウェア作成技術の開発 6.双方向変換による高信頼構造化文書処理

武市正人

情報処理, 49(11) 1265-1270, Nov 15, 2008

6. Dependable Structured Document Processing Based on Bidirectional Transformation(<Special Feature>Development of Advanced Development of Fundamental Software through Tight Collaboration of Academia and Industry)

TAKEICHI Masato

IPSJ Magazine, 49(11) 1265-1270, Nov 15, 2008

Generator-based Fortress GG Library

1(3) 35-35, Oct 27, 2008

Bidirectional XML Transformation with Bi-X

LIU Dongxi, HAYASHI Yasushi, NAKANO Keisuke, HU Zhenjiang, TAKEICHI Masato

70(5) "5-395"-"5-396", Mar 13, 2008

依存関係記述スキーマによる双方向XMLアプリケーションの開発

林康史, LIU Dongxi, 中野圭介, HU Zhenjiang, 武市正人

情報処理学会全国大会講演論文集, 70th(5) 5.393-5.394-394, Mar 13, 2008

双方向変換に基づくウェブパブリッシング支援システムVu‐X

中野圭介, LIU Dongxi, 林康史, HU Zhenjiang, 武市正人

情報処理学会全国大会講演論文集, 70th(5) 5.391-5.392, Mar 13, 2008

Generator-based GG Fortress Library

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi

Technical Report METR2008-16, Mar, 2008

Generator-based GG Fortress Library --Collection of GGs and Theories--

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi

Technical Report METR2008-17, Department of Mathematical Informatics, University of Tokyo, 2008., Mar, 2008

Bi-CQ: A Bidirectional Code Query Language

Dongxi Liu, Yingfei Xiong, Zhenjiang Hu, Masato Takeichi

Participants Workshop of GTTSE Summer School, Braga, Portugal, 2007, 348-349, Jul, 2007

A Bidirectional Transformation Appraoch towards Automatic Model Transformation

Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Masato Takeichi

Participants Workshop of GTTSE Summer School, Braga, Portugal, 2007, 359-360, Jul, 2007

Bidirectional Multiscale Neural Simulation and A Hundred Hour Workshop : Information Science and Technology Strategic Core

OTAKE Mihoko, SATO Tomomasa, TAKEICHI Masato

Journal of the Robotics Society of Japan, 25(3) 330-333, Apr 15, 2007

Introduction of the Department of Creative Informatics, Graduate School of Information Science and Technology, University of Tokyo(Laboratory)

Takeichi Masato

Bulletin of the Japan Society for Industrial and Applied Mathematics, 17(1) 77-78, Mar 26, 2007

Domain-Specific Optimization for Skeleton Programs Involving Neighbor Elements

Kento EMOTO, Kiminori MATSUZAKI, Zhenjiang HU, Masato TAKEICHI

Technical Report METR 2007-05, Jan, 2007

A Java Library for Bidirectional XML Transformation

Dongxi Liu, Zhenjiang Hu, Masato Takeichi

JSSST Computer Software, 24(2) 164-177, 2007

構造化文書の依存関係記述のための拡張スキーマ

林康史, 劉東喜, 中野圭介, LIU Dongxi, 武市正人

日本ソフトウエア科学会大会講演論文集(CD-ROM), 24th 1B-2, 2007

Misc.

Menu

Coauthors