Go home now Header Background Image
Search
Subscription Submission Procedure Login
User: anonymous
Special Issues
 
Volume 14 (2008)
Volume 13 (2007)
Volume 12 (2006)
Volume 11 (2005)
Volume 10 (2004)
Volume 9 (2003)
Volume 8 (2002)
Volume 7 (2001)
Volume 6 (2000)
Volume 5 (1999)
Volume 4 (1998)
Volume 3 (1997)
Volume 2 (1996)
Volume 1 (1995)
Volume 0 (1994)
 
Articles by Topics
Articles by Author
 
Board of Editors
List of Topics
 
What's New
Geographical Mashup
Aims and Scope
Submission Procedure
Subscription
Printed Publications
 
Collection of other papers

Mariko Yasugi

Referee for: F.1, F.2, F.4.1, F.m, G.0,
Institution: Kyoto Sangyo University
Address: Faculty of Science
Kyoto Sangyo University
Kamigamo-Motoyama
Kita-ku, Kyoto
Japan 603-8555
Home Page: http://www.kyoto-su.ac.jp/%7Eyasugi/page/index.html#mainpage

Curriculum Vitae:
Born in Tokyo, Japan. Studies of Philosophy of Science and Mathematics at University of Tokyo(Japan) and University of Illinois(USA). Doctor of Science in Mathematics from University of Tokyo 1966. Assistant Lecturer and Lecturer in Math. at University of Bristol(UK) 1966-68. Postdoctoral Fellow in Math. at Carnegie- Mellon University(USA) 1968-70. Assistant Professor in Math. at Dalhousie University(Canada) 1970-72. Associate Professor in Math. at Shizuoka University(Japan) 1972-1977. Associate Professor in Electronics and Information Sciences at University of Tsukuba(Japan) 1977-1986. Full Professor in Computer Science at Kyoto Sangyo University(Japan) 1986-present. Lecturer of Intensive Courses at Nagoya University and Hokkaido University. Head of the Department twice.

Main Research Interests:

  • classic consistency proofs using ordinal notations
  • constructive systems and term systems representing proof-theory
  • syntactic approaches to nonstandard analysis
  • computability structures in mathematics