Kazuo Murota (The Institute Of Statistical Mathematics, Japan; The University Of Tokyo, Japan & Kyoto