科学技術振興機構FIRST合原最先端数理モデルプロジェクト:東京工業大学大学院情報理工学研究科