弱小F1チームのケータハムが仮想化で実現した「意外なコストダウン」（関連情報）：F1チームのIT事情