Invited Talks

‪Kenichi Morita: How can we construct reversible Turing machines in a very simple reversible cellular automaton?

Kenichi Morita is a professor emeritus of Hiroshima University, Japan. He received his PhD degree from Osaka University in 1978. From 1974 to 1987, he was a research associate of the Faculty of Engineering Science, Osaka University. From 1987 to 1990, he was an associate professor, and from 1990 to 1993 a full professor of the Faculty of Engineering, Yamagata University. From 1993 to 2013, he was a full professor of the Graduate School of Engineering, Hiroshima University.

Prof. Morita has been engaged in the research of automata theory, cellular automata, formal language theory, and reversible computing. He started the study of reversible computing in the mid-1980s. Since then, he studied many kinds of reversible computing models such as reversible Turing machines, reversible counter machines, reversible cellular automata, reversible logic elements, and others. In particular, he investigated the problem of how simple computationally universal reversible systems can be from the standpoint of automata theory. He proposed the framework of partitioned cellular automata for designing reversible cellular automata. Using this framework, he proved that a one-dimensional reversible cellular automaton is computationally universal. He also proposed reversible logic elements with memory as alternatives to reversible logic gates, and clarified their universality and usefulness.

Website

Shin-ichi Minato:‪ Decision Diagrams and Reversible Computation

Shin-ichi Minato is a Professor at Graduate School of Informatics, Kyoto University. He received the B.E., M.E., and D.E. degrees from Kyoto University in 1988, 1990, and 1995, respectively. He worked for NTT Laboratories from 1990 until 2004. He was a Visiting Scholar at Stanford University in 1997. He joined Hokkaido University as an Associate Professor in 2004, and had been a Professor since 2010. From 2018, he is a Professor at Kyoto University (present position).

Prof. Minato's research interests include efficient representations and manipulation algorithms for large-scale discrete structures, such as Boolean functions, sets of combinations, sequences, permutations, etc. He proposed the data structure "ZDD," which is minutely written as an independent topic in the Knuth's book. From 2020, he started a nation-wide research project "AFSA: Algorithmic Foundations for Social Advancement" as the project leader. He is a senior member of IEEE, IPSJ and IEICE, and is a member of JSAI, and JSCS.

Website

Atsushi Matsuo: Variational Quantum Eigensolver and Applications to Specific Optimization Problems

Atsushi Matsuo is a researcher at IBM Research - Tokyo. He received his B.E. and M.E. degrees in Information Science and Engineering from Ritsumeikan University, Japan in 2011 and 2013, respectively. He is currently a PhD student of Graduate School of Information Science and Engineering, Ritsumeikan University while working at IBM Research - Tokyo. His research interests include quantum circuit synthesis, compilers for quantum circuits and quantum algorithms for current noisy devices such as variational quantum algorithms. Also, he works on developing quantum community and develop quantum human resource for future. For example, he participated Qiskit camps and hackathon as a coach. He contributed to IBM Quantum Challenge that is a competitive programming contest for quantum computers as one of core members.

Website