15:45-16:15 佐伯(東工大):
属性つきゴール指向分析法