>>6
>先頭に∀をつける定式化と箱の中身をδ分布にするのは全く同値じゃん
意味不明