ストライクウィッチーズとかいうパンツアニメ、思ったより面白い