KAWAHARA Yasuo

J-GLOBAL         Last updated: Jan 25, 2010 at 00:00
 
Avatar
Name
KAWAHARA Yasuo
Affiliation
Former Institution / Organization Kyushu University Faculty of Information Science Electrical Engineering Department of Informatics
Job title
Professor
Degree
Doctor of Science, Master of Science

Academic & Professional Experience

 
1973
 - 
1974
Lecturer, Fukuoka Institute of Technology
 
1974
 - 
1975
Associate Professor, Fukuoka Institute of Technology
 
1975
 - 
1977
Associate Professor, Yamaguchi University
 
1977
 - 
1982
Associate Professor, Kyushu Institute of Technology
 
1982
 - 
1991
Associate Professor, Kyushu University
 

Education

 
 
 - 
1973
Graduate School, Division of Natural Science, Kyushu University
 
 
 - 
1968
Faculty of Science, Kyushu University
 

Misc

 
Relations in categories with pullbacks.
Memoirs of the Faculty of Science, Kyushu University   26(2) 241-261   1972
Theoretical Computer Science   77(3) 267-289   1990
Categorical assertion semantics in topoi. (共著)
Advances in Software Science and Technology   4, 137-150    1992
Existence of the characteristic numbers associated with cellular automata with local transition rule 90.
Bull. Inform. Cybernet.   24(3-4) 121-136   1991
On the class of regular epimorphisms.
Commun. Alg.   3(9) 851-857   1975

Books etc

 
An actor formalization for blackboard schema systems. In S. Ohsuga, H. Kangassalo, J. Jaakkola, K. Hori and N. Yonezaki(Eds. ), Information Modelling and Knowledge Bases : Foundations, Theory, and Applications III. (共著)
IOS Press   1992   
(Relational calculus and categorical assertion semantics) Information Modelling and Knowledge Bases : Foundations, Theories and Applications IV
IOS Press   1993   
Handbook of Theoretical Computer Science, II, Formal Models and Semantics, Ch3, Formal Languages and Power Series
Maruzen Co.   1994   
Lattices in Dedekind categories.
Relational Methods for Computer Science Applications, Physica-Verlag   2001   

Research Grants & Projects

 
Relational Set Theory and its Applications to Information Semantics, Communicating Distributed Systems and Knowledge Dynamics.
Dynamical Analysis of Finite Cellular Automata by Computer Experiment
Graph Transformation Systems and their Design