モデル Isabelle チューブ (0)