番外補足／石工具の事
石工具はいろいろな種類がありますが、私が使っているのはこれだけです。
横浜市の杉本吉十郎さんで購入しています。私は店舗にて買っていますが、メールでの注文にも対応してもらえるようです。
コヤスケは石を切る道具です。（左）左が新品のコヤスケ。右が使い込んで、すり減ってしまったコヤスケ。
（右）石頭ハンマーでコヤスケを叩いて石を切ります。
ふたつのコヤスケを上から見てみました。本当に良く使いました。
（左）鉄平トンカチ、これも石を切る道具です。(右）左から丸ノミ、石頭ハンマー