micro-plannerなどを見たらは手続き的の価値を認め、同大学でもmicro-plannerのサブセット版を実装してその有用性を確認した。