紅葉谷公園にある説明板によると、総工事費7,933万円、うち文部省分が2,115万円。