外山研究室で行った輪講の記録(JAIST)

北陸先端科学技術大学院大学 外山・酒井研 (1993.4-1997.3)／外山研 (1997.4-2000.3)における輪講の記録です．

外山研(JAIST)輪講 紹介論文一覧

• 1999年

• 1998年

外山・酒井研(JAIST)輪講 紹介論文一覧

• 1997年

• 1996年

• 1995年

• 1994年

外山研(JAIST)輪講で読まれた本一覧 (1997.4-2000.3)

• 1998年10月16日(金)〜2000年1月12日(水)
  Franz Baader, Tobias Nipkow,
  Term Rewriting and All That,
  CAMBRIDGE UNIVERSITY PRESS, ISBN 0-521-45520-0, 1998.

• 1997年10月24日(金)〜1998年
  John C.Mitchell,
  Foundations for Programming Languages,
  MIT Press, ISBN 0-262-13321-0, 1996.

• 1997年10月14日(火)〜1998年7月
  小野 寛晰,
  情報代数,
  共立出版, 1994.

外山・酒井研(JAIST)輪講で読まれた本一覧 (1993.4-1997.3)

• 1996年10月14日(金)〜1997年12月24日(水)
  N.Cutland,
  Computability: An Introduction to Recursive Function Theory,
  Cambridge Univ. Press, 1980.

• 1995年10月6日(金)〜1997年7月29日(月)
  W. Wechler,
  Universal Argebra for Computer Scientists,
  EATCS Monographs on Theoretical Computer Science Vol.25,
  Springer-Verlag, 1992.

• 1994年9月30日(金)〜1995年7月19日(水)
  Jean H. Gallier,
  Logic for Computer Science: Fundation of Automatic Theorem Proving,
  Harper & Row Computer Science and Technology Series,
  John Wiley & Sons,Inc. 1987.
  (Chapter 2 〜 Chapter 5).

• 1994年6月14日(火)〜1995年1月18日(水)
  S. Thompson,
  Type Theory and Functional Programming,
  Addison-Wesley, 1991.
  (Chapter 1 〜 Chapter 5).

• 1993年9月28日(火)〜1994年5月31日(火)
  高橋正子,
  計算論 : 計算可能性とラムダ計算,
  コンピューターサイエンス大学講座 24,
  近代科学社, 1991.

正規以外のゼミで読まれた本一覧 (1997.4-2000.3)

• 1998年5月12日(木)〜1999年11月25日(木)
  Hubert Comon, Max Dauchet, Remi Gilleron, Denis Lugiez, Sophie Tison, Marc Tommasi,
  Tree Automata Techniques and Applications,
  http://www.grappa.univ-lille3.fr/tata/

• 1998年5月12日(火)〜1998年12月23日(水)
  酒井 文雄,
  環と体の理論,
  共立講座 21世紀の数学 8,
  共立出版株式会社, 1997.

• 1996年8月1日〜8月26日
  Benjamin C.Pierce,
  Basic Category Theory for Computer Scientists,
  MIT Press, 1991.

• 1996年3月
  Keith Devlin,
  The Joy of Sets,
  Springer-Verlag, 1993.
  (Chapter 1 〜 Chapter 2).

• 1995年2月〜1995年12月
  高橋正子,
  計算論 : 計算可能性とラムダ計算,
  コンピューターサイエンス大学講座 24,
  近代科学社, 1991.

• 1994年秋〜1999年夏
  S.Maclane, G.Birkhoff,
  ALGEBRA,
  Chelsea Publishing Company New York.

webmaster