[To Profile Top] [To Tominaga Home]
27 August 2006
I am currently interested in the research fields of artificial life
(topics related to natural living systems in particular) and molecular computing.
My current study is all the aspects concerning artificial chemistries,
which include the following topics.
- Artificial chemistry itself:
Making an abstract model that is compatible
with natural chemical or biochemical phenomena.
Currently I use an artificial chemistry based on string pattern matching
and recombination, which I proposed in 2004.
- Modelling natural systems:
Modelling chemical or biochemical systems
using the artificial chemistry to study how it is compatible with nature
and what enhancement should be done to it.
To date several natural systems have been modelled in my lab
including the pathway from DNA to protein and metabolic pathways.
- Modelling molecular computing:
Modelling DNA computations using the artificial chemistry
to explore the possibilities of using artificial chemistries
as tools to design molecular computation.
Computing systems based on the Adleman-Lipton Paradigm
and those on the concept of DNA automata were modelled by the artificial chemistry.
- Constructing virtual life-like systems:
Construction of models that show life-like behaviour,
such as self-replication and evolution.
A simple self-replication using virtual DNA and virtual enzyme was constructed
by the artificial chemistry.
- Formal properties of the artificial chemistry:
Studying the properties of the artificial chemistry
including its expressive power (e.g., computational universality).
Also studying reasoning on the artificial chemistry.
- Language aspects:
Studying the aspects of the artificial chemistry as a programming system.
- Application to art:
Studying the possibilities of applying artificial chemistries to art.
The first step is application to music.
An automatic music composing system was constructed using this artificial chemistry.
[sample music]
Coming soon; until then, please see the list of recent publications.
- 2004 - 2005: artificial life, evolutionary computation, mobile agent technology
- 2001 - 2004: WWW filtering, mobile agent technology, TCP/IP QoS control, genetic programming
- 1994 - 2001: Internet applications including remote management of local networks
- 1991 - 1994: Application of a formal grammar describing constraints to software processes
- 1989 - 1991: Software development environments
- Application of temporal logic to automatic conversion from specification to code (1989)
Kazuto Tominaga