@id:2727
$name:クラフトの不等式