檜洞丸(ひのきぼらまる)は、丹沢山地西部、神奈川県相模原市と同県足柄上郡山北町の境にある標高1,601mの山である。別名、青ヶ岳(あおがたけ)だ。新字体で桧洞丸と表記されることもある。丹沢山地最高峰の蛭ヶ岳から西へ伸びる丹沢主稜にある山であり、丹沢山地で4番目に高い山である。周辺の山々とともに丹沢大山国定公園に指定されている。頂稜を深々としたブナ林に覆われたどっしりとした山容を持つことから西丹沢の盟主と呼ばれる。5月下旬から6月上旬にかけて山を彩るツツジで近年人気の山となっており、多くの登山者が訪れる。

question: 青ヶ島の正式な名前は何?, answer: 檜洞丸