可換環論における計算手法 ‐ Mercari: Shop from Japan