JOI 春合宿の講義資料 - 純粋関数型雑記帳
id:iwiwi さんからご紹介に与りまして、JOI春合宿にて講義をさせて頂きました。テーマはなんでも良いとのことでしたので、関数プログラミング入門ということで話させて頂きました。スライドを以下に公開しております。 関数プログラミング入門View more presentations from tanakh. 聴いて頂いた皆さま、拙い講義ではありましたが、どうもありがとうございました。二時間も頂けるとのことだったので、あれもこれも話したいとなって、まとまりのない発表になってしまった感が否めませんが、少しでも関数プログラミングの魅力が伝われば幸いです。関数プログラミング入門ということで、関数プログラミングを全く知らない人をターゲットに作りましたが、少々無理があったかもしれません。私はネルー値が1を切らないとなかなか準備に取り掛かれなくて、当日は準備不足で資料のミスも目立ったし、資料の退屈さを
なぜ関数プログラミングは重要か
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
関数型プログラミングと代入 - あどけない話
関数型プログラミングでは、よく「代入は使ってはならない」と言われます。関数型言語の一種である Emacs Lisp を生業とする僕は、この言葉に長年悩まされてきました。代入を使わないで実用的なプログラムを書くことは無理だからです。 もちろん、問題の内容が数学の関数に類似したものなら、代入も副作用もないプログラムを書くことは簡単です。階乗(factorial)のコードは、以下のように奇麗に実装できます。 (defun factorial(n) (if (= n 1) 1 (* n (factorial (1- n))))) しかし、こう書けることと、実際にこう書くかということとは別問題です。 Scheme のように末尾最適化を実装していて、末尾再帰をループに変換してくれるなら、上記を末尾再帰に変換したコードを書くでしょう。 しかし、Emacs Lisp には末尾最適化がありませんから、スタッ
俺様言語 Lazy を作る。番外編。Yコンビネータ。 - 言語ゲーム
Y コンビネータとは何か？ あなたはどんな言葉でも使う事が出来ます。しかし、知らない言葉を使う時は、今まで知っている言葉で説明できなくてはなりません。 例えば、「カニ」と「コロッケ」と「クリーム」だけを知っている時、あなたは「カニクリームコロッケ」について語る事が出来ます。「『カニクリームコロッケ』とは、『カニ』の味のする『クリーム』の入った『コロッケ』である。」しかし、「かぼちゃコロッケ」については語る事は出来ません。なぜなら「かぼちゃ」について何も知らないからです。 さてここで問題。「皮」や「剥いだ物」について知っている時、次の説明は適当でしょうか？「『タマネギ』とは、『タマネギ』の『皮』を剥いた物である。」私たちは、タマネギの皮を剥いてもタマネギである事を知っています。しかし、タマネギを説明するのにタマネギを話題に出しても良いものでしょうか？インチキ臭い感じがしませんか？こういうのを
Practical Common Lisp
that book is dead sexy —Xach on #lisp (more blurbs) This page, and the pages it links to, contain text of the Common Lisp book Practical Common Lisp published by Apress These pages now contain the final text as it appears in the book. If you find errors in these pages, please send email to book@gigamonkeys.com. These pages will remain online in perpetuity—I hope they will serve as a useful introdu
UNIX pipes as IO monads
Monadic i/o and UNIX shell programming This is an essay inspired by Philip Wadler's paper "How to Declare an Imperative" [Wadler97]. We will show uncanny similarities between monadic i/o in Haskell, and UNIX filter compositions based on pipes and redirections. UNIX pipes (treated semantically as writing to temporary files) are quite similar to monads. Furthermore, at the level of UNIX programming,
Computer Science - Vrije Universiteit Amsterdam
The last couple of decades have brought forth major changes to our society. Perhaps the most prominent one is the proliferation of computing devices. By 2021 it is safe to say that the number of computing devices exceeds the number of human beings in any given living or work space in the developed world. A closely related trend is that of connectivity. Devices and their owners are connected, formi
Uppsala Master’s Theses in Computing Science 178 Examensarbete DV3 2000-11-01 ISSN 1100–1836 Design Patterns for Simulations in Erlang/OTP Ulf Ekstr¨om Information Technology Computing Science Department Uppsala University Box 311 S-751 05 Uppsala S
Uppsala Master’s Theses in Computing Science 178 Examensarbete DV3 2000-11-01 ISSN 1100–1836 Design Patterns for Simulations in Erlang/OTP Ulf Ekstr¨om Information Technology Computing Science Department Uppsala University Box 311 S-751 05 Uppsala Sweden This work has been carried out at Sj¨oland & Thyselius Telecom AB Sehlstedtsgatan 6 SE-115 28 Stockholm Sweden Abstract The growing field of Desi
Pattern Languages of Functional Programs
These pages are for people interested in applying the ideas of patterns and pattern languages to the doing, understanding, and teaching of functional programming. This is just the beginning of what some hope will be a productive area of study. The web pages here are in a beta-release state. Why Patterns? Pattern languages describe how to build things. As such, patterns can be a good tool for helpi
FPS - Functional Pattern System | MSCS | Victoria University of Wellington
These patterns can be used with any object-oriented language to advance software design. The patterns form a system, i.e., a collaborating set of patterns. In their "Related Patterns" sections the patterns refer to each other and to many other published design patterns. Each of the relevant areas (object-orientation, functional programming, design patterns) is introduced in the first part of
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
Photo Tourism: Microsoft Research, Interactive Visual Media Group