コンピュ-タによる定理の証明 (人工知能<特集>)

スポンサーリンク

概要

• 論文の詳細を見る
• サイエンス社の論文

著者

• 中西 正和

  慶應義塾大学大学院理工学部情報工学科

• 中西 正和

  慶應義塾大学理工学部情報工学科

関連論文

• 文字間統計情報に基づく口語文字列の自動抽出
• 2000-NL-137-9 / 2000-SLP-31-4 日本語略語の自動復元
• 3G-2 キューを利用した並列計算モデル
• 3N-5 英語固有名詞のカナ表記への変換
• 1N-2 日本語文書における複合語キーワード抽出
• 2000-MUS-36-12 リカレントニューラルネットワークを用いたコード進行の自動生成
• Flow Graph解析を用いた並列関数型言語処理系の実装
• Logoのビジュアルモデルを用いた問題解決法のマイクロワールド
• 並列LISPシステムにおけるSpeculative Computationに関する研究
• 有理ベゼー曲線を応用した、CGアニメーションのための補間アルゴリズム
• X-Window上におけるLogoインタプリタの実現
• Xインタフェースを構築するための並列lisp処理系Momolisp
• Mach OS上における並列LispインタプリタNico Lispの実現
• 音楽自動演奏システムMIDI-98
• 計算機と音楽 (計算機と音楽)
• 会話型FORTRAN : KEIOシステム
• d-bigram と他の統計情報との関連に関する実験
• 自然言語文評価におけるd-bigram 情報の活用方法に関する実験
• 自然言語における有繋文字列の抽出
• d-bigram 情報を用いた統語的規則の抽出
• 統計情報を用いた中国語における文単位一括変換法
• 強化学習における環境変化認識法
• 通信手段を持つマルチエージェント系における強化学習
• 並列GCのポインタ通知数の削減による処理効率の向上
• 並列GCを備えた並列LispにおけるGCの抑制
• Lazy Reference Countを用いたLinear Lisp
• オブジェクトの世代を考慮に入れたインクリメンタルなごみ集め処理
• Snapshot型並列GCにおけるルート挿入時間の削減
• 会議システム
• オブジェクトの世代を考慮にいれたTreadmill GC
• オブジェクトの世代を考慮に入れた保守的ごみ集め
• ネットワーク対応オブジェクト指向Lispの処理系
• バイトコードインタプリタを用いたLispコンパイラシステム
• Lisp Serverにおけるシステムコールキャッシュ
• Micro Kernelの思想を採り入れたLisp Serverの設計
• 局所無矛盾性と距離コミットメントによる移動目標探索
• 印付け追跡法による移動目標探索
• 距離コミットメントによる移動目標探索
• 2000-NL-137-9 / 2000-SLP-31-4 日本語略語の自動復元
• 分散並列関数型言語における動的なタスク粒度の選定手法
• 分散メモリ上の並列Lispへのストリーム通信の導入
• ミニコンの応用特集号を出すにあたって
• 並列ガーベジコレクションの効率改善の手法
• リスト処理におけるオブジェクトの生存率に関する解析
• リスト処理とGCのCPU割当てを動的に決定する並列Lisp
• オブジェクトの生存率の理論的解析に基づいた世代別ガーベッジコレクション
• 並列GCを備えた並列Lispシステムの実装および評価
• Adaptive Garbage Collection : 実装とその評価
• 参照カウンタ法を用いた並列ゴミ集め処理
• 参照カウンタ法を用いた並列ゴミ集め処理
• Adaptive Garbage Collectionの提案および実験
• 76-01 LISPのM式をS式に変換するSNOBOL4プログラム
• ISLisp言語処理系のバイトコードインタプリタの実装
• 実時間ゴミ集めにおけるルート挿入の効率化
• 双方向環状リストを用いた世代別並列ゴミ集め処理
• ローマ字入力における誤りの修復
• 4. 世代別ごみ集め (<特集> ごみ集めの基礎と最近の動向)
• 遺伝的アルゴリズムを用いたリカレントニューラルネットの学習について
• GAの組合せ最適化問題への適用
• 構文解析における未知語処理について
• マクロオペレータの生成による状態空間探索における学習の研究
• 計算機による作曲と編曲 (計算機と音楽)
• JOHN ALLEN 著, "Anatomy of LISP", McGrew-Hill, B5変形判, 446pp., \4,850, 1978
• 石田晴久 著, "マイクロコンピュータの活かし方", 産報, A5判, 210p, \1,600, 1977
• LISP インタプリタにおけるスタック技法とαリストの抑制法
• コンピュ-タによる定理の証明 (人工知能)
• 修正忘却付き構造学習と並列多層ネットワークを用いた規則発見
• 統計情報を用いた対訳単語辞書の作成
• 感情音声の合成
• 感情音声の合成
• AICを用いたデフォルトルール生成法の拡張
• 音声における感情パラメータ
• 75-01 フローチャートからプログラムへの自動変換
• 7408 集合のすべての分割を求める帰約的アルゴリズムとプログラム
• 7406 3次テーラー展開に基づく複素係数代数方程式の解法
• 7401 制限エントリのデシジョンテーブルと表プログラムのプリコンパイラ
• LISPを中心としたリスト処理言語
• 7307 等高線プロット
• 7203 高次代数方程式の多重根を求めるためのプログラム
• Implementation of Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論)
• 再帰的関数の評価機能 (計算の手間と能率化)

もっと見る 閉じる

スポンサーリンク