項書き換え型計算モデルとその応用 (<特集>非手続き型プログラミングのための計算モデル)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1983-02-15
著者
-
二木 厚吉
Electrotechnical Labotory Computer Science Division Computer Language Section
-
二木 厚吉
電子技術総合研究所 ソフトウェア部言語処理研究室
-
外山 芳人
日本電信電話公社武蔵野電気通信研究所基礎研究部第一研究室
-
外山 芳人
東北大学
-
二木 厚吉
電子技術総合研究所
関連論文
- 非定常ランダム外界における学習オ-トマン
- 新しいソフトウェアの実現 : 科研「情報学」プロジェクトA01柱を振り返って(「情報学を創る」-科研プロジェクトがめざしたもの)
- 帰納的推論の理論 (学習)
- ISOにおける形式記述技法の標準化動向 (通信システムの形式記述技法の標準化)
- 実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
- 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
- プログラミング方法論の展望
- 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
- A.V.Aho, J.E. Hopcroft, J.D.Ullman 著, "The Design and Analysis of Computer Algorithms", Addison-Wesley 社, Reading, Mass., B5 変形判, 470p, \6,310, 1974
- 5項 コンピュータサイエンス研究会(3節 工学研究会,第5章 国際会議・シンポジウム等)
- プロセス代数モデルに基づく並行オブジェクト指向言語の意味定義
- プログラム図式を用いたプログラム開発教育環境
- 依存対を用いた文脈依存書換え系の停止性判定について
- ナノピコ教室(8)解答編 回文プログラミングを楽しもう
- 平衡弱合流性と項書換えシステムの正規戦略(理論計算機科学とその周辺)
- 項書き換えシステムの直和の停止性(計算アルゴリズムの基礎理論)
- J. Roger Hindley, and Jonathan P.Seldin 著, "Introduction to Combinators and λ-Calculus", CAMBRIDGE UNIVERSITY PRESS, B5判, 360p., £8.95, 1986
- 第8回自動演繹国際会議の報告
- 形付項書き換えシステム(計算機科学の基礎理論とその応用)
- Call by Need 再考
- On Equivalence Trarnsformations for Term Rewriting Systems
- 83-19 構成子をもつ等号理論での帰納法による証明
- 83-1 項書き換えシステムの順序付け
- 項書き換えシステムの可換性について
- H.P.Barendregt 著, "The Lambda Calculus its Syntax and Semantics", North-Holland, B5変形判, 615p., \27,000, 1981
- 81-16 合流リダクション : 抽象的な性質と項書き換えシステムへの応用
- 80-18 万能チューリング機械の構成に必要な複雑さについて
- 形式仕様記述言語LOTOSの試用経験
- プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
- 特集「非手続き型プログラミングのための計算モデル」の編集にあたって
- シリコンバレー流基礎研究所の作り方 : Stanford大学のCSLI
- An Extended Iteration Statement and Its Computability (Studies on Computational Complexities and Related Topics)