レコードをメール: Higher dimensional gravity and Farkas property in oriented matroid theory