甘利俊一 | 東京大学大学院工学系研究科計数工学専攻:理化学研究所国際フロンティア研究システム情報処理研究グループ