グラフ不変数による図形変形問題の解決過程の分析:実験分析システムの紹介