Yoshihiro Mizoguchi

Learn More
This note presents a new formalization of graph rewritings which generalizes traditional graph rewritings. Relational notions of graphs and their rewritings are introduced and several properties about graph rewritings are discussed using relational calculus (theory of binary relations). Single pushout approaches to graph rewritings proposed by Raoult and(More)
In this paper, in order to investigate natural transformations from discrete CA to QCA, we introduce a formulation of finite cyclic QCA and generalized notion of partitioned QCA. According to the formulations, we demonstratethe condition of local transition functions, which induce a global transition of well-formed QCA. Following the results, extending a(More)
Discrete quantum cellular automata are cellular automata with reversible transition. This paper deals with 1d cellular automata with finite cell array and triplet local transition rules. We present the necessary condition of local transition rules for cellular automata to be reversible, and prove the reversibility of some cellular automata.
We introduce the notion of 'Composition', 'Union' and 'Division' of cellular automata on groups. A kind of notions of compositions was investigated by Sato (1994) and Manzini (1998) for linear cellular automata, we extend the notion to general cellular automata on groups and investigated their properties. We observe the all unions and compositions generated(More)
This paper gives a simple mathematical framework for 2D shape interpolation methods that preserve rigidity. An interpolation technique in this framework works for given the source and target 2D shapes, which are compatibly triangulated. Focusing on the local affine maps between the corresponding triangles, we describe a global transformation as a piecewise(More)
Free trade agreements (FTAs) have rules of origin (ROOs) to prevent tariff circumvention by firms of non-member countries. This paper points out that in imperfectly competitive markets, ROOs have another role overlooked in the existing literature. Instead of focusing on the impacts of ROOs in the intermediate-good markets, we draw our attention to the(More)