Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Eiichi Miyamoto is active.

Publication


Featured researches published by Eiichi Miyamoto.


Advances in Software Science and Technology | 1991

Kamui88: A Parallel Computation Model with Fields and Events

Shin-ya Watanabe; Eiichi Miyamoto; Yasunori Harada; Kazufumi Mitani

Summary Use of a model which is based on one-to-one communications may force unnatural representations of problems that include concurrency on computers. We propose a parallel computation model whose objects interact with each other by means of broadcast, and we discuss the representations of synchronizations and mutual exclusions in our model. We also describe the effectiveness of our model when it is used as a tool for constructing a distributed (and cooperative) problem solving system.


Archive | 1998

Solving Problems by Equivalent Transformation of Declarative Programs

Kiyoshi Akama; Tetsuji Shimitsu; Eiichi Miyamoto


Archive | 2000

A Theoretical Foundation for Generation of Equivalent Transformation Rules (Program Transformation, Symbolic Computation and Algebraic Manipulation)

Kiyoshi Akama; Hidekatsu Koike; Eiichi Miyamoto


コンピュータソフトウェア | 1995

Semantic Interpretation of Natural Language Descriptions by Program Transformation.

Kiyoshi Akama; Yuji Nomura; Eiichi Miyamoto


電子情報通信学会総合大会講演論文集 | 2000

A Simple Framework for Objects That Have Classes and Substructures Based on ET Paradigm

Yuuichi Kawaguchi; Kiyoshi Akama; Eiichi Miyamoto


Systems and Computers in Japan | 2000

A theoretical foundation for solving “no‐solution” problems by abstraction

Kiyoshi Akama; Hiroshi Mabuchi; Eiichi Miyamoto


IEICE Transactions on Information and Systems | 1999

Unreachability Proofs for ß Rewriting Systems by Homomorphisms

Kiyoshi Akama; Yoshinori Shigeta; Eiichi Miyamoto


IPSJ SIG Notes | 1998

Equivalent Transformation for Member Constraints on an Interval Variable Domain

Kiyoshi Akama; Yoshinori Shigeta; Eiichi Miyamoto


IEICE Transactions on Information and Systems | 1998

Applying Program Transformation to Type Inference for a Logic Language

Yuuichi Kawaguchi; Kiyoshi Akama; Eiichi Miyamoto


Technical report of IEICE. SS | 1997

Multiple World Mechanism for Computation based on Equivalent Transformation

Tomokuni Shimizu; Kiyoshi Akama; Eiichi Miyamoto

Collaboration


Dive into the Eiichi Miyamoto's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar

Hidekatsu Koike

Sapporo Gakuin University

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Susumu Yamashiro

Kitami Institute of Technology

View shared research outputs
Top Co-Authors

Avatar

Yoichi Nakamura

Kitami Institute of Technology

View shared research outputs
Researchain Logo
Decentralizing Knowledge