BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Yuki Nishida

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
Logic in Computer Sciencemath.DSnlin.CGProgramming Languages

Catalog footprint

Research overview

2works
4topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

2 publications

preprint2020arXiv

qq-VFCA: qq-state Vector-valued Fuzzy Cellular Automata

Elementary fuzzy Cellular Automata (CA) are known as continuous counterpart of elementary CA, which are 2-state CA, via the polynomial representation of local rules. In this paper, we first develop a new fuzzification methodology for qq-state CA. It is based on the vector representation of qq-state CA, that is, the qq-states are assigned to the standard basis vectors of the qq-dimensional real space and the local rule can be expressed by a tuple of qq polynomials. Then, the qq-state vector-valued fuzzy CA are defined by expanding the set of the states to the convex hull of the standard basis vectors in the qq-dimensional real space. The vector representation of states enables us to enumerate the number-conserving rules of 3-state vector-valued fuzzy CA in a systematic way.

Open access
preprint2020arXiv

Compilation of Coordinated Choice

Recently, we have proposed coordinated choices, which are nondeterministic choices equipped with names. The main characteristic of coordinated choices is that they synchronize nondeterministic decision among choices of the same name. The motivation of the synchronization mechanism is to solve a theoretical problem. So, as a practical programming language, we still want to use coordinated choices like standard ones. In other words, we want to avoid synchronization. Now, there are two problems: (i) practically, it is a bit complicated work to write a program using coordinated choices in which execution synchronization never happens; and (ii) theoretically, it is unknown whether any programs using standard choices can be written by using only coordinated ones. In this paper, we define two simply typed lambda calculi called λ∥λ^\parallel equipped with standard choices and λ∥ωλ^{\parallelω} equipped with coordinated choices, and give compilation rules from the former into the latter. The challenge is to show the correctness of the compilation because behavioral correspondence between expressions before and after compiling cannot be defined directly by the compilation rules. For the challenge, we give an effect system for λ∥ωλ^{\parallelω} that characterizes expressions in which execution synchronization never happens. Then, we show that all compiled expressions can be typed by the effect system. As a result, we can easily show the correctness because the main concern of the correctness is whether synchronization happens or not.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.