IBM、7,800人の雇用を削減しAIで置き換える