可換則に基づく項書換え系の自動変換システムとその評価
スポンサーリンク
概要
- 論文の詳細を見る
可換則に基づく項書換え系の変換は, 可換な演算の引数を項の上の単純化順序を用いた評価基準により入れ換え, 再帰の回数を減らすことで効率化を行なうもので, 変換そのものが単純であるため自動化に有利である. しかし, 実際に項書換え系の自動変換を行なうためには, 以下のような解決すべき点がある. 1. 変換の正当性2. 可換則が成り立つ関数の同定3. 項の上の単純化順序本稿ではまず, 可換則に基づく変換の正当性を示し, 2. については被覆集合帰納法を用いることにより可換則な関数を同定する手法, 3. については再帰経路順序を用いた停止性判定システムを利用して順序を定める手法を提案する. また, 我々はすでにGUIを持つ項書換え系の変換支援環境: TERSEを実現しているが, その上にこれらの手法による可換則に基づく項書換え系の自動変換システムを実装し, その評価を行なった.
- 一般社団法人情報処理学会の論文
- 1994-03-07
著者
関連論文
- 省エネ意識向上を目指した細粒度電力センシング・提示システムの構築
- WebCodget : Webサーバに移動して動作する組込み機器向け移動ソフトウェア(位置情報とRFID, ホームネットワーク, ヒューマンインタフェース, 情報家電, アクセシビリティ)
- 無線LANを用いた広域位置情報システム構築に関する検討(位置情報サービス,ユビキタス時代を支えるモバイル通信と高度交通システム)
- Particle Filterを用いた複数無線LAN基地局の位置推定手法(セッション1:位置検出)
- 無線LAN位置推定とGPSのシームレスな統合手法(位置情報)
- アクセスポイントの選択を考慮したベイズ推定による無線LANハイブリット位置推定手法とその応用
- 無線LANの受信電波強度分布間類似度による方向推定手法(位置情報サービス, ユビキタス社会におけるコラボレーションサービス)
- 指向性アンテナを用いた無線LANアクセスポイントの位置推定手法(セキュリティ管理, ユビキタス社会構築のためのネットワークに対する理論とその応用論文)
- locky.jp: 無線LANを用いた位置情報・測位ポータル(テーマ: モバイルコンピューティング・一般)
- 実環境における無線LANを用いた位置推定システムとその応用(セッション2)
- Secure Semantic Tunnelingによる異種スマート環境接続の設計(ネットワーク)
- 赤外線通信を用いた頑健なモバイルアドホックネットワーク構築手法
- 赤外線通信を用いたモバイルアドホックネットワークの実現とその応用
- モバイルアドホックネットワーク構築のための分散アルゴリズムの提案とその実現
- 指向性アンテナを用いた無線LANアクセスポイントの位置推定(センシング・IDタグ)
- 対話同時通訳コーパスの構築とその特徴分析
- 未来社会をプロデュースするICT : 5.大規模データベースと装着型センサで人間行動を理解する-次世代の快適・健康システムの実現を目指して-
- ACS アカデミック・コミュニティ・システムの開発と活用 大学のためのソーシャル・ネットワーキング・システムを目指して
- ACS : 多様な人間関係を表現可能なソーシャルネットワーキングシステム(ネットワークサービス,マルチメディア,分散,協調とモバイル(DICOMO2006))
- D-19-8 プライバシー保護を考慮した公共センサ応用(D-19.情報通信システムセキュリティ,一般セッション)
- PlanetLabを用いたIPv6オーバレイネットワークの構築
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- 適応的変換機構を用いた異種サービス連携の実現(MBL-UBI合同セッション3)
- 適応的変換機構を用いた異種サービス連携の実現(MBL-UBI合同セッション3)
- 名古屋大学情報セキュリティ対策推進室の活動
- 人間行動理解のための信号処理(学生/教養のページ)
- Particle Filterを用いた複数無線LAN基地局の位置推定手法(セッション1:位置検出)
- 対話コーパスに基づく階層化された発話意図の推定
- 大規模音声対話コーパスを用いた対話理解
- 対話構造木コーパスを用いた発話意図予測(Session-3 対話・コミュニケーション, 第7回音声言語シンポジウム)
- 対話構造木コーパスを用いた発話意図予測(Session-3 対話・コミュニケーション, 第7回音声言語シンポジウム)
- 対話構造木コーパスを用いた発話意図予測(Session-3 対話・コミュニケーション, 第7回音声言語シンポジウム)
- 音声対話コーパスにおける発話意図タグの設計と評価
- D-5-6 話し言葉解析に基づく対話データからの情報抽出(D-5. 言語理解とコミュニケーション, 情報・システム1)
- Touch-and-Connect : ユビキタス環境における接続指示フレームワーク(ユビキタスコンピューティング)(次世代移動体通信システム)
- 汎用音声認識エンジンJulius/JulianのPDAへの移植と性能評価
- NICEにおけるVLAN管理システムの開発
- NICEの新しい基幹ネットワーク (e-NICE) について
- ファイアウォールシステムの更新について
- Azim : 方向センサを用いたユビキタス位置情報サービス(位置情報・動線解析(1))
- 無線機器間の直観的な接続指示手法
- 次世代ワンセグ端末の実現を目指した名古屋ユビキタス特区での取り組み
- 次世代ワンセグ端末の実現を目指した名古屋ユビキタス特区での取り組み
- 地下鉄構内の制約条件を利用した無線LAN位置推定手法(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- 地下鉄構内の制約条件を利用した無線LAN位置推定手法(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- Locky. jp : 無線LANを用いた位置情報ポータルとその応用
- Locky.jp:無線LANを用いた位置推定とその応用(ITSポジショニング・一般)
- 参加者が作る会議支援システム : WISS Challenge(インタラクティブソフトウェア)
- 大規模データベースと装着型センサで人間行動を理解する--次世代の快適・健康システムの実現を目指して (特集 未来社会をプロデュースするICT) -- (未来プロデューサ7)
- 6ZP-4 駅.Locky : 無線LAN位置推定を用いた時刻表アプリの開発(情報爆発時代における位置情報処理,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 項書換え系の拡張された階層的結合における停止性のモジェラー性
- D-12-5 テンプレートマッチングを用いたドライバの顔姿勢推定に関する検討
- 多様な接続手法に対応したデスクトップ画面共有システム
- 次世代ワンセグ端末の実現を目指した名古屋ユビキタス特区での取り組み
- 知識ベースに基づくネットワークトラブルシューティングの自動化 (インターネットコンファレンス2010(IC2010)論文集)
- 名古屋大学における無線LANの利用について
- 研究開発用テストベッドネットワークJGN II について
- VPcogma : 組み込み機器を対象としたバイナリポータブルなユビキタス環境構築ミドルウェア(デモセッション)
- 名古屋大学無線ネットワーク実証実験
- WebCodget : Web サーバに移動して動作する組込み機器向け移動ソフトウェア
- 高度な実世界イベント認識を手軽に利用可能にするInstant Learning Sound Sensorの提案
- ユビキタスコンピューティングにおけるコンテキストセンシングとデータ処理(センシングネットワーク:要素技術編)
- X-Win32+SSHを使ってみよう
- モバイルアドホックネットワークにおける組み込み機器間の連携用ミドルウェア
- 無線LAN技術の現状とその導入
- モバイルアドホックネットワークにおけるコミュニケーション支援手法
- CIAIR同時通訳データベースの構築と利用(セッション1)(人間による言語理解・言語処理)
- SD-2-2 実走行環境下における車内騒音の分析
- 音声対話システムを用いた車内対話の収集
- 拡張性を備えたオープンな電話対話システム開発ツールTEDDI
- 拡張性を備えたオープンな電話対話システム開発ツールTEDDI
- 拡張性を備えたオープンな電話対話システム開発ツールTEDDI
- F-8 拡張性を備えた対話システム開発支援ツールの構築(音声・音声言語情報処理,F.音声・音楽)
- 音声対話コーパスの収集と利用 : より豊かな車内音声対話システムを目指して(音声言語インタフェースの実用化と音声言語対話への展開)
- 漸増的に端末を認識するアドホックネットワーク構築手法の評価
- 2000-NL-137-12 / 2000-SLP-31-7 マルチドメイン音声対話システムの構築手法
- 2000-NL-137-12 / 2000-SLP-31-7 マルチドメイン音声対話システムの構築手法
- 走行車室内音声対話収録システムの開発
- SD-2-1 実走行環境下における車内音声データベース
- 実走行車内における音声データベース(音声処理技術のデモの紹介)
- 実走行車内における音声データベースの構築
- CIAIR実走行車内音声データベース(ポスターセッション)(第5回音声言語シンポジウム)
- CIAIR実走行車内音声データベース(第5回音声言語シンポジウム : ポスターセッション)
- CIAIR実走行車内音声データベース(第5回音声言語シンポジウム : ポスターセッション)
- Gaussian Mixture Modelを用いた無線LAN位置推定手法
- 2ZA-1 漸進的処理に基づく音声対話メールツールSync/Mailの評価(マルチモーダル,一般講演,インタフェース)
- 車内音声対話システムのための事例に基づく発話意図推定
- 車内音声対話システムのための事例に基づく発話意図推定
- 映像内コンテンツの視認性を改善する配信映像加工手法
- Sync/Mail : 話し言葉の漸進的変換に基づく即時応答インタフェース
- Sync/Mail : 話し言葉の漸進的変換に基づく即時応答インタフェース
- Sync/Mail : 話し言葉の漸進的変換に基づく即時応答インタフェース
- 発話に即時応答可能なメールツールの提案
- 無線LAN屋内位置推定のためのフロアマップの構造化
- 位置推定のための無線LAN観測データベースの健全性維持手法
- 仮想空間コミュニケーションのための携帯端末を用いたメディア機器の動的連携手法
- 次世代ユビキタス・コミュニケーション・エコ環境の構築を目指すユビグラフ
- 実走行車内音声対話データベース
- 実走行車内音声対話データベース