Chapter09 Alloyによるアプリ作成（タスク管理）：タスクモデル作成
トップページ作成