MARIKO YASUGI

ヤスギマリコ | MARIKO YASUGI

Affiliation and department：
Job title： Professor
Homepage URL (1)： http://www.cc.kyoto-su.ac.jp/~yasugi/index.html

Research field (4)： Applied mathematics and statistics , Basic mathematics , Intelligent informatics , Information theory

Research keywords (7)：証明論 , 知識論理 , 限定合理性 , 学習 , 極限計算 , 一様空間 , 計算可能性構造

Research theme for competitive and other funds (5)：

1993 - 2007 連続体上の計算可能性
1999 - 2001 限定合理性の証明論
Computation in Classical Logic
Algorithm in Analysis
Logical treatment of bounded rationality

MISC (75)：

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii. Integral of Fine Computable functions and Walsh Fourier series. Electronic Notes in Theoretical Computer Science. 2008. 202. C. 279-293
The effective sequence of uniformites and its limit as a methodology in computable analysis. Annals of the japan Association for Philosophy of Science. 2007. 15-2
Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori. Sequential computability of a function: Diagonal space and limiting recursion. Electronic Notes in Theoretical Computer Science. 2005. 120. 187-199
M Yasugi, Y Tsujii. Computability of a function with jumps - Effective uniformity and limiting recursion. TOPOLOGY AND ITS APPLICATIONS. 2005. 146. 147. 563-582
Effective sequence of uniformities and its effective limit. Informatik Berichte FernUni.Hagen. 2005. 326-7

ｍore...

Books (21)：

ゲーデル不完全性定理訳・解説
岩波文庫 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

ｍore...

Works (3)：

連続体上の計算可能性問題の多角的研究
2000 - 2002
限定合理性の証明論的研究
1999 - 2001
Multiple study of the computability poroblems on the continuumr
2000 -

Education (4)：

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

Professional career (2)：

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

Work history (17)：

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

Show all

Committee career (9)：

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 編集委員

Show all

Awards (1)：

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

Association Membership(s) (10)：

Advances in Theoretical and Applied Mathematics , The Oriental Journal of Mathematics , International Journal of Pure and Applied Mathematics , Journal of Universal Computer Science , 数理科学協会 , 科学基礎論学会 , ソフトウエア科学会 , アメリカ数学会(American Mathematical Society) , 記号論理学会(Association for Symbolic Logic) , 日本数学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page