K
Kazuyuki Asada
Researcher at University of Tokyo
Publications - 34
Citations - 176
Kazuyuki Asada is an academic researcher from University of Tokyo. The author has contributed to research in topics: Graph rewriting & Model checking. The author has an hindex of 7, co-authored 29 publications receiving 149 citations. Previous affiliations of Kazuyuki Asada include National Institute of Informatics & Research Institute for Mathematical Sciences.
Papers
More filters
Proceedings ArticleDOI
Generalised species of rigid resource terms
TL;DR: The rigid resource calculus is introduced, in which a permutation of elements in a bag is distinct from but isomorphic to the original bag, and the commutation between computing Böhm trees and (standard) Taylor expansions for a particular nondeterministic calculus is proved.
Proceedings ArticleDOI
Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs
TL;DR: The construction of this paper gives a unified framework that induces adequate models of nondeterministic, probabilistic, algebraic and quantum programming languages by an appropriate choice of the weight SMCC.
Proceedings ArticleDOI
Arrows are strong monads
TL;DR: Strong monads have been widely used in the semantics of functional programming after Moggi's seminal work, therefore the observation establishes categorical canonicity of the notion of arrow.
Proceedings ArticleDOI
A parameterized graph transformation calculus for finite graphs with monadic branches
TL;DR: A lambda calculus for transformations of infinite graphs by generalizing and extending an existing calculus UnCAL and structural recursion for graphs, which gives a systematic programming basis like that for trees, is introduced.
Proceedings ArticleDOI
Structural recursion for querying ordered graphs
TL;DR: This paper borrows from the database community the idea of structural recursion on how to restrict recursions on infinite unordered regular trees so that they preserve the finiteness property and become terminating, which are desirable properties for query languages.