佐藤 雅彦 教授
京都大学大学院情報学研究科
知能情報学専攻
〒606-8501
京都市左京区吉田本町
電話 075-753-5868
FAX: 075-753-4954
Email:
オフィス:工学部10号館1階133号室
平成13年6月現在
研究活動
-
研究テーマ
-
最近の主要論文・著書
-
author(s),M. Sato, T. Sakurai, R. Burstall
title, Explicit Environments
Journal, volume, pages (year). Fundamenta Informaticae, vol. 45, 79--115 (2001)
-
author(s), M. Sato, Y. Kameyama
title, Strong normalizablitiy of the non-deterministic chatch/throw calculi
Journal, volume, pages (year). Theoretical Computer Science, to appear (2001)
-
author(s), M. Sato, Y. Kameyama
title, A Classical Catch/Throw Calculus with Tag Abstractions and
its Strong Normalizability
Journal, volume, pages (year). Australian Computer Science Communications, 20, Number 3, 183--197. (1998)
-
author(s), M. Sato
title, Classical Brouwer-Heyting-Kolmogorov interpretation,
Journal, volume, pages (year). Lecture Notes in Artificial Intelligence, 1316, 176--196. (1997)
-
author(s), M. Sato
title, Intuitionistic and Classical Natural Deduction Systems with the Catch and Throw Rules,
Journal, volume, pages (year). Theoretical Computer Science, 175, 75 -- 92. (1997)
-
研究助成(平成10年度以降)
- 助成金名 (科研費特定領域(A)),課題名(知識発見の論理に関する研究),
役割(研究代表者,研究の統括,知識発見の論理の基礎),補助を受ける期間 (平成10--12年)
- 助成金名(科研費基盤(B)),課題名(古典論理に基く構成的プログラミングの
実現),役割(研究代表者,プログラミング言語の設計及び論理体系の構成),補助を受ける期間(平成10--11年)
- 助成金名(科研費基盤(B)),課題名(環境と文脈を持つ計算体系とその論理),役割
(研究代表者,研究の統括,環境・文脈計算の定式化),補助を受ける期間(平成13年)
-
学位
理学博士(京都大学)
-
所属学会
人工知能学会,日本ソフトウェア科学会,情報処理学会,日本数学会
教育活動
-
担当授業科目(大学院)
情報科学基礎論,ソフトウェア基礎論
-
担当授業科目(学部)
プログラミング入門(工学部),計算と論理(工学部),プログラミングの理論と実践(工学部),数学講究(理学部),計算機科学(理学部)
-
集中講義
千葉大学
その他の活動
-
学会活動
日本ソフトウェア科学会評議員
-
学内委員
広報委員会委員 (全学),広報図書委員会委員(研究科)
リンク