> 情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野