レコードをメール: Design of nucleic acid sequences for DNA computing based on a thermodynamic approach