Tetsuo IDA


Collaborative Constraint Functional Logic Programming System in an Open Environment
Norio KOBAYASHI Mircea MARIN Tetsuo IDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/01/01
Vol. E86-D  No. 1  pp. 63-70
Type of Manuscript:  PAPER
Category: Cooperation in Distributed Systems and Agents
Keyword: 
equational solvingfunctional logic programmingsolver collaborationconstraint solvingCORBA
 Summary | Full Text:PDF(335.1KB)

Modelling Integer Programming with Logic: Language and Implementation
Qiang LI Yike GUO Tetsuo IDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/08/25
Vol. E83-A  No. 8  pp. 1673-1680
Type of Manuscript:  PAPER
Category: Numerical Analysis and Optimization
Keyword: 
modellingpredicate logicpropositional logicinteger programming
 Summary | Full Text:PDF(442.9KB)

ILIN: An Implementation of the Integer Labeling Algorithm for Integer Programming
Qiang LI Fred JANSSEN Zaifu YANG Tetsuo IDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/02/25
Vol. E81-A  No. 2  pp. 304-309
Type of Manuscript:  PAPER
Category: Numerical Analysis and Optimization
Keyword: 
simplexinteger pointinteger labeling algorithminteger linear programming
 Summary | Full Text:PDF(557.7KB)

Outside-In Conditional Narrowing
Tetsuo IDA Satoshi OKUI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1994/06/25
Vol. E77-D  No. 6  pp. 631-641
Type of Manuscript:  PAPER
Category: Automata, Languages and Theory of Computing
Keyword: 
conditional narrowingoutside-in narrowingcompleteness of narrowingfunctional-logic programming
 Summary | Full Text:PDF(911KB)