継続 - Wikipedia
のようになる[3]。この式はすなわち、値 v を引数に取り、それに4を足した値を返す関数である。実際、この後 (+ 1 2) の計算結果が v に代入されて、4を足した値が最終的に計算結果が求められるため、この関数は確かに (+ 1 2) を評価する段階での「残りの計算」の表現である。 call/cc[編集] Schemeの call-with-current-continuation (call/cc と省略される) は、その時点での継続を引数として関数を呼び出す手続きである。Schemeの言語仕様書（R7RS[4]）には「もっとも単純な例」として次のコードが載っている： このコードは、真正な（終端が空リストである）リストが渡された際にはそのリストの要素数を数えて返し、そうでない場合はfalse値を返す。 goto文を持つ言語の意味論[編集] 継続の概念はgoto文を持つ言語に意味論を与
Effective JavaScript - Dynamic Scripting
Effective JavaScript A Few Ways to Improve Your JavaScript Effective JavaScript は JScript 、JavaScript 、ECMAScript による効果的なスクリプトの構築方法を解説するものです 目次 0 序章 はじめに 表記法 1 関数 引数 - デフォルト引数、正当性チェック、残余引数、オーバーロード 関数とオブジェクト - 無名関数、関数オブジェクト、関数アダプタ クロージャ - 無名関数を返す関数 関数の変形 - 関数の合成、引数の束縛、引数の加工 2 例外 3 オブジェクト プロパティとメソッド - 基本的な話 コンストラクタとプロトタイプ - コンストラクタ、メソッドの定義、プロトタイプによる継承 アクセスレベル - 非公開メンバ、限定公開メンバ実現のアプローチ © 1999-2004 exe
大人のためのブラックボックス読解講座――クロージャとオブジェクトの微妙な関係
はじめに 2006年8月、Javaの次期仕様（JDK7）にクロージャを入れる案*が出され話題になりました。クロージャは関数型言語では30年以上の歴史を持ち、プログラミングにおける基本的な道具となっています。最近はPerl、Ruby、Pythonなどの軽量言語（Lightweight Language）にも取り込まれ、それと知らずに使っているユーザーも増えているのではないでしょうか。 一方、手続き型言語の世界では、完全なクロージャはなじみが薄いようです。C言語からC++へと発展してきた手続き型言語のメインストリームでは、 ガーベジコレクションを持たず、ローカル変数をスタックに置くことを基本とする言語のため、クロージャとの相性が悪かった オブジェクト指向を採り入れることでクロージャの代用とできた といったことが理由でしょう。 実際、クロージャとオブジェクト指向プログラミング言語には、メカニズム
ポーランド記法 - Wikipedia
ポーランド記法（ポーランドきほう、Polish Notation）とは、数式やプログラムを記述する方法（記法）の一種。演算子（オペレータ）を被演算子（オペランド）の前（左）に記述することから、前置記法（ぜんちきほう、prefix notation）とも言う。 その他の記法として、演算子を被演算子の中間に記述する中置記法、後（右）に記述する後置記法（逆ポーランド記法）がある。 名称の由来は、ポーランド人の論理学者ヤン・ウカシェヴィチ (Jan Łukasiewicz) が考案したことによる。 概要[編集] 例えば、「1 と 2 を加算する」という演算を、一般的に数式の表記に用いられる中置記法で記述すると、以下のようになる。 1 + 2 一方、ポーランド記法では、加算を表す演算子 + を、被演算子である 1 と 2 の前（左）に置いて、以下のように記述する。 + 1 2 ポーランド記法は、演算
言語について素朴に考える (3) 〜インターネット言語そして音楽〜 - 東京永久観光
言語記号は現実の対象だけでなく他の多数の言語記号とも複雑かつ規則的に結びつく、という話だった。この働きは通常は自分の脳内で起こっている。ところがインターネットの言語に限っては、きわめてショッキングなことが新たに起こる。読み書きしている言語記号の一部が、リンクおよびクリックによって、インターネット上の他の多数の言語記号とも、同じく複雑な関係を勝手に編み上げてしまうことだ。これは脳内とは独立であり、しかも脳内の言語関係が目に見えないのと対照的に、インターネット言語のリンクによる結びつきはモニター上で確実に顕在化する。このことが私は何より面白い。これはまた改めて。 ただし、インターネットの言語「カレーライス」も、やはり実物のカレーライスにはリンクしない。そこは我々がふだん使っている言語と変わらない。ときにはカレーライスの写真くらいは出現するだろうが、それは言語と同じくカレーライスの記号でしかない
プログラマのための「ゲーデルの不完全性定理」(1) - 檜山正幸のキマイラ飼育記 (はてなBlog)
「プログラマのためのJavaScript」の番外シリーズ -- いやっ、ホントに。 これはシリーズのハブエントリーです。番号を（0じゃなくて）1にしたのは、全体目次だけじゃなくて内容が含まれるから。 ※ 印刷時にはサイドバーは消えるはずです、お試しください。 シリーズ全体目次（予定） （この記事；総論） 速攻速習編 自己適用からゲーデル化へ 「展望」への緊急パッチ（オハナシだよ） Reflective JavaScript 停止問題の構造 不完全性定理の構造 今回の内容： ゲーデルの不完全性定理とプログラミング ゲーデルが示したこと 不完全性定理の兄弟 -- 停止問題 JavaScript使うんだもんね 関連する記事（参考） 次の記事 速攻速習編 ●ゲーデルの不完全性定理とプログラミング 「ゲーデル」（人名；Kurt Godel、'o'の上に点々が付いてる）や彼の「不完全性定理」とかって、
設計のブラックホール理論 - Cafe Babe
James Goslingのブログに書かれていた話だが，元はGuy Steeleの話らしい． http://blogs.sun.com/jag/entry/the_black_hole_theory_of ざっと訳すと次のような感じか？ Lispはブラックホールだ．もしLispではない何かを，Lisp風に設計しようとすると，設計の引力がそれをブラックホールに引き込むことがわかるだろう．そして，それはLispになるんだ． Jamesは例のクロージャの提案に関連してこの話を持ち出してきた．意図を正しく読み取れていないかもしれないが，たとえばLispは簡素でフレキシブルな言語でありながら現在ほとんど使われていない理由は，その強力さゆえに言語が重力崩壊を起こしてしまったからで，Java言語においてもクロージャ機能の追加はそのような危険があるという指摘だと理解すればいいのか？（ぜひコメントをよろしく
「形式的」とは何だろう
「形式的手法」、「形式言語」、「形式的体系」などの言葉には、「形式 （的）」という形容詞が登場する。この「形式的」とはどういうことなのだろ うか。主に、形式的体系について解説することによって、形式的な発想に慣れ るキッカケを提供したい。 1. はじめに このキマイラ・サイトや他のところの記事で僕が扱っている話題には、形式 的手法、形式言語、形式的体系など、「形式（的）;formal」という形容詞が つくものが多い。同じ「形式的」という言葉でも、使われる文脈で異なる意味 あいがあるのだが、まー、共通する面もあるね。この記事では特に、「『形式 的体系』における『形式的』」について取り上げてみる。「形式的（なもの）」 に対する嫌悪感やアレルギーを取り除ければいいな、というのが僕の希望であ る。 この記事から他の記事への参照はあるが、それらの参照をたどらなくても、 この記事単独でも読める。また、他
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
第2章
https://dl.acm.org/toc.cfm?id=SERIES11430&type=series&coll=ACM&dl=ACM
『再帰的アルゴリズム』へのコメント