研究 研究分野 ユーザインタフェース 情報可視化 制約プログラミング 研究テーマ 数理的アプローチによる視覚的・対話的システムの構築法 研究発表 (2013年度以降) 修士論文・卒業論文 主要業績 (外部サイト) Researchmap (外部サイト)