2007 - 2010 Bidirectional Transformation Mechanisms and its Application
2005 - 2008 A Constructive Approach to Structured Parallel Programming
2004 - 2005 連想計算の代数に基づく並列連想計算方式の研究
2003 - 2005 Calculation Carrying Document Processing Language and its Application
2003 - 2003 連想計算の代数に基づく並列連想計算方式の研究
2002 - 2003 少数キーによるテキスト入力手法の開発と評価に関する研究
1999 - 2001 Implementation of Constructive Parallel Programming Models
1999 - 2001 Implementation of Program Calculator System
2000 - 2000 Principles for Constructing Evolutionary Software
1998 - 2000 Implementation of a Program Calculation System
1997 - 1999 Research on Fundamental Mechanisms for Software Evolution
1997 - 1998 Program Optimization Based on Constructive Algorithmics
1996 - 1997 Multimedia User Interface based on Paradigm Integration
1996 - 1996 発展機構を備えたソフトウェアの構成原理にかかわる総合研究
1995 - 1996 Research on Self-evolution Mechanisms of Computer Programs
1994 - 1996 Implementation of Parallel Functional Programming Systems
1994 - 1994 遅延メモ化機構によるプログラムの部分計算に関する研究
1993 - 1993 高機能高品質ソフトウェアの構成原理に関する研究 総括班
1992 - 1992 高機能ユーザーインターフェースの研究
1991 - 1991 高機能高品質ソフトウェアの構成原理に関する研究 総括班
1991 - 1991 高機能ユ-ザ-インタ-フェ-スの研究
1990 - 1990 高機能高品質ソフトウェアの構成原理に関する研究 総括班
1990 - 1990 高機能ユ-ザ-インタ-フェ-スの研究
1989 - 1990 Research on a Methodology of Promoting General Education About Information Processing.
1989 - 1990 Parallel Evaluation of Functional Programs
1980 - 1980 拡張可能言語に基づいたプログラミングシステムの設計に関する研究
並列関数プログラミングシステムの構築
構成的アルゴリズム論に関する研究
関数プログラミングに関する研究
Implementation of Parallel Functional Systems
Study on Constructive Algorithmics
Study on Functional Programming
Show all
Papers (179):
Yasuhito Asano, Yang Cao, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, et al. Bidirectional Collaborative Frameworks for Decentralized Data Management. Communications in Computer and Information Science. 2022. 13-51
Masato Takeichi. BCDS Agent: An Architecture for Bidirectional Collaborative Data Sharing. Computer Software. 2021. 38. 3. 41-57
Makoto onizuka, Yasunori Ishihara, Masato Takeichi. Towards Smart Data Sharing by Updatable Views. Workshop on Software Foundations for Data Interoperability (SFDI). 2020. 165-171
Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa. Data Integration Models and Architectures for Service Alliances. Software Foundations for Data Interoperability and Large Scale Graph Data Analytics - 4th International Workshop, SFDI 2020, and 2nd International Workshop(SFDI/LSGDA@VLDB). 2020. 152-164
Robert Glueck, Fritz Heiglein, Zhenjiang Hu, Masato Takeichi. Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software. Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, Technical Report no. 2011/01, DIKU, University of Copenhagen, 2011. 2011
Program Parallelization by Candidate Generation and Conformity Testing. 2009. 2. 2. 132-143