ドクター蛮はドクターバン（メーテル、エメラルダスの父）とは別人なのだろうが、紛らわしいので似た名前は付けるべきではない
「キャプテンハーロック」のドクターゼロで良いと思うんだよね