A Foundation for Algorithm Generation by Transforming Meta-Descriptions. - Yuichi Yamamoto; Kiyoshi Akama; Masaharu Munetomo; Takahiko Ishikawa (FSKD, 2002)

A Basic Framework for Infinite Computation. - Kiyoshi Akama; Hiroshi Mabuchi; Takahiko Ishikawa; E. Boyd (IC-AI, 2002)

Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. - E. Boyd; Kiyoshi Akama; Takahiko Ishikawa; Hidekatsu Koike (IC-AI, 2002)

Framework for Synthesis by Unfolding of Declarative Programs. - Hiroshi Mabuchi; Kiyoshi Akama; Takahiko Ishikawa; Y. Yamamoto (IC-AI, 2002)

How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. - Takahiko Ishikawa; Kiyoshi Akama; Hiroshi Mabuchi (J. Adv. Comput. Intell. Intell. Informatics, 2003)

Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. - Hiroshi Mabuchi; Kiyoshi Akama; Takahiko Ishikawa; Hidekatsu Koike (J. Adv. Comput. Intell. Intell. Informatics, 2003)

A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. - Yoshinori Shigeta; Kiyoshi Akama; Pongtawat Chippimolchai; Takahiko Ishikawa (MSV/AMCS, 2004)

Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. - Hiroshi Mabuchi; Kiyoshi Akama; Hidekatsu Koike; Takahiko Ishikawa (IC-AI, 2005)

Developing an e-learning System which enhances students' academic motivation. - Hidekatsu Koike; Takahiko Ishikawa; Kiyoshi Akama; Masaki Chiba; Katsunori Miura (SIGUCCS, 2005)

Problem solving by equivalent transformation of negative constraints. - Hiroshi Mabuchi; Kiyoshi Akama; Hidekatsu Koike; Takahiko Ishikawa (SMC, 2005)

Constraint Solving Specializations for Equality on an Interval-Variable Domain. - Hiroshi Mabuchi; Kiyoshi Akama; Katsunori Miura; Takahiko Ishikawa (J. Adv. Comput. Intell. Intell. Informatics, 2007)

Mobile microscope: a new concept for hand-held microscopes with image stabilization. - Takahiko Ishikawa; Hiromasa Oku; Masatoshi Ishikawa (ICRA, 2008)