外山研究室の輪講の記録
外山研究室では,論文紹介と専門書講読の2種類の輪講を定期的に行っています.
紹介された論文一覧
読まれた本一覧
- 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
まで.