2024-03-29T04:27:57Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001215732023-11-17T02:17:36Z06504:08008:08015
遅延ナローイングに基づく言語Evの等式翻訳方法Compiling Method of Equations in Narrowing Based Language Evjpnhttp://id.nii.ac.jp/1001/00121704/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=121573&item_no=1&attribute_id=1&file_no=1筑波大学筑波大学鈴木, 太朗井田, 哲雄ナローイングは等式に関する推論を効率良く行なう方法として考えられたものであるが、最近、関数型言語と論理型言語を融合する計算機構として注目されている。また、遅延評価は、プログラミングにおけるその有効性が関数型言語の研究において広く認識されている。現在我々は、遅延ナローイング計算系(以降LNCと呼ぶ)に興味を持っている。これは、等式の反駁による証明を計算の機構とし、証明の過程で値が必要になった関数項のみをナローイングにより簡約する計算系である。我々は、LNCに基づく書語Evを定義した。ナローイングに基づく言語を実現するには、等式の翻訳を効率よく実現することが不可欠である。本稿では、言語Evにおける等式の翻訳方法について述べる。AN00349328全国大会講演論文集第44回ソフトウェア1231241992-02-242015-01-20