Lambdaカクテル
id:Windymelt
事前条件と事後条件、不変条件をタスク分解に応用すると便利そう
最近の仕事で試してみているのが、タスクを実行可能なレベルに分解するときに、事前条件と事後条件とをヘッダとフッタのようにして、それで1つのタスクという形に分解する、というもの。 例えば「味噌汁作る」タスクを分解したいときは突然「豆腐を鍋に入れる」みたいにせずに、こうする: 事前条件 豆腐を入れたいはず 豆…