八杉満利子

ヤスギマリコ | MARIKO YASUGI

所属機関・部署：
職名：教授
ホームページURL (1件)： http://www.cc.kyoto-su.ac.jp/~yasugi/index.html

研究分野 (4件)：応用数学、統計数学 , 数学基礎 , 知能情報学 , 情報学基礎論

研究キーワード (7件)：証明論 , 知識論理 , 限定合理性 , 学習 , 極限計算 , 一様空間 , 計算可能性構造

競争的資金等の研究課題 (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

書籍 (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

Works (3件)：

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

学歴 (4件)：

- 1962 東京大学数物科学研究科数学
- 1962 東京大学
- 1960 東京大学教養学部教養学科・科学史及び科学哲学
- 1960 東京大学

学位 (2件)：

理学博士 (東京大学)
理学修士 (東京大学)

経歴 (17件)：

1986 - 2007 京都産業大学教授
1999 - 2000 京都大学非常勤講師
1999 - 2000 Kyoto University, Part time Lecturer
1977 - 1986 筑波大学助教授
1977 - 1986 Tsukuba University, Associate Professor

全件表示

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

全件表示

受賞 (1件)：

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

所属学会 (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) , 日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

八杉 満利子

八杉満利子