番原 睦則 Banbara Mutsunori

ID:9000258237482

奈良工業高等専門学校 Nara National College of Technology. (2000年 CiNii収録論文より)

同姓同名の著者を検索

論文一覧:  1件中 1-1 を表示

  • 線形論理型言語の効率的なリソース管理モデル

    姜 京順 , 番原 睦則 , 田村 直之

    1987年にJ.-Y. Girardが発表した線形論理は,計算機科学への応用が期待されている新しい論理体系である。線形論理の論理型言語への応用は,特に活発な分野の一つであり,LO,ACL,Lolli,Lygon,Forum,およびLLP等の研究がある。これらのほとんどの言語では,リソース概念はプログラミング上で重要な位置を占めている。したがって,リソースを効率的良く取り扱う計算モデルの構築は重要な …

    コンピュータ ソフトウェア 18-0(0), 138-154, 2000

    DOI

ページトップへ