>>713
同じ製法で作ったなら八丁味噌でいいと思うけどなあ
>>714
八丁味噌ってのは赤味噌の中の分類のひとつだから
赤味噌全体を八丁味噌と呼んでいい、となるとちょっとよろしくないね