YASUGI MARIKO

J-GLOBAL         Last updated: Jul 7, 2008 at 00:00
 
Avatar
Name
YASUGI MARIKO
Affiliation
Former Institution / Organization Kyoto Sangyo University Faculty of Science Department of Computer Sciences
Job title
Professor
Degree
Doctor of Science(The University of Tokyo), Master of Science(The University of Tokyo)

Academic & Professional Experience

 
1966
 - 
1968
The University of Bristol, Assistant Lecturer・Lecturer
 
1968
 - 
1970
Carnegie-Mellon University, Post doctoral fellow
 
1970
 - 
1972
Dalhousie University, Assistant Professor
 
1972
 - 
1977
Shizuoka University, Associate Professor
 
1977
 - 
1986
Tsukuba University, Associate Professor
 

Education

 
 
 - 
1962
Mathematics, Graduate School, Division of Mathematical and Physical Science, The University of Tokyo
 
 
 - 
1960
Department of Lilecal Asts・History and Philosopliy of Science, Faculty of Liberal Arts, The University of Tokyo
 

Misc

 
Groundedness property and accessibility of ordinal diagrams
J. Math. Soc. Japan   37    1985
Intuitionistic analysis and G(]E88D8[)del's interpretation
J. Math. Soc. Japan   15    1963
The ordinals of the systems of second order arithmetic with the provably Delta-1-2-comprehension axiom and with the Delata-1-2-comprehension axiom respectively(Coauthor of G. Takeuti)
Japan J. Math.   41    1973
Fundamental sequences of ordinal diagrams(Coauthor of G. Takeuti)
Comment. Math. Univ. St. Pauli      1976
Construction principle and transfinite induction up to epsylon-0
J. Australian Math. Soc.   31    1982

Books etc

 
Introduction to Proof-theory
Kyoritsu Publ. Co.   1988   
Introduction to mathematics of information sciences
Ohm Publ. Co.   1993   
Paradox in set theory and liar's paradox
Nihonhyoronsha・Paradox!   2000   

Works

 
Multiple study of the computability poroblems on the continuumr
2000

Research Grants & Projects

 
Logical treatment of bounded rationality
Algorithm in Analysis
Computation in Classical Logic