円陣とはなんだったのか