[ISBN 978-4-903092-07-2] JAIST Press, Ishikawa, Japan