年間1兆円。人件費はそのうち何割くらいで、それでどれくらいのエンジニアを雇えるのだ?