【酒屋の在庫管理システム（InventoryManagement）の仕様説明】

本実験で取り組んでいただく4つの課題のうちの残り2つは，簡単な酒屋の在庫管理システムを対象にしたものです．以降は，この酒屋の在庫管理システムを InventoryManagement と呼びます．
以下に，InventoryManagement の仕様を示します．

InventoryManagement の仕様

InventoryManagement は，ある酒屋の在庫管理を行うシステムです．酒類の商品毎に在庫数を管理することができます． InventoryManagement の仕様は次の通りです．

• 酒類の商品の在庫が倉庫に保管されている．
• 各商品は，商品idによって一意に特定される．
• 商品ごとに商品名が定義されている．
• 商品ごとに在庫数が記録されている．
• 倉庫は商品が1つも登録されていない状態を初期状態とする．
• itemRegistration 操作によって，指定した商品idで，指定した名前の商品を，指定した初期数量で登録することができる．
• receivingOrShipping 操作によって，指定した商品idの商品を，指定した数量だけ出荷または入荷することができる．数量が正のときは入荷，負の時は出荷を意味する．