概要

ここでは、グラフと木の美的描画問題を扱っている． 美的描画とは、一定の条件のもとで、図形を最小領域に描画する問題である．本研究室ではいくつかの美的条件と計算量との関係を明らかにした．同時に、描画 アルゴリズムを組み合わせアルゴリズム、書き換え系、制約論理など多方面から研究している．

発表箇所

この分野も世界的に高く評価されていて、組み合わせアルゴリズムをＩＦＩＰ ＷＣＣ９４（ハンブルグ）で発表したり、制約論理国際会議（１９９５年）で招待発表を行ったりしている．