学術変革（B) 組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチの融合