そろそろLISPブームが再来する - やねうらおブログ(移転しました)
思うに、LISPには名著が多い。100年に一度の名著であるSICP本*1は言うに及ばず、 ハッカーと画家 コンピュータ時代の創造者たちで有名なPaul Graham氏のOn Lisp。 あと、日本のLispハッカーとして名高い竹内郁雄先生の初めての人のためのLISP (ソフトウェアライブラリ (3))。この本は、何年も前に絶版になっているが、目次からして、なにやらおかしい。 [目次] 1 初めての人のためのLisp 2 CARとCDRで世間を渡れば権兵衛もたじろぐ 3 解釈は評価なり・・・辞書なくして世は渡れず 4 基本関数を修了するや，突然関数定義 なんと大それた・・・ 5 今度はcond，再帰と再起を混同せぬように 6 またも再帰するから再帰なのだ 7 Go，go，go・・・，do，do，do・・・，loop，loop，loop・・・， やっぱりOは丸い 8 Lispの御本尊のお出まし
情報科学実験III J-9 (2007年度) コンパイラ実験 (Objective Caml版)
情報科学実験III J-9 (2007年度) コンパイラ実験 (Objective Caml版) 担当 : 南出 靖彦 (minamide@cs.tsukuba.ac.jp) 関連資料 宣言型プログラム論のホームページ(2007年度) 宣言型プログラム論のホームページ(2005年度, Standard ML) Objective Camlのマニュアル 参考図書 入門OCaml: プログラミング基礎と実践理解, OCaml-Nagoya著, 毎日コミニュケーションズ プログラミング in OCaml: 関数型プログラミングの基礎からGUI構築まで, 五十嵐淳著, 技術評論社 プログラミングの基礎, 浅井 健一 著, サイエンス社 注意 2008年度は、ソース言語をOCamlの小さいサブセットに変更する予定です。 実験の手引き (PDF版) (実験の手引き(Standard ML版
Haskellプログラミングチュートリアル
Haskellは，次のような特徴をもった関数型言語です： 強力な型システム パラメータ多相のサポート 型クラスによるアドホック多相 非正格で純粋な関数型言語 関数は非正格 遅延評価：無限リストなどのデータ構造の扱いが容易 純粋：参照透明性が保存され，副作用がない モナドを用いたプログラミング 今回は，Haskellプログラムの基本要素である関数と型について， 順を追って解説していきたいと思います． まずは，おおまかな字句構造から： コメントの書き方については，C, JavaやMLのそれと変わりません． それぞれの関数定義や宣言は，セミコロン ';' で区切られ，ブレース '{}' でグループ化されます． しかし，Haskellのレイアウトという構文により， セミコロンを省いた記述が可能です． いまのところ，行頭に文字があったらその行から新しい宣言 くらいに思っておけば大丈夫です．
まつもと直伝 プログラミングのオキテ---目次 - まつもと直伝 プログラミングのオキテ：ITpro
第0回 あらためてRuby入門 まつもとゆきひろ氏自身による「Ruby入門」をお届けします。日経Linuxの連載開始前の特別企画（2005年4月号）として，Rubyが他のスクリプト言語やオブジェクト指向言語とどこが違うのか，なぜ便利なのかを中心に解説してもらったものです。 ● 基本と他言語との違い ● 実装とRuby誕生の秘密 第1回 プログラミングとオブジェクト指向の関係 プログラマを目指す人々の中にも，「オブジェクト指向は難しい」とか，「なかなか分からない」という印象を持つ方が多いようです。そこで，Rubyを題材にオブジェクト指向という考え方について説明していきます。 ● その1 ● その2 ● その3 第2回 抽象データと継承 オブジェクト指向プログラミングを構成する3原則のうち，前回は「ポリモーフィズム」を学びました。今回はオブジェクト指向の歴史を復習した後，残りの「データ抽象」と
檜山正幸のキマイラ飼育記 - JavaScriptで学ぶ・プログラマのためのラムダ計算
「JavaScriptによるテンプレート・モナド、すっげー簡単!」にて： 紙と鉛筆でラムダ計算を実行できることは必要だな、やっぱり。 なんて強調したので、ラムダ計算の入門、いってみよう。 [追記]練習問題集を追加しました。説明を読みながら、あるいは読んだ後で是非やってみてください。→「JavaScriptで学ぶ・プログラマのためのラムダ計算 問題集」[/追記] ※印刷のときはサイドバーが消えます。 内容： JavaScriptの関数リテラル ラムダ式ってなんだ ラムダ計算の体系と適用操作 ラムダ式の例をいくつか β変換 -- ラムダ計算のキモ！ β変換を何度か実行してみる 中間まとめ、まだ続きがあるよ JavaScriptの関数リテラル 最初に、JavaScriptに関する知識を確認しておきましょう。なお、JavaScriptの対話的実行環境については「もっともお手軽な対話的JavaScr
Scheme によるプログラミング入門
内容 プログラミングについて体系的に学ぶとともに，実習を通して理解を深めます． プログラミング言語としては，文法が簡単で扱いやすいという理由で Scheme 言語を採用しています． 自宅のパソコンなどで、DrScheme を練習したい人 DrScheme は、 Dr. Scheme のWebページからダウンロードできます。 このWebページで、「Download DrScheme」をクリック、その後「Download」をクリック。 すると、Dr. SchemeダウンロードのWebページが現れるので「Download links」のところから、適切なリンクを選んでクリック。すると、ダウンロードが始まります。 この Web ページで公開している資料について 手作りの資料ですので， ミスが発見され次第，少しずつ手直しします．ご了承ください． Scheme 説明資料と演習問題 (参考) プログラ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ