Search results for "書換え" | NDL Search

Search results 26

Group by title

関数型言語の解析・検証・効率的実行のための書換え系理論の研究

Paper図書

酒井正彦, 名古屋大学 [著][酒井正彦]2003-2005<Y151-H15500007>

National Diet Library

Subject Heading項書換え系 / 関数型言語

スケーラブル統合プログラミング言語モデルLMNtalの実用化

Paper図書

上田和紀, 早稲田大学 [著][上田和紀]2004-2006<Y151-H16300009>

National Diet Library

Subject HeadingLMNtal / プログラム言語 / コンパイラ / 並行計算 / 分散計算 / 多重集合書換え / グラフ書換え

関数型言語における計算戦略

Paper図書

酒井, 正彦, 名古屋大学1999-2002<Y151-H11680352>

National Diet Library

Subject Heading項書換え系正規化戦略関数型言語

抽象高階書換え系によるプロセス計算系の定式化に関する研究

Paper図書

鈴木, 大郎, 会津大学2001-2002<Y151-H13680388>

National Diet Library

Subject Headingプロセス計算系抽象高階項書換え系 π-計算系プロセス書換え系関数論理型言語高階ナロ-イング

書換えに基づく例外型を持つオブジェクト指向プログラムの型推論

Paper図書

坂部俊樹, 名古屋大学 [著][坂部俊樹]2004-2007<Y151-H16300005>

National Diet Library

Subject Headingオブジェクト指向計算 / 例外処理 / 通信エラー / 機密性 / 型推論 / 項書換え系

代数系における書換えシステム(グレブナー基底)とその応用

Paper図書

小林ゆう治, 東邦大学 [著][小林ゆう治]2005-2007<Y151-H17540042>

National Diet Library

Subject Heading書換えシステム / Groebner基底 / 有限表示代数 / ア...

代数的メタプログラミングに関する基礎的研究

Paper図書

濱口, 毅, 名古屋大学1996-1997<Y151-H08458067>

National Diet Library

Subject Headingメタ計算書換え計算項書換え系並行計算検証代数的仕様帰納的定理被覆集合帰納法

組合せ半群論とその応用

Paper図書

庄司邦孝, 島根大学 [著][庄司邦孝]2003-2004<Y151-H15540029>

National Diet Library

Subject Heading半群 / 群 / 融合積 / 語の問題 / アルゴリズム / 書換えシステム / 岩沢不変 / 不値環

高階項書換え系にもとづく高階パターン照合を用いたXML変換技術

Paper図書

鈴木大郎, 会津大学 [著][鈴木大郎]2003-2005<Y151-H15500014>

National Diet Library

Subject HeadingXML変換 / 高階書換え系 / 高階パターン照合 / 型体系 / 静的型チェック /...

代数系のグレブナー基底とホモロジー・ホモトピーの研究

Paper図書

小林ゆう治, 東邦大学 [著][小林ゆう治]2002-2004<Y151-H14540046>

National Diet Library

Subject Heading代数系 / グレブナー基底 / 書換えシステム / 有限表示 / ホモロジー / モノイド / 決...

代数的手法に基づくソフトウエアの検証の基礎的研究

Paper図書

酒井, 正彦, 名古屋大学1995-1997<Y151-H07680350>

National Diet Library

Subject Heading項書換え系合流条件停止条件 E単一化完備化

理論計算機科学における数理論理学の応用

Paper図書

小野, 寛晰, 北陸先端科学技術大学院大学1996-1997<Y151-H08680356>

National Diet Library

Subject Heading部分構造論理様相論理項書換え系構成的数学

並行書き換え抽象機械の研究

Paper図書

二木, 厚吉, 北陸先端科学技術大学院大学1995-1997<Y151-H07458056>

National Diet Library

Subject Heading並行 (並列) 書換え抽象機械 (並列) E戦略超並列計算機 MPI

エージエントの分散制約充足に基づく計算機システムの検証および診断

Paper図書

栗原, 正仁, 北海道工業大学1997-1999<Y151-H09650444>

National Diet Library

Subject Headingエージエント分散制約充足停止性検証二分決定グラフ項書換え系

代数系の語の問題の書換え手法による研究

Paper図書

小林, ゆう治, 東邦大学1996-1998<Y151-H08640065>

National Diet Library

Subject Heading代数系有限表示決定問題語の問題書換えシステムモノイド完備性 cross-section

高階関数・論理的プログラムの計算モデル

Paper図書

井田, 哲雄, 筑波大学1996-1997<Y151-H08458059>

National Diet Library

Subject Headingナローイング高階関数・論理型言語計算モデル条件付き項書換え系完全性

プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフオーメーシヨン

Paper図書

栗原, 正仁, 北海道大学1992-1995<Y151-H04650298>

National Diet Library

Subject Heading項書換え系プログラム合成停止性検証 EBL 完備化リフレクシ...

書換え計算の可視化に基づくプログラミング環境の実現

Paper図書

稲垣, 康善, 名古屋大学1995-1997<Y151-H07558037>

National Diet Library

Subject Heading可視化書換え計算モデルプロセス代数視覚的支援プログラミング環境関...

モジュラー書換え理論に基づく代数型ソフトウェア開発言語の構築

Digital文書・図像類

中村, 正樹, Nakamura, Masaki2013-06-13平成24(2012)年度科学研究費補助金若手研究(B) 研究成果報告書 = 2012 Fiscal Year Final Research Report2010 – 2012p.4p.-

Other Libraries in Japan

Subject Heading項書換えシステム
Note (General)...を備えた代数仕様言語に適した項書換えシステムによる仕様実行に関する......定手法を提案した.停止性は,項書換えシステムの最も重要な性質の1つで,任意の実行の有限時間内の停...

関数型並行計算モデルに関する基礎的研究

Paper図書

坂部, 俊樹, 名古屋大学1990-1991<Y151-H02680020>

National Diet Library

Subject Heading並行計算関数型計算モデル CCS ブロードキヤストナローイング並行プセス項書換え系動的項書換計算

RSS