ADVとSLGとギャルゲの定義による