Rubyで遅延評価 - delay, force, lazy - Journal InTime(2012-04-11)
_ Rubyで遅延評価 - delay, force, lazy 正格評価の言語で明示的に遅延評価を行う方法として、Schemeのdelay/forceがある。 Rubyで実装するとこんな感じ。 class Promise NULL = Object.new def initialize(&block) @value = NULL @block = block end def self.delay(&block) new(&block) end def force if @value == NULL @value = @block.call else @value end end end count = 0 x = Promise.delay { count += 1; 1 + 2 } p x.force #=> 3 p x.force #=> 3 p count #=> 1 メモ化してく
Writing An Interpreter In 15 Minutes With Ruby
Ruby Weekly is a weekly newsletter covering the latest Ruby and Rails news. At the last regular London Ruby User Group meetup, James Coglan gave a talk on how to implement a Scheme interpreter in 15 minutes. He recorded a video of the coding in progress beforehand so he could focus on the narration so unfortunately the video (available in a higher resolution here from Vimeo) is without sound. Ther
Structure and Interpretation of Computer Programs
Wizard Book n. Hal Abelson's, Jerry Sussman's and Julie Sussman's Structure and Interpretation of Computer Programs (MIT Press, 1984; ISBN 0-262-01077-1), an excellent computer science text used in introductory courses at MIT. So called because of the wizard on the jacket. One of the bibles of the LISP/Scheme world. Also, less commonly, known as the Purple Book. from The New Hacker's Dictionary, 2
独習 Scheme 三週間 Teach Yourself Scheme in Fixnum Days
非決定性 McCarthy の非決定性オペレータ amb [cite{jmc:amb}, cite{wc:amb}, cite{zmc:amb}] は Lisp 自身と同じくらい古いものですが、Lisp にはありません。amb は ０個あるいはそれ以上の式を引数としてとり、それらの、非決定的な (あるいは「あいまいな」)な選択を作ります。プログラムを意味のあるものに 収束させるこれらの選択を好んでつかいます。ここで、 曖昧選択の深さ優先選択をつかい、他の選択肢を探索するための バックトラックに Scheme の制御オペレータ call/cc を使う amb の Scheme への埋め込みについて検討しましょう。 結果は、拡張言語にたよることなく、Scheme で直接書けるような 探索問題の分野で使用できるエレガントなバックトラッキング戦略が できあがります。この埋め込みは Prolog 流
独習 Scheme 三週間 Teach Yourself Scheme in Fixnum Days
A practical introduction to the programming language Scheme
Scheme 入門 18. 非決定性
1. 初めに 非決定性は問題を記述するだけで答えが得られるようにするアルゴリズムです。 プログラムは選択肢の中から条件に合うものを自動的に選び出します。 この手法を使うと論理プログラムを容易に書くことができます。 例えば、 > (let ((i (amb 4 6 7)) (j (amb 5 8 11))) (if (prime? (+ i j)) (list i j) (amb))) (6 5) のようにすると '(4 6 7) と '(5 8 11) のうちから二つの数の和が素数になる組の１つを返します。 (amb 4 6 7) は、式が値を返すように 4, 6, 7 の中から適切に値を選び、同様に、 (amb 5 8 11) は、式が値を返すように 5, 8, 11 の中から適切に値を選びます。 (amb) は選ぶべき値が無いので失敗を表します。 実際は、amb は深さ優先の探索をして
On Lisp --- 非決定性
プログラミング言語を使うことで，膨大な量の詳細に飲み込まれないで済んでいる． Lispがよいプログラミング言語なのは，それ自身が多くの詳細を扱ってくれて， プログラマが耐えられる複雑さの限界を有効に使わせてくれている． この章ではマクロでLispにさらに別の種類の詳細を扱わせる方法を示す． 非決定的なアルゴリズムを決定的なものに変換することの詳細だ． この章は5つの部分に分けられる． まず，非決定性とは何かを説明する． 次に，非決定的なchooseとfailを継続を使ってSchemeで実装する． 3番目では，第20章の継続渡しマクロを基礎にCommon Lispで実装したchooseとfailを示す． 4番目では，オペレータcutをPrologとは独立に理解する方法を示す． 最後に，非決定的オペレータの改良について考察する． この章で定義される非決定的な選択オペレータは， 第23章のATN
Answer Book | SICP | kahua-web
Chat (Lingr.com) Informaiton コンセプト 注意事項 About Us メーリングリスト コメントの入力方法 RSSの配信 Daily 今日の一行(2008-10-10) Column MySQL日本語の旅(5/1) 一風変ったHaskellλ門(6/13) SICP Answer Book (5/31) 問題3.26追加 Zope Solution Zope3 幕の内 Zopeとは なぜZopeなのか Extra JavaCube 電気の使えるカフェ情報(1/8) アーカイブ Project Looking Glass XPで楽しい人生を OSS案内所 書籍の紹介 技術者のブックマーク 読書会、勉強会 Site Info Recent Changes アクセス統計情報 関連リンク 『計算機プログラムの構造と解釈 第二版』解答集(未完) Wizard Book:
The Common Lisp Cookbook - Using Emacs as a Lisp IDE
The Common Lisp Cookbook - Using Emacs as a Lisp IDE このページの資料は、もとはILC 2003 conferenceで発表された。このページの資料のいくつかについて、 より深い範囲を扱っている論文はBill Clementson's ILC2003のページで見ることができる。 このページは、LISP IDEとしてEmacsを使うことについてのイントロダクショ ンを提供することを意図している。例題のコードの断片で使われているキーバ インディングは、Setting up an IDE with Emacs on Windows or Mac OS Xページの一部として含まれてい る.emacs ファ イルで提供するものと類似のEmacsコンフィグレーションを仮定している。 ILISPを使っている場合、キーバインディングは、ILISPの現在
もうひとつの Scheme 入門
勾配の緩やかな初心者向け Scheme 入門ページです。 コンピュータは使ったことがあるが、プログラミング経験があまりない人を想定しています。 Scheme の解説はすでに山ほど優れたものがありますが、あえて解説記事を書いてみました。 Scheme のような抽象的な話題は波長が合えばすんなりと理解できますが、あわないと全く理解できません。 他の解説を読んで今ひとつよく理解できなかった人は試しに読んでみてください。 この記事の目標はコンピュータ科学の教科書の決定版である SICP を読める程度の Scheme の知識を提供することです。 目次: 処理系のインストール Scheme を電卓代わりに使う リストを作ろう 関数を定義しよう 分岐 局所変数 繰り返し 高階関数 入出力 代入 文字、文字列 シンボル型 連想リスト、ハッシュ表 ベクトルと構造体 構文の定義 (マクロ) 継続 遅延評価 非
Introduction to Roman Architecture | Yale History Lecture
Join the increasing number of students enrolling in online college courses and start earning credits towards your degree. One in every four students now take at least one class online, and during the fall 2014 term, 5.8 million college students were taking some of their classes — if not all of them — through distance learning. To keep up with increasing demand for online options, more and more sch
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Nendo -- * Nendo programming language
Scheme:末尾再帰で木をトラバース
Lua/組み込み - assari
approx-search.el
(Scheme) (Lisp)
http://chicken.wiki.br/chicken-for-ruby-programmers
サービス終了のお知らせ
MIT Scheme リファレンス：MIT Scheme リファレンス
Route 477