.ggbデータ
<問題の考え方>
y軸に垂直な切り口での断面積を計算して、y軸方向に積分してやれば体積は求まりますが、
0≦a≦1/8のときは球が平面y=1の下側に存在し、a≧1/8のときは球の一部が平面y=1の上部にはみ出すため、場合分けが必要です。