すべての具体例を出力できるマシン