1965年に日本初演。