特集「論理と推論技術の展開」の編集にあたって

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 2008-07-25

著者

• 細部 博史

  国立情報学研究所

• 上田 和紀

  早稲田大学理工学部情報学科

• 新田 克己

  東京工業大学大学院総合理工学研究科

• 上田 和紀

  早稲田大学大学院情報理工学専攻

• 新田 克己

  東京工業大学 大学院 総合理工学研究科 知能システム科学専攻

• 上田 和紀

  早稲田大学

• 新田 克己

  東京工大 大学院総合理工学研究科

• 新田 克己

  東京工業大学

関連論文

• 特集「インタラクティブシステムとソフトウェア」の編集にあたって
• 異文化体験ゲームにおける集団適応エージェントの開発
• 並列計算機システムFOLON上へのPVMの移植と評価
• 社会的インタラクションに基づくマルチューザ学習エージェント(MULA)(IDEA: 適応のためのインタラクション設計)
• セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
• 階層型研究分野ネットワークで探る学術誌の見えざる専門性把握支援
• Keepawayタスクにおけるマルチエージェントの協調行動の学習(学習1)
• 論議と妥協案発見を含めた交渉支援システムの開発(セッション議論支援)
• 研究分野ネットワークによる学術分野動向の解析と評価 (「Web情報処理」および一般発表)
• アドホックコミュニケーションに基づく口コミ的情報伝播の過程推定 (「Web情報処理」および一般発表)
• 事例に基づく特性をもった論争エージェントの開発(教育システムにおけるプラットホームとコンテンツ開発論文)
• KeyGraphとデータ結晶化を用いた交渉ログからのシナリオ抽出支援システム(人間/コミュニティ活動支援,「Webインテリジェンス」及び一般)
• SVMを利用した小論文の採点支援システム(人間/コミュニティ活動支援,「Webインテリジェンス」及び一般)
• クラスタリングを用いたマルチユーザラーニングエージェント(MULA-C)
• 文献情報に基づく分野間のネットワーク分析(情報抽出,特集「Web情報処理」及び一般)
• ダイアグラムによる交渉の解析 (問題を中心とした学習支援およびスキル支援/一般)
• 文献情報に基づく分野間のネットワーク分析 (テーマ:「Web情報処理」および一般発表)
• 電子掲示板のリンク情報に基づく流行的話題の予測
• 調停トレーニングにおけるアドバイザエージェント
• 地図上の情報推薦システムにおける投稿情報の信頼度
• 2A3-2 調停教育における論争エージェントの開発(2A3 OS:エージェントベース社会システム科学)
• 話者の類似性に基づく会話戦略(コミュニケーションとAI,コミュニケーションとAI及び一般)
• SiG擬似核を用いた自己組織化関数近似モデル
• ウェブベース英単語学習支援システムの提案(教育実践システムと学習評価/一般)
• RoboCup Rescueにおける異種エージェントを考慮したタスク割り当て(セッション3: マルチエージェントと複雑系(2))
• RoboCup Rescueにおける異種エージェントを考慮したタスク割り当て(マルチエージェントと複雑系, 「社会システムにおける知能」及び一般)
• ウェブベース英単語学習支援システムの提案 (教育実践システムと学習評価)
• 人間-エージェント間相互作用 : ユーザビリティとフレキシビリティを目指して
• オンライン調停教育支援システムの類似場面検索機能
• 10209 マルチユーザ学習エージェントによる社会的インタラクション((III),OS15 知能ロボット)
• アドバイスによるマルチエージェント環境への適応(知識工学)
• アドバイスによるマルチエージェント環境への適応
• 判例の構造を利用した判例文書検索(セッション1:構造化文書による検索応用)
• 電子掲示板のリンク情報に基づく流行的話題の発見(コミュニティ形成とデータ知能学, セマンティックWebとソフトウェア工学, 一般)
• Webからの情報を利用した買い物相談エージェント(オフィスアプリケーション・ネットワーキング・マネジメント及び一般)
• 学習プロファイルの類似度に基づくプログラミング教育支援システム (新しいデバイスを用いた学習・教育支援環境/一般)
• 電子掲示板のリンク情報に基づく流行的話題の発見
• 電子掲示板のリンク情報に基づく流行的話題の発見 (特集 「セマンティックWebとソフトウェア工学」および一般) -- (コミュニティ形成とデータ知能学)
• 投稿情報とユｰザプロファイルに基づく地図上の情報推薦システム
• ヒューマンエージェントインタラクションにおける社会性の実現に向けて
• 投稿情報に基づく地図上の情報推薦システム(ソフトコンピューティング及び一般)
• 2つの通信方式を組み合わせたフェロモン情報を用いた車椅子支援
• 双対モデリングを用いた充足可能性問題のCNF encoding
• 微分制約論理式によるハイブリッドシステムのモデリングと検証
• なぜソフトウェア論文を書くのは難しい(と感じる)のか
• Web サイト評価基準の抽出と評価の自動化
• 3A-1 大規模メモリ環境下におけるモデル検査ツールSpinのマルチコア検証機能の性能評価(高性能計算,一般セッション,アーキテクチャ)
• 3A-2 強連結成分ベースのグラフ分割による分散並列LTLモデル検査の高速化(高性能計算,一般セッション,アーキテクチャ)
• 6ZJ-9 階層グラフ書換え言語LMNtalによるモデル検査(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• 4K-2 分散検証環境DiVinEを用いた分散LTLモデル検査アルゴリズムの性能評価(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• 6ZJ-7 並列SATソルバにおけるlemma共有およびプール制約伝播高速化(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• SATソルバ MiniSat の並列化とそのチューニング手法(HPC-2 : 数値解析I)
• HiRise : GUI構築のためのインクリメンタルな制約解消系(特集・インタラクティブソフトウェア)
• A-022 数式処理システムMathematica上における再帰除去システム(A分野:モデル・アルゴリズム・プログラミング)
• プロファイルを使用した並列LTLモデル検査のチューニング
• ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
• A-007 区間演算を用いたODE Solverにおける任意精度演算の導入とパラメタ最適化(モデル・アルゴリズム・プログラミング,一般論文)
• ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
• LMNtalモデル検査器における状態爆発対策(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
• 強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
• ソフトウェア論文座談会
• 階層グラフ書換え言語LMNtalの処理系(ソフトウェア論文)
• LMNtal処理系および他言語インタフェースの設計と実装
• 制約に基づく解析による並行論理プログラムの自動デバッグ
• 特集「インタラクティブシステムとソフトウェア」の編集にあたって
• 6K-4 LMNtal処理系SLIMのモデル検査機能の並列化(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
• 6K-2 クラスタ向け並列precosatの開発と性能評価(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
• 1M-1 ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
• 論理・制約プログラミングと並行計算(論理と推論技術の展開)
• 特集「論理と推論技術の展開」の編集にあたって
• 6ZJ-8 軽量なLMNtal実行時処理系SLIMの設計と実装(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• 4N-2 KLICへのデータ並列処理機能の導入について
• 3K-2 汎用並列組合せ最適化パッケージの構想
• C. A. R. Hoare : Communicating Sequential Processes(20世紀の名著名論)
• シンガポール国立大学
• 私はCrusoeを使いたい(インタラクティブ・エッセイ)
• 視覚化に適した制約階層の拡張法
• A-014 LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化(A分野:モデル・アルゴリズム・プログラミング)
• 並列計算機システムFOLONの通信ライブラリの設計と評価
• 見込み計算を用いたニュースリーダの応答性改善法
• 10. 21世紀COEプロジェクト「プロダクティブICTアカデミア」(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
• 21世紀COEプロジェクト「プロダクティブICTアカデミア」
• 4T-7 WWW全文検索システムVernoのアーキテクチャ
• 4T-6 WWW全文検索システムVernoのデータベース
• 分散型WWW全文収集ロボットIron33
• 学習型WWW検索エンジンVerno
• LA_003 後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法(A分野:モデル・アルゴリズム・プログラミング)
• 制約プログラミングに関する日本・フランス間の研究交流
• 3N-2 オブジェクト共有空間を利用した分散プログラミング支援フレームワーク
• WISS '96会議報告
• 数値最適化による力学的グラフ可視化手法
• ユーザインタフェースのための線形制約解消系
• 高次元アプローチによる一般無向グラフの対話的視覚化法(情報可視化, インタラクション: 技術と展開)
• 対話型インターフェースのための幾何制約解消の枠組み次世代インタラクションのための情報技術
• 日本ソフトウェア科学会第27回大会報告
• 対話型3次元アプリケーションのための幾何制約解消法(ユーザインタフェースとインタラクティブシステム)(コラボレーションアートとネットワークエンターテイメント)
• ユーザインタフェースのための線形等式・不等式制約解消系(ソフトウェアシステム)
• ユーザーインターフェースにおける制約解消法の研究動向
• GUIを対象とした線形計算による制約階層解消系の高速化
• 1ZA-8 GUI構築のための数値的な制約階層解消系の機能的改良(UI開発支援,一般講演,インタフェース)

もっと見る 閉じる

スポンサーリンク