知的生産のための新しいツ-ルの現状と展望 (知的生産のための新しいツ-ル特集号)

スポンサーリンク

概要

• 論文の詳細を見る
• システム制御情報学会の論文

著者

• 田村 直之

  神戸大学学術情報基盤センター

• 馬野 元秀

  大阪大学基礎工学部

• 馬野 元秀

  大阪大学基礎工学部システム工学科

関連論文

• SATによるシステム検証(最近のSAT技術の発展)
• 制約最適化問題とSAT符号化(最近のSAT技術の発展)
• SATソルバーの基礎(最近のSAT技術の発展)
• 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
• SATによるシステム検証
• 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム
• 遺伝的アルゴリズムとラグランジュ緩和法を併用したビーム探索法によるスケジューリング問題の解法(遺伝的アルゴリズムとニューラルネットワーク)
• SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• 線形論理と論理プログラミング(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• 神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
• PrologからJavaへのトランスレータ処理系とその応用
• 日英機械翻訳システムTWINTRANの言語知識と翻訳品質の評価
• Text-Wide Grammarに基づくテキスト解析
• A^*法に従うアジェンダ制御による構文解析
• TWINTRAIN : integration of syntax, semantics and context analysis
• 遅延評価機構によるAND-ORグラフ上での優先度計算
• Semantic Processing on Parse Trees Represented in a Chart
• 多段型ファジー推論シェルの構築
• Fuzzy集合処理システムの構成
• 学会誌編集委員会の10年と今後 : 学会誌政策苦労話
• 旋回溶融炉のファジィビジュアルフィードバック制御システム
• シーケンシャル実行型PrologマシンPEK : ハードウェア構成
• Third IEEE International Conference on Fuzzy Systems と IEEE International Conference on Neural Networks に参加して
• Prolog Cafe: Java上で動作するProlog処理系(研究のツールボックス〔第4回〕)
• Grid計算環境における2つの制約解消系の試験的実装について
• グリッド計算環境における制約解消システムの構築に向けて
• Grid 計算環境における2つの制約解消系の試験的実装について
• グリッド計算環境における制約解消システムの構築に向けて
• LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム
• 時相線形論理型言語のコンパイラ処理系のための抽象機械について
• 線形論理型言語のコパイラ処理系のための抽象機械について
• 古典線形論理型プログラミング言語の静的解析の一手法について
• 直観主義時相線形論理における論理プログラミングについて
• 線形論理型言語のJava言語による処理系の設計と実装
• 遺伝的アルゴリズムを用いたファジィ決定木の生成
• 論理型言語の最近の動向 (新世代のソフトウエア特集号)
• 整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案 (特集 「AIの基本問題SATと応用技術」および一般)
• 典型的ファジィルールと例外的ファジィルールの抽出 : 忘却型学習によるファジィ・ニューラルネットワークを用いて
• LIFEでみんなが得たもの(LIFEアドバイザーの感想)
• ID 3
• SAT型制約ソルバーSugarについて (特集 「AIの基本問題SATと応用技術」および一般)
• JSIAIワークステーション(7) : Prologコンパイラの評価
• JSIAIワークステーション(6) : Prologコンパイラの最適化技法
• JSIAIワークステーション(5) : Prologコンパイラの概要と設計方針
• 1. プログラミング言語と環境 1.2 Prolongのプログラミング環境 (<大特集>新しいプログラミング環境)
• フィールドを有するマルチエージェントシステム記述用言語
• フィールドの概念を備えたマルチエージェント記述用言語の設計と実装について
• Prologに基づくエージェントプログラムにおけるマイグレーションの実現
• Javaを用いた異種エージェント間での協調支援工ージェントの開発に関する研究
• ネットワーク環境におけるマルチエージェントシステム記述用言語
• 分散環境下におけるマルチエージェントシステム記述用言語
• 並列Prolog処理系"K-Prolog"の実現
• 大学におけるセキュリティポリシー導入の一事例
• 大学におけるインシデント対応の一事例
• 線形論理型言語のコンパイラ処理系でのリソース管理方式について
• タイプ2ファジィ集合の一部を扱えるFuzzy Prolog
• LF-001 Profit Sharingの学習の合理性に関する理論的考察(人工知能・ゲーム)
• ファジィ数の体系について(ファジィ数学) : 公理的アプローチ
• 「スーパーコンピュータとその利用技術」特集号の編集にあたって
• 制約条件に論理的ORを含む組合せ最適化問題に対するハイブリッド型最適化手法の実現(サイバー増大ページ論文概要,サイバー増大号)
• IFSA'93報告(関西支部第1回例会)
• 組合せ最適化問題の近似解法 -遺伝的アルゴリズムとラグランジュ緩和法を併用したハイブリッド法-
• RC床版の健全性評価のためのファジィーエキスパートシステムの改良
• ニューラルネットワークとファジィ・ルールによるハイブリッド制御方式とその潤滑油精製装置への適用
• 計測自動制御学会編ニューロ・ファジィ・AIハンドブック・出版社, オーム社, 発行, 1994年5月, B5判, 1,391 頁, 35,000円
• W.M. Siler 著, 崔霖 訳, 廣田薫 監訳, ファジィ・エキスパートシステム 理論と実践, ・出版社 電気書院, ・発 行 1990年12月, ・A5判 198頁 2,500円
• ファジィデータベースの現状(関西支部第3回例会)
• 「不完全な知識の下での推論」特集にあたって(不完全な知識の下での推論)
• World Congress on Expert Systems に参加して
• 知的生産のための新しいツ-ルの現状と展望 (知的生産のための新しいツ-ル特集号)
• 遺伝的アルゴリズムを用いたファジィ決定木生成手法の改良
• ファジィ決定木生成法ファジィC4.5とその改良 (第15回ファジィシステムシンポジウム--やりまっせ!新世紀のたおやか技術 日本ファジィ学会設立10周年記念大会) -- (学習(5))
• ドモルガン代数とクリーネ代数に関する一考察 (第15回ファジィシステムシンポジウム--やりまっせ!新世紀のたおやか技術 日本ファジィ学会設立10周年記念大会) -- (論理・代数)
• 認知要素とファジィ理論を用いた意味フレーム決定システム--ファジィ・フレーム・システムによる実現と機能拡張 (第15回ファジィシステムシンポジウム--やりまっせ!新世紀のたおやか技術 日本ファジィ学会設立10周年記念大会) -- (自然言語)
• Fuzzy概念とデ-タベ-ス (ファジイ理論--あいまいさをどう把えるか)
• フィルタ付きビーム探索法におけるヒューリスティクスの自動合成
• Compiling Finite Linear CSP into SAT
• 分散型リアルタイムスケジューリングにおける通信プロトコル
• ＳＡＴ符号化を用いた釣合い型不完備ブロック計画の構成
• リアルタイム・スケジューリングシステム構築支援を目的とした生産システムの分散型シミュレーションシステムの開発(シミュレーション)
• 忘却の概念を用いたファジィ・ニューラルネットワークによるファジィルールの抽出
• 「SATソルバー」(私のブックマーク)
• SATによるシステム検証
• プロダクションシステムにおけるマッチング候補の概念を用いた高速パターンマッチングアルゴリズム
• フレキシブル生産を対象とした分散型リアルタイムスケジューリング
• ソフトウェア紹介 直観主義線形論理型言語LLPとそのコンパイラ処理系
• 国際シンポジウムFLOPS 2012開催報告

もっと見る 閉じる

スポンサーリンク