[ISBN 4-924861-09-X] Published by JAIST Press, Ishikawa, Japan