多分、最初は凸ごとに交流解法するつもりだったんだろうね