This Festschrift volume is published in honor of Takao Terano on the occasion of his retirement. ...