プラハ城とは…城壁の中の建物全体のことのようです