3月20日（月）オックスフォード大学 Prof. Jeremy Gibbons 講演会のお知らせ

イベント情報/Event Information

3月20日（月）オックスフォード大学 Prof. Jeremy Gibbons 講演会のお知らせ

日時	2023年3月20日（月）16:30ー17:30
タイトル	Functional Programming for Algorithm Design
場所	早稲田大学120-5号館　303号室
対象者	早稲田大学学部生、大学院生、教職員、一般
参加費	無料
主催	ICT・ロボット工学拠点
後援	次世代ロボット研究機構AIロボット研究所実体情報学修士博士一貫コース

Abstract: The talk is related to the book “Algorithm Design with Haskell” by Richard Bird and Jeremy Gibbons. The book is devoted to five main principles of algorithm design: divide and conquer, greedy algorithms, thinning, dynamic programming, and exhaustive search. These principles are presented using Haskell, leading to simpler explanations and shorter programs than would be obtained with imperative languages. Carefully selected examples, both new and standard, reveal the commonalities and highlight the differences between algorithms. The algorithm developments use equational reasoning where applicable, clarifying the applicability conditions and correctness arguments. I will describe the premise of the book, including in particular the small aspect in which Haskell is insufficient, and to give an example. Application Form: https://docs.google.com/forms/d/1-KKr9xRDdI-SPnlFBm1QVK02x5lrhl6GFdwguq6csho/

Jeremy Gibbons

From 2012 until April 2017 Prof. Gibbons was Director of the Software Engineering Programme, which offers part-time professional Masters’ degrees in Software Engineering and in Software and Systems Security; He still teach on that Programme. For the academic years 2008-2010 he was also Deputy Director of the Computing Laboratory (now the Department of Computer Science), and he served as Chair of the Faculty of Computer Science from 2012 to 2016. He is a fellow of Kellogg College. Before taking up this post in 1999, he held lectureships at Oxford Brookes University and the University of Auckland, New Zealand. His research interests are in programming languages, especially functional programming and patterns in programming. He is Editor-in-Chief of the Journal of Functional Programming, and a member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi, and of IFIP Working Group 2.11 on Program Generation.