レコードをメール: Theory and practice of computation