2006-08-09 人間がやるようなグラフ描画法 進展 Dagstuhlで議論した問題の続き。下界が更新できた、との報告がメールでありました。 まだ証明を確認してないですけど、なかなか面白くなってきました。 自分もがんばらないと。