课题基金 / 基金详情

古典線形論理に基づいた論理型言語に関する研究

古典線形論理に基づいた論理型言語に関する研究
基于经典线性逻辑的逻辑语言研究
批准号：
10139224
负责人：
田村 直之
金额：
$0.9万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份：
1998
资助国家：
日本
项目状态：
已结题
起止时间：
1998 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139224/
关键词：
線形論理論理型言語静的解析

项目摘要

项目成果

田村 直之的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Millerにより設計されたForumは,古典線形論理に基づいた仕様記述言語であり,RISCプロセッサの仕様記述,Algol風言語の仕様記述,SMLの仕様記述,関数論理型並列言語の仕様記述などに用いられており,ペンシルバニア州立大学,ハーヴェイ・マッド・カレッジ,セント・アンドリュース大学,マラガ大学,神戸大学などで処理系が開発されているが,Forumには効率的な実行が困難という問題点がある.本年度は,Forumの効率的実行を目標として,Forumプログラムの静的解析アルゴリズムの研究開発を行った.具体的には以下の研究開発を行った.● Forumの実行過程,すなわち証明過程を有限のAND-ORグラフで表現する方法の研究● そのAND-ORグラフ上で,静的解析を行い,実行されないノードを取り除くことによって,最適化されたAND-ORグラフを作成するアルゴリズムの開発● 最適化されたAND-ORグラフを元に,Forumプログラムを効率良く実行する処理系の設計リスト整列プログラムをベンチマークとして,上記手法の有効性を調べた所,長さ6のリストの整列について,1000倍近い速度向上が得られた.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
M. Banbara: "Compiling Resources in a Linear Logic Programming Language"Proc. of Workshop on Parallelism and Implementation Technology for Logic Programming Languages. 32-45 (1998)
M. Banbara：“用线性逻辑编程语言编译资源”Proc。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
八杉満利子: "論理パズルとパズルの論理" 遊星社, 158 (1998)
安来真理子：“逻辑谜题和谜题的逻辑”Yuseisha，158（1998）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
S.Hayashi: "Testing Proofs by Examples" Lecture Notes in Computer Science 1538. 1-3 (1998)
S.Hayashi：“通过示例测试证明”计算机科学讲义 1538. 1-3 (1998)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
J.Hodas: "Efficient Implementation of a Linear Logic Programming Language" Proc.of the 1998 Joint Int'l Conf.and Symp.on Logic Programming. 145-159 (1998)
J.Hodas：“线性逻辑编程语言的有效实现”1998 年联合国际逻辑编程会议和 Symp.Proc.。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
  • 批准号：
    22K11973
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.66万
  • 财政年份：
    2022
  • 负责人：
    田村 直之
  • 依托单位：
    Kobe University
TEMPO触媒酸化を用いた天然多糖類の化学改質及び応用展開
  • 批准号：
    10J04347
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
  • 资助金额：
    $0.9万
  • 财政年份：
    2010
  • 负责人：
    田村 直之
  • 依托单位：
    The University of Tokyo
網膜神経節細胞死に対する神経保護薬の検索
  • 批准号：
    14770958
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 资助金额：
    $2.11万
  • 财政年份：
    2002
  • 负责人：
    田村 直之
  • 依托单位：
    Okayama University
ファジィ制約を取り扱うプログラミング言語についての研究
  • 批准号：
    06808030
  • 项目类别：
    Grant-in-Aid for General Scientific Research (C)
  • 资助金额：
    $0.77万
  • 财政年份：
    1994
  • 负责人：
    田村 直之
  • 依托单位：
    Kobe University
海外基金