項書換えとは
項書換えの情報をYahoo!JAPANで検索
・条件付き項書換えを定義する線形な項書換え系
における書換え関係は,条件部を持たない項書換え系 'ÌÊË . を帰納的に構成. して定義する. ... が線形であることをいう.項書換え系. Ê. のすべての. 書換え規則が左. 右. . 線形であるならば, ...
・条件付き項書換え系の合流性について
項書換え系( TRS )はプログラム変換や検証の理論 ... 及び計算機言語の基礎理論 (特に項書き換. え系)。 酒井 正彦. 昭 59 名大・工・電気卒。 ... 項書換. え系、形式的仕様記述、仕様の検証、ソフ. トウエアの自動生成に関する研究に従事。 ...
・紐解かれた項書換え系の文脈依存条件の除去のための変換
からそれと同等の計算をする項書換え系( TRS )に変換する手法として紐解き変. 換 ... 条件付き項書換え系(CTRS)とは,規則の適用時に ... 入れ子が生じ,項書換え系(TRS)の書換えに比べて非. 常に複雑となる. ...
・Term Rewriting System
項書換え系に関する研究 ... 例えばチューリング機械などは前者の代表的なものですし、 項書換え系は後者の代表と言っても良いと思います。 ... しかし残念ながら、項書換え系については適切な部分クラス化が知られていません。 ...
・項書き換え系に基づく制約プログラミング言語システムの実現方式について
本システムは、Prologによる推論エンジンと項書換えに基づく制約ソルバーからなる制約プログラミング言語システムの処理系である。 ... 項書換え処理系本体はデータベースに登録してある規則を利用して、書換え対象項を書換える。 ...
項書換えの情報をGoogleで検索
項書換えウォッチ！：その他リンク集
・抗力
・損益
・重税
・エレベータ
・酢豚
・化合物
・大関
・救世主
・次代
・関白
・[研究室] 例題から始めよう
... 理解する必要があります． この問題は，私が大学院に入り暗号の研究をすると決めたときに，教授から研究の大まかな目標（項書換え系を用いて暗号プロトコルの安全性を検証できるようにすること）を聞いた上で，「まず考えてみなさい」と言わ ...
・[*GC][RUBY][資料]第71回情報処理学会プログラミング研究会 ...
... 分割手法の性能向上 ○中林 淳一郎 片岡 正樹 古関 聰 小松 秀昭 深澤 良彰 10月29日 (水) 09:00-10:30 制約付き項書換え系における書換え 帰納 法 ○ 坂田 翼 西田 直樹 坂部 俊樹 酒井 正彦 草刈 圭一朗 On the Inclusion Problem for ...
・Playing with Pure
... 和○○○○主演のドラマで,,, と 信頼関係のコントのネタに出てきそうですが、 そうではなくて、 項書換え(term rewriting)ベースの関数型言語です。 Pure 言語の開発者は、同じような特徴の言語として、 Q 言語 をすでに開発していますが ...
・旭川は遠い
... 並列計算には強いし，それは意味論が数理論理的に明確で解析が容易だし，副作用が無いから計算の自由度が高いから．項書換え系とかで Logic Programming を再定式化したようなルール型言語も同様だし．制約プログラミングだってそう． そういう文脈で ...
・はじめての C (ommon Lisp)
... の話題もあって，盛りだくさんですね．Solving Algebra Word Problems とか，項書換え系的な話題も． 世は Haskell や ML みたいなカッチリした言語，あるいは効率を気にしない P 言語が大流行りですが，右も左もわからない中ぐちゃぐちゃ粘土こねて，目鼻が ...
・プログラム変換と部分評価
... マッチングと置き換え (ET の場合は，条件部 (いわゆる guard) の評価も) という簡単な実行モデルで計算が進んで行く，項書換え系の言語 (ルール型言語) の方が有利だと思います． パターンを用いたプログラム変換 さらに ET の場合は，通常の書き換えルール ...
・[読書] 大丈夫ですか、ダイアーさん!
この項書換え。ダイアーさんは大丈夫だった。ダイアーの本( Pulling Your Own Strings )の18ページ目、『通りすがりの仏陀を殺せ! 心理療法患者の巡礼』とかいう電波ゆんゆんなタイトルの本、引用してる箇所は本文と同じ内容の繰返しだった。 ...
・感動の嵐
... CCL を含む，関数プログラミング的な，決定的な計算ならば，項書換えシステムによって実現できると． 融合原理と KB 法は本質的に等価．だから，論理プログラミングも，項書換え系によって項書換えシステムによって自然に実現できると． 書き換え ...
・理想のプログラミング言語の要件ってなんだろう… ?
... 制約パラダイム ・ 非常にあいまいな概念 ・ 理念としては良いが，実現方法に決め手がない ・ 制約論理型，項書換え系， CHR など ・ 制約は問題に固有なため，一般的に汎用性に乏しい → 論理パラダイム，制約パラダイムなどでは，有用な概念が ...
・担当教員と話したことメモ
... 人間的な試行錯誤，探索 --> 高い宣言度 - 数学 --> 無限を含む --> さまざまな試み - 制約パラダイム，項書換え，絞りこみ - 高い抽象度 --> 一般的に効率が悪い --> さまざまな試み - 目的に応じた制約解消子，分散処理 - 抽象度の高さ --> 本質のみ ...