YASUGI MARIKO - My portal

Profile Information

Affiliation: Professor, Former Institution / Organization Kyoto Sangyo University Faculty of Science Department of Computer Sciences

Degree: Doctor of Science(The University of Tokyo)
Master of Science(The University of Tokyo)

J-GLOBAL ID: 200901047873830284
researchmap Member ID: 1000103979

External link: http://www.cc.kyoto-su.ac.jp/~yasugi/index.html

Research Interests

Research Areas

Research History

1986 - 2007

Kyoto Sangyo University
1999 - 2000

京都大学非常勤講師
1999 - 2000

Kyoto University, Part time Lecturer
1977 - 1986

University of Tsukuba
1977 - 1986

Tsukuba University, Associate Professor
1986

The University of Tokyo
1986

University of Tokyo, Part time Lecturer
1972 - 1977

Shizuoka University
1972 - 1977

Shizuoka University, Associate Professor
1970 - 1972

ダルハウジー大学助教授
1970 - 1972

Dalhousie University, Assistant Professor
1968 - 1970

カーネギー・メロン大学ポストドクトラルフェロー
1968 - 1970

Carnegie-Mellon University, Post doctoral fellow
1966 - 1968

ブリストル大学助講師・講師
1966 - 1968

The University of Bristol, Assistant Lecturer・Lecturer
Nagoya University
Nagoya University, Part time Lecturer

Education

Committee Memberships

2005 - 2007

編集委員, Advances in Theoretical and Applied Mathematics
2005 - 2007

編集委員, The Oriental Journal of Mathematics
2005 - 2007

編集委員, International Journal of Pure and Applied Mathematics
1997 - 2007

編集委員, 数理科学協会
- 2007

編集委員, Journal of Universal Computer Science
- 2007

レヴューア, アメリカ数学会(American Mathematical Society)
1987 - 1998

評議員,理事・編集委員, 科学基礎論学会
1987 - 1993

「日本・東アジアにおける論理」委員,「日本・東アジアにおける論理」委員主任,翻訳委員会委員, 記号論理学会(Association for Symbolic Logic)
1985 - 1986

評議員,理事,国際交流委員会委員, 日本数学会

Awards

1985

猿橋賞(女性科学者に明るい未来をの会)

Misc.

Integral of Fine Computable functions and Walsh Fourier series

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Electronic Notes in Theoretical Computer Science, 202(C) 279-293, Mar 21, 2008
The effective sequence of uniformites and its limit as a methodology in computable analysis

Annals of the japan Association for Philosophy of Science, 15-2, 2007
Sequential computability of a function: Diagonal space and limiting recursion

Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori

Electronic Notes in Theoretical Computer Science, 120 187-199, Feb 3, 2005
Computability of a function with jumps - Effective uniformity and limiting recursion

M Yasugi, Y Tsujii

TOPOLOGY AND ITS APPLICATIONS, 146(147) 563-582, Jan, 2005
Effective sequence of uniformities and its effective limit

Informatik Berichte FernUni.Hagen, 326-7, 2005
Limiting computability of discontinuous functions-significance and problems

YASUGI M.

J. of Japan Assoc. for Phil. of Sci., 30(2) 13-18, 2003
Two notions of sequential computability of a function with jumps

Electric Notes of Theoretical Computer Science, 66(1) 11 pages, 2002
Metrization of the uniform space and effective convergence

Mathematical Logic Quarterly, 48, 123-130, 2002
Notes on bounded rationality

Scientiae Mathematicae Japonicae Online, 7,129-138, 2002
A note on the wise girls puzzle

M Yasugi, SH Oda

ECONOMIC THEORY, 19(1) 145-156, Jan, 2002
Computability aspects of some discontinuous functions

Scientiae Mathematicae Japonicae Online, 5,405-419, 2001
Some properties of the effective uniform space

Lecture Notes in Computer Science, (2064) 336-356, 2001
Some pcoperties of the effectively uniform topological space

Springer-Verlag・Lecture Notes in Computer Science, (2064) 336-356, 2001
Computability structures in analysis

Sugaku Expositions (AMS), 13(2) 215-235, 2000
体系からの脱出:証明論による解析

日本科学基礎論学会・科学基礎論研究, 28(2) 87-92, 2000
Jumping out of the system : an analysis by proof-theory

Journal of the Japan Association for Philosophy of Science, 28(2) 87-92, 2000
Computability structures in analysis(共著)

American Mathematical Society・Sugaku Exposetions, 13(2) 215-235, 2000
Effective Properties of Sets and Functions in Metric Spaces with

Theoretical Computer Science, Special Issue,467-486, 1999
Effective properties of sets and functions in metric spaces with computabilily structure(共著)

Theoretical Computer Science, 219 467-486, 1999
Modified Realizability for TRDB(共著)

World Scientific, 186-200, 1999

Books and Other Publications

ゲーデル不完全性定理訳・解説

岩波文庫, 2006
Memoirs of a Proof Theorist 訳

World Scientific Publishing Co., 2003
An application of NDJ_{prop} to the catch and throw mechanism

Proceedings of the 7th and 8th Asian Logic Conferences, World, 2003
A note on Rademacher functions and computabilit

Words, Languages and Combinatorics III, World Scientific, 2003
お話・数学基礎論

講談社, 2002
集合論のパラドックス・うそつきパラドックス

日本評論社・パラドックス!, 2000
Paradox in set theory and liar's paradox

Nihonhyoronsha・Paradox!, 2000
Jumping out from the system

The Proceedings of International Workshop on Emergent Synthesis, 1999
Modified Realizability for TRDB

Algebraic Engineering, 1999
NDK and Natural Reasoning

World Scientific,, 1998
論理パズルとパズルの論理

遊星社, 1998
Computability structures on metric spaces

Combinatorics, Complexity, and Logic,Springer, 1996
A functional system with transfinitely defined types

Lecture Notes in Computer Science.Springer, 1994
Interpretations of transfinite recursion and parametric abstraction in types

World Scientific Publishing Co., 1994
情報系の数学入門(共著)

オーム社, 1993
Introduction to mathematics of information sciences

Ohm Publ. Co., 1993
Infinitesimal calculus interpreted in infinitary logic

Lecture Notes in Mathematics, Springer, 1989
証明論入門(共著)

共立出版株式会社, 1988
Introduction to Proof-theory

Kyoritsu Publ. Co., 1988
The Hahn-Banach theorem and a restricted inductive definition

Lecture Notes in Mathematics, Springer, 1981

Professional Memberships

Works

連続体上の計算可能性問題の多角的研究

2000 - 2002
限定合理性の証明論的研究

1999 - 2001
Multiple study of the computability poroblems on the continuumr

2000

Research Projects

連続体上の計算可能性

科学研究費補助金, 1993 - 2007
限定合理性の証明論

科学研究費補助金, 1999 - 2001
Computation in Classical Logic
Algorithm in Analysis
Logical treatment of bounded rationality