【豚肉入り味噌汁】豚汁(とんじる)は味噌汁なのだろうか?