八杉 満利子

J-GLOBALへ         更新日: 08/07/07 00:00
 
アバター
研究者氏名
八杉 満利子
 
ヤスギ マリコ
URL
http://www.cc.kyoto-su.ac.jp/~yasugi/index.html
所属
旧所属 京都産業大学 理学部 コンピュータ科学科
職名
教授
学位
理学博士(東京大学), 理学修士(東京大学)

研究分野

 
 

経歴

 
1966年
 - 
1968年
ブリストル大学 助講師・講師
 
1968年
 - 
1970年
カーネギー・メロン大学ポストドクトラルフェロー
 
1970年
 - 
1972年
ダルハウジー大学助教授
 
1972年
 - 
1977年
静岡大学助教授
 
1977年
 - 
1986年
筑波大学助教授
 

学歴

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

委員歴

 
1985年
 - 
1986年
日本数学会  評議員,理事,国際交流委員会委員
 
1987年
 - 
1993年
記号論理学会(Association for Symbolic Logic)  「日本・東アジアにおける論理」委員,「日本・東アジアにおける論理」委員 主任,翻訳委員会委員
 
 
 - 
2007年
アメリカ数学会(American Mathematical Society)  レヴューア
 
 
 - 
2006年
ソフトウエア科学会  
 
1987年
 - 
1998年
科学基礎論学会  評議員,理事・編集委員
 

受賞

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

Misc

 
Hyper-principle and the functional structure of ordinal diagrams(二部)
Comment. Math. Univ. St. Pauli   34,2/35,1    1985年
1985-1986
NDK,新しい古典的体系(共著)
計算機科学研究所所報   11(2) 1-25   1994年
現実的微積分法
科学基礎論研究   23(2) 59-64   1996年
解析学におけるアルゴリズム-Pour-El理論とBSS理論
電気学会研究会資料(]G0001[)P-97   53-58   1997年
解析学における計算可能性構造
日本数学会・数学   50(2) 130-148   1998年

書籍等出版物

 
証明論入門(共著)
共立出版株式会社   1988年   
情報系の数学入門(共著)
オーム社   1993年   
集合論のパラドックス・うそつきパラドックス
日本評論社・パラドックス!   2000年   
お話・数学基礎論
講談社   2002年   
論理パズルとパズルの論理
遊星社   1998年   

Works

 
連続体上の計算可能性問題の多角的研究
2000年 - 2002年
限定合理性の証明論的研究
1999年 - 2001年

競争的資金等の研究課題

 
連続体上の計算可能性
科学研究費補助金
研究期間: 1993年 - 2007年
限定合理性の証明論
科学研究費補助金
研究期間: 1999年 - 2001年