,区切りの文字列からInt型の配列に修正したい場合があるとします。

その場合はJavaのStreamAPIを利用すると簡単に実現できます。