小津 泰生は2019年未踏ターゲット、2020年未踏ターゲット採択者。

テーマ: 数式処理を用いたアニーリングマシン向けプログラミング言語およびその処理系の開発

PM: 棚橋 耕太郎

【区分1】アニーリングマシン向けソフトウェア開発

テーマ: アニーリングを用いた効率的な制約充足問題ソルバの実装

応用・実用化枠

PM: 棚橋 耕太郎

【区分1】アニーリングマシン向けソフトウェア開発

経歴

名古屋大学 理学研究科（2021年3月時点）