依存対を用いた文脈依存書換え系の停止性判定について

スポンサーリンク

概要

• 論文の詳細を見る
• 電子情報通信学会の論文
• 1999-12-10

著者

• 中村 正樹

  金沢大学理工学域電子情報学類

• 中村 正樹

  北陸先端科学技術大学院大学情報科学研究科

• 外山 芳人

  東北大学

• 中村 正樹

  金沢大学 理工学域 電子情報学類

関連論文

• B-2 代数仕様言語CafeOBJにおけるモデル検査(プログラムの理論,B.ソフトウェア)
• AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
• AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
• 非定常ランダム外界における学習オ-トマン
• OTS/CafeOBJ法に基づく並行システムの実装とテスト生成(コンカレントシステム,離散事象システム及び一般)
• CSTソリューションコンペティション2010--マルチカーエレベータの最適制御 (コンカレント工学)
• 新しいソフトウェアの実現 : 科研「情報学」プロジェクトA01柱を振り返って(「情報学を創る」-科研プロジェクトがめざしたもの)
• RB-003 An algebraic specification of message passing programming languages
• CafeOBJ入門(6) : 通信プロトコルの検証
• CafeOBJ入門(5) : 認証プロトコルの検証
• CafeOBJ入門(4) : 証明譜による検証法(エージェント)
• CafeOBJ入門(3) : 等式推論と項書換システム
• Maude : 書換え論理に基づく計算機言語および処理系(ソフトウェア紹介)
• CafeOBJ入門(2) : 構文と意味
• CafeOBJ入門(1) : 形式手法とCafeOBJ
• LA-008 実行可能な代数仕様の停止性証明について(モデル・アルゴリズム・プログラミング)
• モジュラーな代数仕様言語のための項書き換えシステム(システム検証の科学技術)
• OTS/CafeOBJからOTS/Maudeへの仕様変換の研究
• 項書き換えシステムにおける可簡約演算子とその応用
• 項書き換えシステムにおける可簡約演算子とその応用
• STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
• B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
• B-034 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証(B.ソフトウェア)
• LA-005 項書換えシステムにおける可簡約演算子とその応用(A. モデル・アルゴリズム・プログラミング)
• B-1 代数仕様言語CafeOBJのための拡張可能な前処理系(プログラムの理論,B.ソフトウェア)
• 帰納的推論の理論 (学習)
• 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
• 5項 コンピュータサイエンス研究会(3節 工学研究会,第5章 国際会議・シンポジウム等)
• User-defined on-demand matching
• 依存対を用いた文脈依存書換え系の停止性判定について
• 消去法による項書換え系の停止性判定について
• 依存対を用いた文脈依存書換え系の停止性判定について
• 消去法による項書換え系の停止性判定について
• OTS/CafeOBJ法における証明譜からのテスト生成
• A Specification Translation from Behavioral Specifications to Rewrite Specifications
• Argument filtering transformation
• ナノピコ教室(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 万能チューリング機械の構成に必要な複雑さについて
• 文脈依存書き換えの拡張
• CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
• A Behavioral Specification of Imperative Programming Languages
• システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
• システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
• システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
• システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
• Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method
• 在宅患者見守りのための周辺器具からの情報収集システムの構築 (ユビキタス・センサネットワーク)
• 在宅患者見守りのための周辺器具からの情報収集システムの構築 (アドホックネットワーク)
• 在宅患者見守りのための周辺器具からの情報収集システムの構築(行動認識,フレッシュマン・セッション,ユビキタス・センサネットワーク,ユビキタス・システム,アドホックネットワーク)
• B-19-17 臀部・足位置検出機能を持つ立ち上がり動作評価システムの試作(B-19.ユビキタス・センサネットワーク,一般セッション)
• B-19-16 在宅患者見守り支援システムの危険行動識別の基礎的評価(B-19.ユビキタス・センサネットワーク,一般セッション)
• K-042 在宅療養患者危険行動検知システムの開発(作業・理学療法のための福祉情報工学,K分野:教育工学・福祉工学・マルチメディア応用)
• 立ち上がり動作における支持基底面および重心可視化システム (イメージ・メディア・クオリティ)
• 立ち上がり動作における支持基底面および重心可視化システム (マルチメディア･仮想環境基礎)
• 立ち上がり動作における支持基底面および重心可視化システム (福祉情報工学)
• 立ち上がり動作における支持基底面および重心可視化システム (画像工学)
• 看護師向け指さし呼称確認システムの試作 (マルチメディア･仮想環境基礎)
• 看護師向け指さし呼称確認システムの試作 (福祉情報工学)
• 装着型センサを用いた高次脳機能障がい者の運転技能評価システムに関する研究 (福祉情報工学)
• 看護師向け指さし呼称確認システムの試作 (画像工学)
• 看護師向け指さし呼称確認システムの試作 (イメージ・メディア・クオリティ)
• 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
• 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
• 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
• 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
• 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
• 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
• 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
• 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)

もっと見る 閉じる

スポンサーリンク