これからはDNA計算だろ？
標準的な定式化ってあるの？Λみたいに。