Yatsuka Nakamura

发表

DIGITAL STRAIGHT-LINE SEGMENTS BASED ON A FIVE-PIXEL NEIGHBORHOOD

Hiroshi Imura, Masayoshi Eguchi, Yasushi Fuwa, 1998 .

LC-Petri Net expanded to be suitable for making FMS model

Katsumi Wasaki, Masayoshi Eguchi, Yasushi Fuwa, 1997 .

The Process for establishment and the present activities of Graduate School of Science and Technology on the Internet, Shinshu University

Katsumi Wasaki, Hisayoshi Kunimune, Masaaki Niimura, 2004 .

A Theory of Sequential Files

Yatsuka Nakamura, Hirofumi Fukura, 2005 .

A Bus Arbitration Method based on Token Passing suited for the Packet Exchange System

Katsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura, 1997 .

Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences

Yatsuka Nakamura, Hisashi Ito, Yatsuka Nakamura, 2008, Formaliz. Math..

Invertibility of Matrices of Field Elements

Yatsuka Nakamura, Kunio Oniumi, Wenpai Chang, 2008, Formaliz. Math..

Signal propagation timing check system in multilevel sequential circuits

Yasushi Fuwa, Yatsuka Nakamura, Takaya Nishiyama, 1993 .

On the Channel Capacity of a State Machine

Yatsuka Nakamura, Yatsuka Nakamura, 1973 .

Verification of logic circuits using Mizar and its application to an adder circuit on a radix-$2^k$SD number (Topics in Information Sciences and Applied Functional Analysis)

Yasushi Fuwa, Yatsuka Nakamura, Yoshinori Fujisawa, 2001 .

Correctness of adder algorithm using high-radix signed-digit number system and its adaptation to RSA cryptogram (Topics in Information Sciences and Applied Functional Analysis)

Yasushi Fuwa, Yatsuka Nakamura, Yoshinori Fujisawa, 2001 .

A self-recovering communication buffer based on the concept of cellular automaton

Katsumi Wasaki, Masayoshi Eguchi, Yasushi Fuwa, 1994, Systems and Computers in Japan.

Cell Petri Net Concepts

Yasunari Shidama, Yatsuka Nakamura, Pauline N. Kawamoto, 2009, Formaliz. Math..

High-Speed Realization of Bandpass Filtering Using Differential Equations and Its Application to Modulation/Demodulation Systems

Masayoshi Eguchi, Yasushi Fuwa, Yatsuka Nakamura, 1997 .

The Cauchy-Riemann Differential Equations of Complex Functions

Yasunari Shidama, Yatsuka Nakamura, Hiroshi Yamazaki, 2009, Formaliz. Math..

A Mathematical Model of CPU

Yatsuka Nakamura, Andrzej Trybulec, Yatsuka Nakamura, 1992 .

Plans for the Shinshu University Graduate School on the Internet (SUGSI) using a CAI System on the World Wide Web

Katsumi Wasaki, Yasunari Shidama, Yasushi Fuwa, 2001 .

A Petri Net Based Protocol Design Tool for Wireless Data Communication

Yasushi Fuwa, Yatsuka Nakamura, Takeshi Nakao, 1996 .

A topology for discrete spaces and its application in scratch detection for surface inspections

Hiroshi Imura, Masayoshi Eguchi, Yasushi Fuwa, 1996, Systems and Computers in Japan.

Diagnosing hang‐ups and automatic restoration for nodes in networks of ring topology

Yasushi Fuwa, Yatsuka Nakamura, 1990 .

On a hybrid network system of circuit switching and packet switching

Yatsuka Nakamura, Akishige Noda, 1982 .

The Sequential Compactness of a Set of Fuzzy-membership Functions

Yasunari Shidama, Yatsuka Nakamura, Akihiko Uchibori, 1995 .

A computer software simulating swingby orbits of spacecraft around a planet and learning of the effect of gravity assist.

Takanori Ishida, Yatsuka Nakamura, Shuichi Narusawa, 1997 .

On the Composition of Macro Instructions. Part III 1

Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, 1997 .

The Learning System of Shinshu University Graduate School of Science and Technology on the Internet

Katsumi Wasaki, Hisayoshi Kunimune, Masaaki Niimura, 2005, KES.

An Optimal Orthogonal Expansion for Classification of Patterns

Yatsuka Nakamura, Masakazu Furuya, Shoichi Sunohara, 1977, IEEE Transactions on Computers.

Reconstructions of Special Sequences1

Yatsuka Nakamura, Roman Matuszewski, Yatsuka Nakamura, 2004 .

Complex Function Differentiability

Yasunari Shidama, Yatsuka Nakamura, Hiroshi Yamazaki, 2009, Formaliz. Math..

A Simple Programming Method of State Transition Diagrams for Parallel Processings

Yasushi Fuwa, Yatsuka Nakamura, 1982 .

A Self-Supporting Quadruped Walking-Robot

Yasushi Fuwa, Yatsuka Nakamura, Hidehiko Kitahara, 1988 .

On a Mathematical Model of Programs

Yatsuka Nakamura, Andrzej Trybulec, Yatsuka Nakamura, 1992 .

On Increasing Reliability of Servers on Shinshu University Graduate School on the Internet

Katsumi Wasaki, Hisayoshi Kunimune, Masaaki Niimura, 2003 .

Formalization of Mathematics for Modeling Wireless Communication Packet Exchanges between Cars

Yatsuka Nakamura, Bo Zhang, Hiroshi Yamazaki, 2006 .

The Real Vector Spaces of Finite Sequences are Finite Dimensional

Yasunari Shidama, Yatsuka Nakamura, Artur Kornilowicz, 2009, Formaliz. Math..

Extended Petri Nets for Control Systems Software

Katsumi Wasaki, Masayoshi Eguchi, Yasushi Fuwa, 1993 .

Limit of Sequence of Subsets

Yatsuka Nakamura, Bo Zhang, Hiroshi Yamazaki, 2005 .

Some Remarks on the Simple Concrete Model of Computer

Yatsuka Nakamura, Andrzej Trybulec, 2004 .

Determinant of Some Matrices of Field Elements

Yatsuka Nakamura, Yatsuka Nakamura, 2006 .

Introduction to Circuits, I

Yatsuka Nakamura, Piotr Rudnicki, Pauline N. Kawamoto, 2000 .

Sorting Operators for Finite Sequences

Yatsuka Nakamura, Yatsuka Nakamura, 2004 .

Adjacency Concept for Pairs of Natural Numbers

Yatsuka Nakamura, Andrzej Trybulec, Yatsuka Nakamura, 1997 .

Basic Petri Net Concepts

Yasushi Fuwa, Yatsuka Nakamura, Pauline N. Kawamoto, 1992 .

Decomposing a Go-Board into Cells

Yatsuka Nakamura, Andrzej Trybulec, Yatsuka Nakamura, 1996 .

Simple Closed Curves

Yatsuka Nakamura, Agata Darmochwa, Yatsuka Nakamura, 1991 .

The Fashoda Meet Theorem for Rectangles

Yatsuka Nakamura, Andrzej Trybulec, Yatsuka Nakamura, 2005 .

Entropy and semivaluations on semilattices

Yatsuka Nakamura, 1970 .

A Theory of Matrices of Complex Elements

Yatsuka Nakamura, Wenpai Chang, Hiroshi Yamazaki, 2005 .

Preliminaries to Circuits, II 1

Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, 1996 .

A theory of finite topology and image processing

Hiroshi Imura, Yasushi Fuwa, Yatsuka Nakamura, 1991 .

Introduction to Go-Board — Part I

Yatsuka Nakamura, Yatsuka Nakamura, 2004 .

Introduction to Go-Board - Part II

Yatsuka Nakamura, Jaros law Kotowicz, 1992 .

The Theorem of Weierstrass Józef

Yatsuka Nakamura, Józef Białas, 2004 .

The Jordan's Property for Certain Subsets of the Plane

Yatsuka Nakamura, Yatsuka Nakamura, 1992 .

Metric Spaces as Topological Spaces - Fundamental Concepts

Yatsuka Nakamura, Agata Darmochwa, Yatsuka Nakamura, 1991 .

Bounded Domains and Unbounded Domains

Yatsuka Nakamura, Andrzej Trybulec, Yatsuka Nakamura, 1999 .

On the Decomposition of a Simple Closed Curve into Two Arcs

Yatsuka Nakamura, Andrzej Trybulec, Yatsuka Nakamura, 2004 .

Armstrong's Axioms

Yatsuka Nakamura, William W. Armstrong, W. W. Armstrong, 2007 .

Complex Function Dierentiability

Yasunari Shidama, Yatsuka Nakamura, Hiroshi Yamazaki, 2009 .

The Relevance of Measure and Probability, and Definition of Completeness of Probability

Yatsuka Nakamura, Bo Zhang, Hiroshi Yamazaki, 2006 .

Vertex Sequences Induced by Chains 1

Yatsuka Nakamura, Piotr Rudnicki, Yatsuka Nakamura, 1996 .

Inferior Limit and Superior Limit of Sequences of Real Numbers

Yatsuka Nakamura, Bo Zhang, Hiroshi Yamazaki, 2005 .

Measure-theoretic construction for information theory

Yatsuka Nakamura, 1969 .

The Definition of Finite Sequences and Matrices of Probability, and Addition of Matrices of Real Elements

Yatsuka Nakamura, Bo Zhang, 2006 .

Combining of Circuits

Yatsuka Nakamura, Yatsuka Nakamura, Nagano Grzegorz Bancerek, 2007 .

The Inner Product and Conjugate of Matrix of Complex Numbers

Yatsuka Nakamura, Wenpai Chang, Hiroshi Yamazaki, 2005 .

Extremal Properties of Vertices on Special Polygons, Part I

Yatsuka Nakamura, Yatsuka Nakamura, 1996 .

Introduction to Circuits, Ii

Yatsuka Nakamura, Piotr Rudnicki, Yatsuka Nakamura, 2004 .

Set Sequences and Monotone Class

Yatsuka Nakamura, Bo Zhang, Hiroshi Yamazaki, 2005 .

The Topological Space E 2 T . Arcs , Line Segments and Special Polygonal Arcs

Yatsuka Nakamura, Yatsuka Nakamura, Agata Darmochwał, 2004 .

Definition and some Properties of Information Entropy

Yatsuka Nakamura, Bo Zhang, Yatsuka Nakamura, 2007 .

Determinant and Inverse of Matrices of Real Elements

Yatsuka Nakamura, Yatsuka Nakamura, Nobuyuki Tamura, 2007 .

Some Equations Related to the Limit of Sequence of Subsets

Yatsuka Nakamura, Bo Zhang, Hiroshi Yamazaki, 2005 .

On the Dividing Function of the Simple Closed Curve into Segments

Yatsuka Nakamura, Yatsuka Nakamura, 1994 .