Figure 6: Given a model of a DNA complex, the various kinds of reactions can be analyzed by a simulation.
automatically designing various types
of logic gates using this approach. We
also recently designed a DNA automaton in which different orders of multiple signals lead to different states of
IT AND THE OTHER SCIENCES
IT is targeted to the solution of specific problems, some of which, like environmental problems, are universal.
This research trend of IT is referred to
as “by” IT in contrast to the traditional
trend referred to as “of” IT, which aims
to improve IT itself. Although “of” IT
remains central, more and more real-world problems call for innovations in
“by” IT. We hope that more researchers
and engineers with IT backgrounds will
branch out into interdisciplinary fields
and solve problems in those fields.
Masami Hagiya is a professor in the department of
computer science at the University of Tokyo. He has
been working on modeling, formalization, simulation,
verification, and automatic synthesis of computer systems.
He is dealing with not only systems composed of electronic
computers, but also biological and molecular systems, and
has been working on DNA and molecular computing.
Fumiaki Tanaka is an assistant professor in the
department of computer science at the University of
Tokyo. His specialty is sequence design for DNA computing
and DNA nanotechnology. He also tries to construct DNA
robots that can autonomously respond to various input
such as UV light.
Ibuki Kawamata is currently a graduate student in the
department of computer science at the University
of Tokyo. He is interested in biologically inspired
computational models. He is now researching a
methodology to automatically design an artificial system
using biological components.
1. Basu, S., Gerchman, Y., Collins, C. H., Arnold, F. H.,
Weiss, R. 2005. A synthetic multicellular system
for programmed pattern formation. Nature 434,
2. Endy, D. 2005. Foundations for engineering biology.
3. François, P. and Hakim, V. 2004. Design of genetic
networks with specified functions by evolution in
silico. In Proceedings of the National Academyof
Sciences USA 101 ( 2), 580–585.
4. Kawamata, I., Tanaka, F., Hagiya, M. 2009. Automatic
design of DNA logic gates based on kinetic simulation,
The 15th International Meeting on DNA Computing,
Lecture Notes. In Computer Science 5877, 88-96.
5. Nature Nanotechnology Focus issue. 2009. Volume 4,
6. Nature Web Focus. January 2010. http://www.nature.
7. Seelig, G., Soloveichik, D., Zhang, D., Winfree, E. 2006.
Enzyme-free nucleic acid logic circuits. Science314,
8. Tanaka, F., Kameda, A., Yamamoto, M., Ohuchi, A.
2005. Design of nucleic acid sequences for DNA
computing based on a thermodynamic approach.
Nucleic Acids Res 33, 903-911.
9. Yurke, B., Turberfield, A. J., Mills, A. P., Simmel, F.
C., Neumann, J. L. 2000. A DNA-fuelled molecular
machine made of DNA. Nature 406, 605-608.
10. Zuker, M. 2003. Mfold web server for nucleic acid
folding and hybridization prediction. NucleicAcidsRes