2008 |
11 | EE | Takahiko Ishikawa,
Hiromasa Oku,
Masatoshi Ishikawa:
Mobile microscope: a new concept for hand-held microscopes with image stabilization.
ICRA 2008: 3130-3134 |
2007 |
10 | EE | Hiroshi Mabuchi,
Kiyoshi Akama,
Katsunori Miura,
Takahiko Ishikawa:
Constraint Solving Specializations for Equality on an Interval-Variable Domain.
JACIII 11(2): 210-219 (2007) |
2005 |
9 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Hidekatsu Koike,
Takahiko Ishikawa:
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain.
IC-AI 2005: 627-636 |
8 | EE | Hidekatsu Koike,
Takahiko Ishikawa,
Kiyoshi Akama,
Masaki Chiba,
Katsunori Miura:
Developing an e-learning System which enhances students' academic motivation.
SIGUCCS 2005: 147-150 |
2004 |
7 | | Yoshinori Shigeta,
Kiyoshi Akama,
Pongtawat Chippimolchai,
Takahiko Ishikawa:
A Comparison of Constraint Handling Rules with Equivalent Transformation Rules.
MSV/AMCS 2004: 345-351 |
2003 |
6 | EE | Takahiko Ishikawa,
Kiyoshi Akama,
Hiroshi Mabuchi:
How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm.
JACIII 7(3): 260-267 (2003) |
5 | EE | Hiroshi Mabuchi,
Kiyoshi Akama,
Takahiko Ishikawa,
Hidekatsu Koike:
Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation.
JACIII 7(3): 306-314 (2003) |
2002 |
4 | | Yuichi Yamamoto,
Kiyoshi Akama,
Masaharu Munetomo,
Takahiko Ishikawa:
A Foundation for Algorithm Generation by Transforming Meta-Descriptions.
FSKD 2002: 712- |
3 | | E. Boyd,
Kiyoshi Akama,
Takahiko Ishikawa,
Hidekatsu Koike:
Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation.
IC-AI 2002: 1040-1046 |
2 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Takahiko Ishikawa,
Y. Yamamoto:
Framework for Synthesis by Unfolding of Declarative Programs.
IC-AI 2002: 1060-1066 |
1 | | Kiyoshi Akama,
Hiroshi Mabuchi,
Takahiko Ishikawa,
E. Boyd:
A Basic Framework for Infinite Computation.
IC-AI 2002: 1080-1086 |