綴り間違い等を修正．

すべてのコースのInventoryManagementとSimpleTwitterの仕様を書いた．

すべてのコースのAlloyとDTRAMの概要説明を書いた．

DTRAM の概要説明を書き終えました．

Alloy の概要説明を書き終えました．

Alloyの説明を途中まで書いた．