スーパーグローバル大学創成支援(SGU) Waseda Ocean構想
Waseda Goes Global:A Plan to Build a Worldwide Academic Network
that is Open, Dynamic and Diverse
|タイトル||Functional Programming for Algorithm Design|
|場 所||早稲田大学120-5号館 303号室|
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/
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.