佐藤 雅彦 教授

電話 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年)

• 学位
  理学博士(京都大学)

• 所属学会
  人工知能学会，日本ソフトウェア科学会，情報処理学会，日本数学会

教育活動

• 担当授業科目(大学院)
  情報科学基礎論，ソフトウェア基礎論

• 担当授業科目(学部)
  プログラミング入門（工学部），計算と論理（工学部），プログラミングの理論と実践(工学部)，数学講究(理学部)，計算機科学(理学部)

• 集中講義
  千葉大学

• 学会活動
  日本ソフトウェア科学会評議員

• 学内委員
  広報委員会委員 (全学)，広報図書委員会委員（研究科）

• 私のホームページ

• 知能情報学専攻のホームページ