継続の適用をジョインポイントとする アスペクト指向プログラミングモデル
日本ソフトウェア科学会第 22 回大会（2005 年度）論文集 1 継続の適用をジョインポイントとする アスペクト指向プログラミングモデル A Model for Aspect-Oriented Programming that Regards Applications to Continuations as Join Points 遠藤 侑介 : 増原 英彦 ; 米澤 明憲 : Yusuke Endoh Hidehiko Masuhara Akinori Yonezawa : 東京大学 大学院情報理工学系研究科 ; 東京大学 大学院総合文化研究科 Graduate School of Information Science and Technology, Graduate School of Arts and Sciences, the University of Tokyo the
オブジェクト指向と高階関数は同じようなもの？ - sumiiのブログ
等とLL Ringで口走った責任をとって解説してみる。オブジェクトをλ計算にencodeする話は1990年代に流行って、λ計算＋レコードで「大体」表現できる、ということになったらしい。情報隠蔽は存在型(exsitential type)でもstateのclosureでもよい（というか、それらも似たようなものだが）。細かい違いはいろいろとあるようだし、そもそも「オブジェクト指向」の定義も曖昧なので問題がwell-definedではないかもしれないが。 ちなみに、4年生のときに研究室配属されて、最初に参加したゼミの講演が上述のcomparing object encodingsだったのだが（話者はTACSで来日していたPierce）、当たり前ながらまったくわからず、これはヤバいと思って、数週間後の自分の発表*1までに型システム関係の論文を20本ぐらい読み漁った（当時はTAPLなどという便利なも
λ計算とは コンピュータの人気・最新記事を集めました - はてな
まず無限個の変数が与えられているとする。変数は通常x, yなどど記述される。変数から出発し、次の操作を繰り返して得られるものをλ式と呼ぶ。 λ抽象 λ式Mと変数xから、式λx. Mを生成する操作。これは、変数xに引数を受け取り、値Mを返す関数を意図する。Mに含まれる変数xはこのλにより束縛されるという。ただし、すでに束縛されているものは除く。 関数適用 二つのλ式M, Nを並べて結合した式MNを作る操作。これは式Mが表す関数に引数としてNを与えることを意図する。 またλ抽象や関数適用の範囲を明確にするために括弧を用いる。 例: (λx. xx)(λx. xx),λf.(λx.(f (x x)) λx.(f (x x)))
ラムダ計算ＡＢＣ
仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Projects/pit.en - PPP
ソフトウェア基礎論配布資料 (3) λ計算(1) 五十嵐 淳 京都大学 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp 平成 16 年 10 月 19 日 1 関数と λ 記法，λ 計算 プログラムにおい
http://ling.ucsd.edu/~barker/Lambda/
