あれこれときのこを見ているうちに、赤や黄色、紫など、さまざまな色のものがあることを知るようになりましたが、緑色のきのこは初めてだったので、妙に印象に残りました。