関数型プログラムによる属性評価を行う教育用属性文法インタプリタ
スポンサーリンク
概要
- 論文の詳細を見る
プログラミング手法と言語処理系について, 直接的かつ多面的に学習することのできる教育用システムとして, 属性文法インタプリタを構成した. 本システムを用いて, たとえば, 次のような項目についての基本的な学習を行うことができる. (1)属性文法による非手続き的プログラミング, (2)LISPKIT-LISP-Bによる関数型プログラミング, (3)コンパイラなどの言語処理系の基本的な構造.
- 一般社団法人情報処理学会の論文
- 1984-07-15
著者
-
桃内 佳雄
北海道大学大学院工学研究科情報工学専攻
-
宮本 衛市
北海道大学
-
岡田 哲彦
北海道大学大学院工学研究科情報工学専攻
-
岡田 哲彦
北海道大学大学院工学研究科情報工学専攻:(現) (株)日立製作所中央研究所
関連論文
- 仮想Newsgroupの導入によるNetNewsの記事探索及び分類について
- Language Embedding に基づくオブジェクト指向言語の型推論
- プロダクションメモリのモジュール構造化機能をもつ適応プロダクションシステム
- 隣接情報学習を用いた多言語対訳コーパスからの対訳語の自動抽出(自然言語処理)
- アイヌ語-日本語対訳コーパスを対象とした局所着目型学習による対訳語の自動抽出
- 隣接情報に基づく対訳語の自動抽出手法(情報抽出・翻訳知識獲得)
- 局所着目方式によるアイヌ語 : 日本語名詞対訳語の抽出について(抽出,マイニング)
- 局所着目方式によるアイヌ語ー日本語名詞対訳語の抽出について(抽出, マイニング)(言語理解とコミュニケーション)
- 局所着目方式によるアイヌ語-日本語名詞対訳語の抽出について
- 翻訳例に基づく再帰チェーンリンク型学習による機械翻訳手法
- E-56 対訳コーパスからの辞書未登録語抽出における再帰チェーンリンク型学習の有効性について(機械翻訳(2),E.自然言語・文書)
- E-49 再帰チェーンリンク型学習を用いたアイヌ語-日本語間の対訳辞書の自動構築について(機械翻訳(1),E.自然言語・文書)
- E-031 複数語句から象徴語句への換言可能性に関する考察(E分野:自然言語・音声・音楽)
- E_022 二分依存関係に基づく深層格推測手法(E分野:自然言語)
- 単語概念の深層格選好に基づく深層格推測手法(自然言語処理)
- E-004 ネットワークの活性値に基づく深層格解析手法(E分野:自然言語)
- ネットワークの活性値に基づく深層格解析手法の提案(文脈・照応解析)
- LF-002 深層格の推測手法における自動クラスタリングの利用(F. 人工知能)
- D-5-6 意味解析規則の教師なし学習における深層範疇の基礎的検討
- アイヌ語地名構成要素解析のための辞書と解析ツールの構成
- "解なし"問題の抽象化による解法のための基礎理論
- 論理プログラムの準同型定理に基づく "解なし" 問題の解法
- 準同型変換による抽象化を用いたプラニング
- ω書き換えシステムの準同型定理と到達不可能性
- ω書き換えシステムの準同型定理と到達不可能性
- 準同型写像によるβ書き換え系の到達不能性の証明
- ネットワークの活性値に基づく深層格解析手法の提案(文脈・照応解析)
- 文字列領域の問題解決における一階論理表現からのプログラム生成
- 集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理)
- 等価変換による数独パズルの解法
- 対訳コーパスを用いた多言語間格フレーム対の自動獲得のための名詞句対の自動抽出手法
- GIMによる並行オブジェクトのメッセージ制御機構の実現
- CollaborationとScenarioに基づくエージェントモデル
- オブジェクトの集団的振舞いの動的構成法
- Open System のための Generic Interaction Model
- メタレベルアーキテクチャを用いた抽象実行系の構築
- Genericな相互作用を有する並行計算モデル : GIM
- 分散オブジェクトによる分散制約充足システムの開発
- 分散オブジェクトによる分散制約充足システムの開発
- 並行オブジェクト群による協調動作に対する型の定義
- 並列オブジェクトシステムのモデル化と設計法
- Language Embeddingによる並行オブジェクトモデルの分析 (情報工学専攻創立20周年記念号)
- 分散オブジェクトにおける到着順序に関するメッセージ群の構造化
- 開放系のための協調計算に基づく名前付けモデル (分散オペレーティングシステム)
- 多言語分散環境のための型機構 (オブジェクト指向研究会から)
- 効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)
- A Theoretical Foundation for Generation of Equivalent Transformation Rules (Program Transformation, Symbolic Computation and Algebraic Manipulation)
- 負制約の等価変換による問題解決の基礎理論
- 条件部と実行部を持つ等価変換ルールの自動生成
- 問題仕様からの等価変換ルールの生成
- 問題仕様からの等価変換ルールの生成
- 問題解決のための効率的な等価変換ルールの探索
- 一階論理表現の等価変換を用いた問題解決の正当性
- 等価変換ルールの生成方法の理論的基礎
- 場とイベントによる並列計算モデル : Kamui 88
- 汎用簡易言語として見たインタプリタ言語Laplas
- 等価変換によるナンバーラインの解法
- プログラム変換による自然言語の意味解釈 ( 自然言語処理の実動システム)
- 参照を含む宣言的記述と負参照の等価変換
- 文字列領域における負制約の等価変換の基礎
- 否定を表現する新しい枠組 : 等価変換に基づくアプローチ
- 宣言的プログラムの推論規則
- 等価変換による最小説明発見問題の解法
- 等価変換による仮説推論
- 宣言的プログラムの宣言的意味による仮説推論問題の定式化
- 否定を含む宣言的プログラムのプログラム変換
- マルチキャストを用いたNetNewsの配送方式について
- 分散並列環境のためのファイルシステムについての一考察
- コード生成を知識化したマイクロプログラム生成系
- 論理的問題の等価変換による解法(2) : SLD導出の限界
- SLD導出の難点とその克服
- SLD導出の難点とその克服
- SLD導出の難点とその克服
- 等価変換ルールの探索に基づくプログラム合成
- 等価変換ルールの探索に基づくプログラム合成
- 等価変換ルールの探索に基づくプログラム合成
- 効率的な等価変換ルールを探索する方法
- 型に基づく複合オブジェクトの振舞いの解析
- プロトタイピングのためのオペレーショナルモデルOPM
- ソフトウェアプロセスの基本制御構造
- 分散環境における手続き型言語のループの並列化
- 並行オブジェクトの振舞いの枠組みに基づくプログラミング環境
- 並行オブジェクトの協調動作の振舞い記述
- 意味処理のためのプログラム変換の制御と高速化
- 虫取り支援を目的としたPASCALプログラム実行制御システム
- setof参照による問題解決
- setof参照を用いた宣言的記述からのルール生成
- 条件を満たす項の集合の表現と計算
- 主題要素の生成における制約条件について
- フレーバーにより構成された辞書および文章の意味構造を用いる文章生成システム
- Goal-Planモデルに基づくプログラムおよびドキュメント作成支援エディタ
- マルチセット領域上の等式制約の等価変換
- マルチセット領域の宣言的プログラムの基礎的な等価変換
- 項領域における包含制約の等価変換
- マルチセット領域の特殊化システムと等式制約の等価変換
- クラスと部分構造を持つ対象の表現と計算 : 論理に基づいた単純な枠組みの提案
- クラスと部分構造を持つ対象を扱う論理に基づく単純な枠組みの提案
- 直観主義自然数論に基づくプログラム合成のリスト処理への拡張
- 関数型プログラムによる属性評価を行う教育用属性文法インタプリタ
- アイヌ語・日本語単語直接翻訳における名詞並びの処理について