「ラムダ計算」を独学で学習するための，講義ノートやPDFのリンク集 （復習用の問題付き） - 主に言語とシステム開発に関して
講義ノートの目次へ ラムダ計算は，コンピュータ・サイエンスの重要な１分野。 「λ」を使って各種の関数を記述し，λどうしの計算方法を習得すれば・・・ HaskellやF#などの関数型言語を習得するために役立つ。 プログラミングにおいて，関数についての理解を深めることができる。 複雑なアルゴリズムを簡易に記述して，挙動や性質を予測することができる。 計算機科学の，より深い専門的な話題を理解するための足がかりを得られる。 などのメリットがある。 下記に，独学でλ計算を勉強するための， 入門レベルの講義ノートやWebページを掲載する。 読みやすい便利なもの・わかりやすいものから，応用的なものへと並べてある。 質の高いものだけを精選し，わかりづらい資料は除外してある。 ラムダ計算の概要 ラムダ計算の基礎 ラムダ計算の応用 復習のための問題（入門レベル） ※λ計算を利用した計算量・計算複雑性・計算可能
関数型言語を採用するプロジェクトが増加、果たして本当に開発効率は高いのか？ | スラド デベロッパー
ソフトウェア開発に Scala や Haskell、Erlang といった関数型言語を採用する企業が増えているそうだ (ITpro の記事より) 。 関数型プログラミング言語には「迅速に開発できる、バグを抑えやすい、アプリケーションの性能を向上させやすい」といった特徴があるとし、これらは新規のサービス開発に向いているという。「言語選定が競争力に直結」といった意見も記事には掲載されている。 これだけだといいことずくめのようにも聞こえるが、関数型言語は習得しにくく、ライブラリなども C/C++ や Java と比べるとまだ少ない。使いこなせるプログラマも少なく、関数型言語で大規模システムの設計を行えるエンジニアはまだ少ないのではないだろうか。関数型言語を使える人材はある程度スキルの高い人であり、そのために生産性が高いのではという疑問もある。今後日本で関数型言語の採用は進んでいくのだろうか?
Rubyを使って「なぜ関数プログラミングは重要か」を読み解く（改定）─ 前編 ─ 但し後編の予定なし
２年ほど前に書いた記事を電子書籍化して「M’ELBORNE BOOKS」で販売するために全体的な見直しを行なって入稿する段になって、これにはベースとなっている他者の論文があって言ってみればこの記事はそのマッシュアップになっているんだけれども、その著者の許可もなくその表現が全く別物だとしてもその主張のあらすじが残っている限りにおいてこれを販売することが果たしていいことなのかという思考に遅ればせながら陥り、それが仮に法的に問題ないとしてもなんだか一表現者の行為としての妥当性を幾分欠いているという結論に至って販売を思い留まった。かと言って折角書き直したものをこのままお蔵にするのもなんだか寂しいなあという気分も一方であり、まあ原作者の意に反したものでもないだろうからブログの記事なら許してくれるよねもう２年前にも書いちゃってるしという勝手な解釈の下、ここにその記事を公開しましたのでお時間の許すRub
Lecture 19 | Programming Paradigms (Stanford)
Lecture by Professor Jerry Cain for Programming Paradigms (CS107) in the Stanford University Computer Science department. In this lecture, Prof. Cain introduces a new programming paradigm, the functional paradigm, and begins lecturing on the Scheme programming language. Programming Paradigms (CS107) introduces several programming languages, including C, Assembly, C++, Concurrent Programming, S
2011-01-11
とりあえず正月が終わりましたね。今年は情報整理の意味も兼ねてゲーム開発環境としてのLispのノウハウをまとめておこうと思います。 今回はその第一回目です。 とりあえず、今回はLisp自体の環境の整備について説明しようかと思います。 Lispの実装(インタプリタ/コンパイラ)には複数の実装が存在しています。ゲームの開発には以下の2種類がお薦めです。 SBCL CLISP SBCLはユーザのシェアが大きい処理系です。特徴としては速度が早いのが特徴です。 CLISPはユーザのシェアがそこそこ大きく移植性に優れている処理系です。これはCLISPは実行形態として仮想マシンを利用して実行されるから高い移植性を確保できているのだと思われます。 なお、シェアなどの情報は(http://xach.livejournal.com/271794.html)を参考にしました。 この2種類以外にもLisp処理系自体
java使いのためのScala の勉強のための資料作り scalaって素晴らしい いろいろ1 - nazokingのブログ
http://d.hatena.ne.jp/nazoking/20100514/1273774142 の続き 細かいというか解説がいらないのいろいろ すべてがオブジェクト オブジェクト指向型言語javaにおいてObjectではないものがある。int,long,floatなど。 たとえば 1.toString() はコンパイルできない。 しかし！ scalaでは「すべてがオブジェクト」なので、上のコードはなんの問題もなくコンパイルできる。javaではいろんなところでintとIntegerの変換をしてやる必要があるが、scalaではそれは全部コンパイラが面倒を見てくれる。 クラス階層はこんな感じ Any +--AnyVal | +-Int | +-Byte | +-: | +--AnyRef <=Object +- String +- 普通のクラス +- : デフォルト値付き引数 scala2
Lisp系でGoogle App Engine開発、Closureという選択肢 | エンタープライズ | マイコミジャーナル
Web applications for communication and collaboration Google Code Blog: Better performance in App Engine with new Lisp language Clojureにおいて、Google App Engineで稼働するアプリケーションの開発言語としてClojureを選択したユースケースが紹介されている。GAEがサポートしているプログラミング言語はJavaとPythonのみだが、Java仮想マシンで動作するプログラミング言語であればJavaバージョンで利用できる。 ClojureはLispの地方言語のひとつ。Java仮想マシンで動作し、インタプリタとしてもコンパイルして直接Javaバイトコードを生成してJava仮想マシンで動作させることもできる。紹介されている内容によればClojureを採
SICP関数型言語の勉強に「計算機プログラムの構造と解釈」を読もう - ひげぽん OSとか作っちゃうかMona-
計算機プログラムの構造と解釈posted with amazlet on 06.04.15 Gerald Jay Sussman Julie Sussman Harold Abelson 和田 英一 ピアソンエデュケーション (2000/02) 売り上げランキング: 56,404 Amazon.co.jp で詳細を見る 自分が「計算機プログラムの構造と解釈」という本を勉強していった過程をまとめています。 この本の本質は、翻訳の悪さでも難しい数学でもないです。 なんと伝えたらよいのだろうか。 全部読み終えたときにまとめたいと思います。 →読み終わったのでまとめました。「「計算機プログラムの構造と解釈(SICP)」を読み終えて」 読み終えたら次のステップとしてはOn Lispなどがおすすめです。 目次 関数型言語の勉強にSICPを読もう - (1) SICPを読み始めた理由 関数型言語の勉強に
第7回 関数脳のつくり方 First Season
大手SIベンダにてSEやPMやアーキテクトとして勤務したのち，現在は株式会社豆蔵のチーフコンサルタント。主に超上流のプロセスである要求開発やオブジェクト指向，アジャイル開発のコンサルタントとして活躍中。開発の現場にこだわり，開発の現場を少しでもよくしたいと日夜奮闘している。要求開発アライアンス 執行委員。著書に『オブジェクト脳のつくり方』や『eXtreme Programming実践レポート』（ともに翔泳社発行。後者は共著）などがある。 この連載も「刺激的」な内容が続いたと思いますので，今回は関数型のコーディングに普段なれていない皆さん向けの内容をお届けします。 そんなことを書くと，まるで私も関数型バリバリ…みたいですが，全くそんなことはありません。今までは仕事はJavaばかりで，昨年羽生田さんがやっているScalaに興味を持って取り組んで以来，ずっと「関数型」の考え方がよくわからなくて，
畳み込み関数の比較 (fold / accumulate / inject / reduce) - blanket log
つーか、fold の弱点として、言語によって引数の順番がまちまちで、 正直憶えきれないってのがあるんだよな。誰か対応表とか作ってくれんもんか。 jijixi's diary - fold, map, for-each この中から一つ選ぶとしたらどれ？ 確かにいろいろとややこしいのでまとめてみました。 いくつかの言語について大雑把に表にすると次のような感じ。 言語 関数 Haskell, OCaml, Scheme, Erlang foldl* f init items C++ accumulate(begin, end, init, f) Ruby*, JavaScript items.inject(init, f) Python, Perl* reduce(f, items [, init]) 言語 畳み込む二項演算 Scheme(SRFI)*, Erlang f(item, acc)
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
人力検索 - 関数型言語（プログラミング言語Scheme, Haskellなど）を勉強しようと思っています。 関数型言語の勉強方法
Uranus
IBM Developer
IBM Developer