外山研究室の輪講の記録

外山研究室では，論文紹介と専門書講読の2種類の輪講を定期的に行っています．

紹介された論文一覧

• 2016年度
• 2015年度
• 2014年度
• 2013年度
• 2012年度
• 2011年度
• 2010年度
• 2009年度
• 2008年度
• 2007年度
• 2006年度
• 2005年度
• 2004年度
• 2003年度
• 2002年度
• 2001年度
• 2000年度

読まれた本一覧

• 2016年4月15日(金)〜2016年11月24日(木)
  Franz Baader, Tobias Nipkow,
  Term Rewriting and All That,
  CAMBRIDGE UNIVERSITY PRESS, ISBN 0-521-45520-0, 1998.
• 2015年4月24日(金)〜2016年1月22日(金)
  Tobias Nipkow and Gerwin Klein,
  Concrete Semantics: With Isabelle/HOL,
  Springer, ISBN: 978-3-319-10542-0, 2014.
• 2014年4月18日(金)〜2015年2月13日(金)
  Hanne Riis Nielson, Flemming Nielson,
  Semantics with Applications: An Appetizer,
  Springer-Verlag, ISBN-13: 978-1846286919, 2007.
• 2013年4月19日(金)〜2014年2月21日(金)
  Davide Sangiorgi,
  Introduction to Bisimulation and Coinduction,
  Cambridge University Press, ISBN-13: 978-1107003637, 2011.
• 2012年4月20日(金)〜2013年2月22日(金)
  John Harrison,
  Handbook of Practical Logic and Automated Reasoning,
  Cambridge University Press, ISBN-13: 978-0521899574, 2009.
• 2011年5月13日(金)〜2012年2月17日(金)
  Haruo Hosoya,
  Foundations of XML Processing: The tree-automata approach,
  Cambridge University Press, ISBN 978-0-521-19613-0, 2010.
• 2010年5月14日(金)〜2011年2月25日(金)
  Aaron R. Bradley, Zohar Manna,
  The Calculus of Computation,
  Springer-Verlag Berlin Heidelberg, ISBN 978-3-540-74112-1, 2007.
• 2009年4月24日(金)〜2010年3月10日(水)
  Chris Okasaki,
  Purely Functional Data Structures,
  Cambridge University Press, ISBN 0-521-66350-4, 1999.
• 2008年4月11日(金)〜2009年2月27日(金)
  Glynn Winskel,
  The Formal Semantics of Programming Languages,
  The MIT Press, ISBN 0-262-23169-7, 1993.
• 2007年4月20日(金)〜2008年2月22日(金)
  Benjamin C.Pierce,
  Types and Programming Languages,
  The MIT Press, ISBN 0-262-16209-1, 2002.
• 2006年5月2日(火)〜2007年2月20(金)
  Franz Baader, Tobias Nipkow,
  Term Rewriting and All That,
  CAMBRIDGE UNIVERSITY PRESS, ISBN 0-521-45520-0, 1998.
• 2006年4月14日(金)〜2007年3月14日(金)
  Lawrence C. Paulson,
  ML for the Working Programmer,
  CAMBRIDGE UNIVERSITY PRESS, ISBN 0-521-56543-X, 1996.
• 2005年4月13日(金)〜2006年3月3日(金)
  Dexter C. Kozen,
  Automata and Computability,
  Springer-Verlag New York, ISBN 0-387-94907-0, 1997.
• 2004年4月16日(金)〜2005年2月25日(金)
  Dirk van Dalen,
  Logic and Structure,
  Springer-Verlag, ISBN 3-540-57839-0, 1997.
• 2003年4月11日(金)〜2004年3月12日(金)
  Neil D. Jones,
  Computability and Complexity: From a Programming Perspective,
  MIT Press, ISBN 0262100649, 1997
• 2002年9月19日(木)〜2003年3月4日(火)
  高橋正子,
  計算論 -計算可能性とラムダ計算-,
  コンピューターサイエンス大学講座 24,
  近代科学社, ISBN 4-7649-0184-6, 1991.
• 2002年4月17日(水)〜2003年3月6日(木)
  Michael R A Huth, Mark D Ryan,
  Logic in Computer Sciences:
  Modelling and Reasoning about Computer Systems,
  Cambridge University Press, ISBN 0-521-65602-8, 2000.
• 2001年4月24日(火)〜2001年12月10日(月)
  Franz Baader, Tobias Nipkow,
  Term Rewriting and All That,
  CAMBRIDGE UNIVERSITY PRESS, ISBN 0-521-45520-0, 1998.
• 2001年4月11日(水)〜2002年2月13日(水)
  G.J.Sussman, H.Abelson, J.Sussman (訳：和田英一),
  計算機プログラムの構造と解釈 第2版,
  ビアソン・エデュケーション, ISBN 4-89471-163-X, 2000.
• 2000年5月19日(金)〜2001年3月8日
  Dexter C. Kozen,
  Automata and Computability,
  Springer-Verlag New York, ISBN 0-387-94907-0, 1997.

北陸先端科学技術大学院大学における外山・酒井研 (1993.4-1997.3)／外山研(1997.4-2000.3)における輪講記録は外山研究室で行った輪講の記録(JAIST)へ．

webmaster