2008 年東京大学 立体図形の体積 <問題> 正八面体の