{希哲13年7月7日}{希哲13年7月7日のツイスト}{ツイスト}{抽象度}{型付け}{論組言語}(6)