{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1573387452007492352.json","@type":"Article","productIdentifier":[{"identifier":{"@type":"NAID","@value":"110002929510"}}],"dc:title":[{"@language":"ja","@value":"関数プログラムのプロモーション変換のための二手法の関係"},{"@language":"en","@value":"Relationship between two Approaches to the Promotional Transformation of Functional Programs"}],"dc:language":"ja","description":[{"type":"abstract","notation":[{"@language":"ja","@value":"関数プログラムでは, 関数の間で受け渡されるが最終結果には出現しない中間的なデータ構造を生成しないように, 関数合成をひとつの関数にプロモーションする(融合する)ことが, 効率改善にとって重要である. 補助引数あるいは蓄積引数を持つ関数に関してこの問題を解決するための手法として, \"高階catamorphism\"を用いる方法と, \"媒介型\"を導入することによるhylomorphismを用いる方法が研究されている. 本稿は, 補助引数を持つ関数の高階catamorphismによる融合操作は, 媒介型を用いた変換操作の枠組で説明することができることを, 簡単な具体例を通して示す."},{"@language":"en","@value":"In order to improve the efficiency of functional programs, it is important to perform promotional transformation to reduce intermediate data structures which are passed through a composition of two functions but never appear in the final result. As for the functions with accumulational parameters, two approaches for this transformation have been studied:one is based on the concept of \"higher order catamorphism,\" and the other is based on the derivation of hylomorphisms structured by the \"medio type.\" In this paper, through a concrete simple example, we show that the former approach can be totally interpreted within the framework of the latter."}]}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1420564276179122688","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"90203372"},{"@type":"NRID","@value":"1000090203372"},{"@type":"NRID","@value":"9000020673518"},{"@type":"NRID","@value":"9000311516108"},{"@type":"NRID","@value":"9000382644634"},{"@type":"NRID","@value":"9000347540923"},{"@type":"NRID","@value":"9000409021460"},{"@type":"NRID","@value":"9000258237896"},{"@type":"NRID","@value":"9000283468525"},{"@type":"NRID","@value":"9000408423441"},{"@type":"NRID","@value":"9000347539771"},{"@type":"NRID","@value":"9000406029578"},{"@type":"NRID","@value":"9000006713203"},{"@type":"NRID","@value":"9000347534201"},{"@type":"NRID","@value":"9000408790761"},{"@type":"NRID","@value":"9000258570927"},{"@type":"NRID","@value":"9000021477476"},{"@type":"NRID","@value":"9000025078423"},{"@type":"NRID","@value":"9000287225663"},{"@type":"NRID","@value":"9000258237801"},{"@type":"NRID","@value":"9000403052949"},{"@type":"NRID","@value":"9000258238081"},{"@type":"NRID","@value":"9000006376902"},{"@type":"NRID","@value":"9000402610247"},{"@type":"NRID","@value":"9000404222660"},{"@type":"NRID","@value":"9000398792777"},{"@type":"NRID","@value":"9000258237852"},{"@type":"NRID","@value":"9000258237470"},{"@type":"NRID","@value":"9000404222658"},{"@type":"NRID","@value":"9000258571277"},{"@type":"NRID","@value":"9000413580248"},{"@type":"NRID","@value":"9000004567731"},{"@type":"NRID","@value":"9000019967308"},{"@type":"NRID","@value":"9000311512162"},{"@type":"NRID","@value":"9000258571386"},{"@type":"NRID","@value":"9000382644675"},{"@type":"NRID","@value":"9000287164540"},{"@type":"NRID","@value":"9000402492895"},{"@type":"NRID","@value":"9000258571025"},{"@type":"NRID","@value":"9000287176057"},{"@type":"NRID","@value":"9000258238575"},{"@type":"NRID","@value":"9000241722195"},{"@type":"NRID","@value":"9000283722492"},{"@type":"NRID","@value":"9000413851974"},{"@type":"NRID","@value":"9000258237697"},{"@type":"NRID","@value":"9000283467723"},{"@type":"NRID","@value":"9000347539778"},{"@type":"NRID","@value":"9000287000148"},{"@type":"NRID","@value":"9000398792291"},{"@type":"NRID","@value":"9000258238087"},{"@type":"NRID","@value":"9000258238094"},{"@type":"NRID","@value":"9000258237689"},{"@type":"NRID","@value":"9000258571460"},{"@type":"NRID","@value":"9000408423576"},{"@type":"NRID","@value":"9000311512154"},{"@type":"NRID","@value":"9000403034002"},{"@type":"NRID","@value":"9000258571213"},{"@type":"NRID","@value":"9000304612679"},{"@type":"NRID","@value":"9000382644403"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/read0048240"}],"foaf:name":[{"@language":"ja","@value":"岩崎 英哉"},{"@language":"en","@value":"Iwasaki Hideya"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"東京大学教育用計算機センター"},{"@language":"en","@value":"Educational Computer Centre, University of Tokyo"}]},{"@id":"https://cir.nii.ac.jp/crid/1420282801187054720","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"50292769"},{"@type":"NRID","@value":"1000050292769"},{"@type":"NRID","@value":"9000287167364"},{"@type":"NRID","@value":"9000406031901"},{"@type":"NRID","@value":"9000404844285"},{"@type":"NRID","@value":"9000304612370"},{"@type":"NRID","@value":"9000404844756"},{"@type":"NRID","@value":"9000404844275"},{"@type":"NRID","@value":"9000243892485"},{"@type":"NRID","@value":"9000408780297"},{"@type":"NRID","@value":"9000406298777"},{"@type":"NRID","@value":"9000304612418"},{"@type":"NRID","@value":"9000348891243"},{"@type":"NRID","@value":"9000406031453"},{"@type":"NRID","@value":"9000242254100"},{"@type":"NRID","@value":"9000406312947"},{"@type":"NRID","@value":"9000408423516"},{"@type":"NRID","@value":"9000404670888"},{"@type":"NRID","@value":"9000382644229"},{"@type":"NRID","@value":"9000391780399"},{"@type":"NRID","@value":"9000341528215"},{"@type":"NRID","@value":"9000408423579"},{"@type":"NRID","@value":"9000404220592"},{"@type":"NRID","@value":"9000347541242"},{"@type":"NRID","@value":"9000021446392"},{"@type":"NRID","@value":"9000021581624"},{"@type":"NRID","@value":"9000346936913"},{"@type":"NRID","@value":"9000404942799"},{"@type":"NRID","@value":"9000242117311"},{"@type":"NRID","@value":"9000391780291"},{"@type":"NRID","@value":"9000408420493"},{"@type":"NRID","@value":"9000305624449"},{"@type":"NRID","@value":"9000341527457"},{"@type":"NRID","@value":"9000348890236"},{"@type":"NRID","@value":"9000242254139"},{"@type":"NRID","@value":"9000408423570"},{"@type":"NRID","@value":"9000345299200"},{"@type":"NRID","@value":"9000063027136"},{"@type":"NRID","@value":"9000398792784"},{"@type":"NRID","@value":"9000304614056"},{"@type":"NRID","@value":"9000347541261"},{"@type":"NRID","@value":"9000243887191"},{"@type":"NRID","@value":"9000406031891"},{"@type":"NRID","@value":"9000406313463"},{"@type":"NRID","@value":"9000404671159"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/zhenjiang_hu"}],"foaf:name":[{"@language":"ja","@value":"胡 振江"},{"@language":"en","@value":"Hu Zhenjiang"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"東京大学大学院工学系研究科"},{"@language":"en","@value":"Faculty of Engineering, University of Tokyo"}]}],"publication":{"publicationIdentifier":[{"@type":"NCID","@value":"AN10485570"}],"prism:publicationName":[{"@value":"情報処理学会研究報告. PRO, [プログラミング]"},{"@language":"en","@value":"IPSJ SIG Notes"}],"dc:publisher":[{"@value":"一般社団法人情報処理学会"},{"@language":"en","@value":"Information Processing Society of Japan (IPSJ)"}],"prism:publicationDate":"1996-03-26","prism:volume":"96","prism:number":"33","prism:startingPage":"79","prism:endingPage":"84"},"dataSourceIdentifier":[{"@type":"CIA","@value":"110002929510"}]}