Abstract
In 1996, we began a research project on molecular computers under the new program “Research for the Future” funded by the Japan Society for the Promotion of Science. In this paper, we first summarize the research that has been completed in the field of DNA computing and the research problems that must be overcome. We also report some achievements of our research project in the first two years. We then propose a new direction in research towardsautonomous molecular computers, and describe the author’s work on the implementation of state machines using DNA molecules. We finally discuss the future perspectives on molecular computing based on our experiences.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Adleman, Leonard M., “Molecular Computation of Solutions to Combinatorial Problems,”Science, Vol. 266, pp. 1021–1024, 1994.
Alivisatos, A. Paul, Johnsson Kai P., Peng, Xiaogang, Wilson, Troy E., Loweth, Colin J., Bruchez, Marcel P., Jr. and Schultz, Peter G., “Organization of ‘nanocrystal molecules’ using DNA,”Nature, Vol. 382, pp. 609–611, 1996.
Arita, Masanori, Hagiya, Masami and Suyama, Akira, “Joining and Rotating Data with Molecules,”IEEE International Conference on Evolutionary Computation, pp. 243–248, 1997.
Boneh, Dan, Dunworth, Christopher and Lipton, Richard J., “Breaking DES Using a Molecular Computer,” inDNA Based Computers, Proceedings of a DIMACS Workshop, April 4, 1995, Princeton University,Series in Discrite Mathematics and Theoretical Computer Science, Vol. 27, pp. 37–65, 1996.
Deaton, Russel, Murphy, Randy C., Garzon, Max, Franceschetti, D. R. and Stevens, S. E., Jr., “Good Encodings for DNA-based Solutions to Combinatorial Problems,” inSecond Annual Meeting on DNA Based Computers, Jun. 10–12, 1996, DIMACS Workshop, Princeton University, Dept. of Computer Science, pp. 131–140.
Deaton, Russel, Murphy, Randy C., Rose, J. A., Garzon, Max, Franceschetti, D. R. and Stevens, S. E., Jr., “A DNA-based Implementation of an Evolutionary Search for Good Encodings for DNA Computation,” inProceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC’97), pp. 267–271, 1997.
Ehricht, R., Ellinger, T. and McCaskill, J., “Cooperative amplification of templates by cross-hybridization (CATCH),”Eur. J. Biochem., Vol. 243, pp. 358–364, 1997.
Garzon, Max, Gao, Y., Rose, J. A., Murphy, Randy C., Deaton, Russel, Franceschetti, D. R. and Stevens, S. E., Jr., “In vitro Implementation of Finite-State Machines,” inProc. Workshop on Implementing Automata (WIA’97), to appear in SpringerLNCS.
Gregoriadis, Gregory, ed.,Liposome Technology, Vol. I–III, CRC Press, Boca Raton, Florida, 1984.
Guatelli, J. C., et al, “Isothermal in vitro amplification of nucleic acids by multienzyme reaction modeled after retroviral replication,”Proc. Natl. Acad. Sci. USA, Vol. 87, pp. 1874–1878, 1990.
Hagiya, Masami, Arita, Masanori, Kiga, Daisuke, Sakamoto, Kensaku and Yokoyama, Shigeyuki, “Towards Parallel Evaluation and Learning of Boolean μ-Formulas with Molecules,” inPreliminary Proceedings, 3rd DIMACS Workshop on DNA Based Computers, Jun. 23–25, 1997, University of Pennsylvania, pp. 105–114.
Head, Tom, “Formal Language Theory and DNA: An Analysis of the Generative Capacity of Specific Recombinant Behaviors,”Bull. Math. Biology, Vol. 49, pp. 737–759, 1987.
Karp, Richard, Kenyon, Claire and Waarts, Orli, “Error-resilient DNA computations,”Seventh ACM-SIAM Symposium on Discrete Algorithms, pp. 458–467, 1996.
Kiga, Daisuke, Futamura, Yasuhiro, Sakamoto, Kensaku and Yokoyama, Shigeyuki, “An RNA aptamer to the xanthine/guanine base with a distinctive mode of purine recognition,”Nucleic Acids Research, Vol. 26, pp. 1755–1760, 1998.
Kobayashi, Satoshi, Yokomori, Takashi, Sampei, Gen-ichi and Mizobuchi, Kiyoshi, “DNA Implementation of Simple Horn Clause Computation,”IEEE International Conference on Evolutionary Computation, pp. 213–217, 1997.
Kurtz, Stuart A., Mahaney, Stephen R. Royer, James S. and Simon, Janos, “Biological Computing,” to appear in theComplexity Retrospective II.
Landweber, Laura F. and Lipton, Richard J., “DNA2DNA Computations: A Potential ‘Killer App’?,” inPreliminary Proceedings, 3rd DIMACS Workshop on DNA Based Computers, Jun. 23–25, 1997, University of Pennsylvania, pp. 59–68.
Lipton, Richard J., “DNA Solution of Hard Computational Problems,”Science, Vol. 268, pp. 542–545, 1995.
Mirkin, Chad A., Letsinger, Robert L., Mucic, Robert C. and Storhoff, James J., “A DNA-based method for rationally assembling nanoparticles into macroscopic materials,”Nature, Vol. 382, pp. 607–609, 1996.
Ogihara, Mitsunori and Ray, Animesh, “Simulating Boolean Circuits on DNA Computers,” inProceedings of the 1st International Conference on Computational Molecular Biology, ACM Press, pp. 326–331, 1997.
Morimoto, Nobuhiko, Suyama, Akira and Arita, Masanori, “Solid Phase DNA Solution to the Hamiltonian Path Problem,” inPreliminary Proceedings, 3rd DIMACS Workshop on DNA Based Computers, Jun. 23–25, 1997, University of Pennsylvania, pp. 83–92.
Reif, John H., “Parallel Molecular Computation,” inSeventh Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA’95), pp. 213–223, 1995.
Reif, John H., “Local Parallel Biomolecular Computation,” inPreliminary Proceedings, 3rd DIMACS Workshop on DNA Based Computers, Jun. 23–25, 1997, University of Pennsylvania, pp. 243–264.
Sakakibara, Yasubumi and Ferretti, Claudio, “Splicing on Tree-like Structures,”Preliminary Proceedings, 3rd DIMACS Workshop on DNA Based Computers, Jun. 23–25, 1997, University of Pennsylvania, pp. 348–358.
Sakamoto, Kensaku, Kiga, Daisuke, Komiya, Ken, Gouzu, Hidetaka, Yokoyama, Shigeyuki, Ikeda, Shuji, Sugiyama, Hiroshi and Hagiya, Masami, “State Transitions by Molecules,” inPreliminary Proceedings, Fourth International Meeting on DNA Based Computers, Jun. 15–19, 1998, University of Pennsylvania, pp. 87–99.
Suyama, Akira, “DNA Chips — Integrated Chemical Circuits for DNA Diagnosis and DNA Computers,” inProceedings of 3rd International Micromachine Symposium, pp. 7–12, 1997.
Suyama, Akira, Arita, Masanori and Hagiya, Masami, “A Heuristic Approach for Hamiltonian Path Problem with Molecules,” inProceedings of 2nd Genetic Programming (GP-97), pp. 457–462, 1997.
Winfree, Erik, Yang, Xiaoping and Seeman, Nadrian C., “Universal Computation via Self-assembly of DNA: Some Theory and Experiments,” inSecond Annual Meeting on DNA Based Computers, Jun. 10–12, 1996, DIMACS Workshop, Princeton University, Dept. of Computer Science, pp. 172–190.
Winfree, Erik, “Whiplash PCR for O(1) Computing,” submitted to4th DIMACS Workshop on DNA Based Computers, 1998.
Yamamoto, Yuji, Suzuki, Miho and Husimi, Yuzuru, “Dynamics in a 3SR Evolution Reactor and its Applications,” inProceedings of DIMACS Workshop on Nucleic Acid Selection and Computing, Mar. 15–17, 1998, Princeton University.
Yokomori, Takashi, Kobayashi, Satoshi and Ferretti, Claudio, “On the Power of Circular Splicing Systems and DNA Computability,”IEEE International Conference on Evolutionary Computation, pp. 219–224, 1997.
Yokomori, Takashi and Kobayashi, Satoshi, “DNA-EC: A Model of DNA-Computing Based on Equality Checking,” inPreliminary Proceedings, 3rd DIMACS Workshop on DNA Based Computers, Jun. 23–25, 1997, University of Pennsylvania, pp. 334–347.
Author information
Authors and Affiliations
Additional information
Masami Hagiya, Ph.D.: He received M.Sc. from University of Tokyo in 1982, and D.Sc. from Kyoto University in 1988. After the years in Research Institute for Mathematical Sciences, Kyoto University, he returned to University of Tokyo in 1992. He has been working on programming languages, verification and synthesis of programs, and automated deduction. In addition, he is interested in bio-computing since he was involved in the human genome project of Japan. He is currently organizing a project on molecular computing under the “Research for the Future” program of JSPS.
About this article
Cite this article
Hagiya, M. Perspectives on molecular computing. New Gener Comput 17, 131–151 (1999). https://doi.org/10.1007/BF03037433
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF03037433