アイテムタイプ |
Article |
ID |
|
プレビュー |
画像 |
|
キャプション |
|
|
本文 |
KO50001004-00390001-0001.pdf
Type |
:application/pdf |
Download
|
Size |
:679.2 KB
|
Last updated |
:Feb 18, 2015 |
Downloads |
: 336 |
Total downloads since Feb 18, 2015 : 336
|
|
本文公開日 |
|
タイトル |
タイトル |
Relative efficiencies of reduction machines
|
カナ |
|
ローマ字 |
|
|
別タイトル |
|
著者 |
名前 |
相場, 亮
|
カナ |
アイバ, アキラ
|
ローマ字 |
Aiba, Akira
|
所属 |
Department of Mathematics Faculty of Science and Technology, KEIO University
|
所属(翻訳) |
|
役割 |
|
外部リンク |
|
|
版 |
|
出版地 |
|
出版者 |
名前 |
慶應義塾大学理工学部
|
カナ |
ケイオウ ギジュク ダイガク リコウガクブ
|
ローマ字 |
Keio gijuku daigaku rikogakubu
|
|
日付 |
出版年(from:yyyy) |
1986
|
出版年(to:yyyy) |
|
作成日(yyyy-mm-dd) |
|
更新日(yyyy-mm-dd) |
|
記録日(yyyy-mm-dd) |
|
|
形態 |
|
上位タイトル |
名前 |
Keio Science and Technology Reports
|
翻訳 |
|
巻 |
39
|
号 |
1
|
年 |
1986
|
月 |
5
|
開始ページ |
1
|
終了ページ |
24
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII論文ID |
|
医中誌ID |
|
その他ID |
|
博士論文情報 |
学位授与番号 |
|
学位授与年月日 |
|
学位名 |
|
学位授与機関 |
|
|
抄録 |
Relative efficiency of the reduction of lambda-terms and that of combinatory expressions are compared when they represent recursive programs belonging to the linear branched recursion schema in Strong [7]. The terms and the expressions are extended versions by introducing constants and some primitive operations on them, and all of them are reduced by the left-most reduction strategy. Reduction costs of the lambda-calculus are obtained theoretically, and those of the combinatory logic are obtained by experiments. The conclusions: (1) reduction with subexpression sharing is more efficient than that without sharing, and (2) the reduction in the lambda-calculus is more efficient than that in the combinatory logic if the number of parameters of the program is larger, and the converse is true when its recursion depth is larger.
|
|
目次 |
|
キーワード |
|
NDC |
|
注記 |
|
言語 |
|
資源タイプ |
|
ジャンル |
Departmental Bulletin Paper
|
|
著者版フラグ |
|
関連DOI |
|
アクセス条件 |
|
最終更新日 |
|
作成日 |
|
所有者 |
|
更新履歴 |
|
インデックス |
|
関連アイテム |
|