発見科学の構想と展開(発見科学)
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人人工知能学会の論文
- 2000-07-01
著者
-
佐藤 泰介
東京工業大学大学院情報理工学研究科計算工学専攻
-
金田 康正
東京大学情報基盤センター
-
佐藤 雅彦
京都大学大学院情報学研究科
-
有川 節夫
九州大学大学院システム情報科学研究院
-
丸岡 章
東北大学大学院情報科学研究科
-
宮野 悟
東京大学医科学研究所
-
宮野 悟
東京大学医科学研究所ヒトゲノム解析センター
-
宮野 悟
科学技術振興事業団erato北野共生システムプロジェクト
-
有川 節夫
九州大学副学長、附属図書館長、大学院システム情報科学研究院教授
-
有川 節夫
九州大学大学史料室
-
佐藤 泰介
東京工業大学
-
佐藤 雅彦
Department Of Information Science Faculty Of Science University Of Tokyo
-
Sato Masahiko
Graduate School Department Of Mathematics Kyoto University
-
Sato Masahiko
Department Of Information Science Kyoto University
-
佐藤 雅彦
京都大学大学院エネルギー科学研究科
関連論文
- 統計的アブダクション(論理に基づく推論研究の動向)
- BDD上の命題化計算に基づくEMアルゴリズム
- SR11000/J2における4倍精度演算を改良したFFTの実装と評価(HPC-4:性能評価,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 複数多項式によるMBPSの改善とHITACHI SR11000/J2での実装評価(並列計算,SWoPP佐賀2008-2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ)
- SR11000モデルJ2における4倍精度積和演算の高速化(数値計算)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)
- フレーゲの計算機科学への影響 (特集 フレーゲの現代性)
- 数学記号の認知速度 : 実験心理学的計測方法と実例
- Polyvariant Specializationon Type-directed Partial Evaluation
- Constructive Data Refinementの証明技法の改善
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 型情報を一部明示した環境計算体系
- 発見科学の構想と展開(発見科学)
- ベイジアンネットワークと離散構造処理系 (特集 ベイジアンネットワークの最先端)
- 統計的アブダクション
- ベイジアンネットと信念伝播の新潮流(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- ルールの本体での置換と選言標準形への変形による論理プログラムの計算手続き
- 論理式の置換と選言標準形への変形による論理プログラムの計算手続き
- 論理式の置換と選言標準形への変形による論理プログラムの計算手続き (テーマ:「予兆・チャンスの発見とその応用」および一般)
- 論理プログラムの新しい完備化と論理式の置換に基づく計算手続きについて
- 等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)
- 論理プログラムの完備化と論理式の展開による証明手続きについて (プログラム変換と記号・数式処理)
- 最小汎化の組合せ探索による帰納推論
- ブロック幅を動的決定する疎行列連立一次方程式の直接解法
- 自動チューニング機構が並列数値計算ライブラリに及ぼす効果
- ベイジアンネットワークと離散構造処理系(ベイジアンネットワークの最先端)
- 積和演算命令に向いた8基底FFTカーネルの提案
- 級数に基づく多数桁計算の演算量削減を実現する分割有理数化法
- 積和演算に向いた8基底FFT Kernelの提案
- 無限級数に基づく多数桁計算の演算量削減を実現する分割有理数化法 (数値計算における前処理の研究)
- 分散メモリ型並列計算機による円周率の515億桁計算
- 分散メモリ型並列計算機による2, 3, 5基底一次元FFTの実現と評価
- 多数桁の円周率を計算するための公式の改良 : ガウスールジャンドルの公式とボールウェインの4次の収束の公式
- 分散メモリ型並列計算機による円周率の高精度計算
- 並列計算機における二次記憶を用いた一次元FFTの実現と評価
- 分散メモリ型並列計算機による多倍長平方根の高速計算法
- D-12-25 番組視聴型ウェブサーフィンモデルを用いた自動テレビ番組生成(D-12. パターン認識・メディア理解, 情報・システム2)
- 命題論理に基づく確率モデルのための二部決定グラフと順序符号化を用いた効率的なEMアルゴリズム(一般講演(構造学習・ベイジアンネット・確率推論),機械学習とその応用)
- 拡張ヒュッケル法による分子構造最適化並列処理-分子構造の簡易高速生成の試み-
- 戦略的英語論文投稿のために(国際会議に通すための英語論文執筆)
- 言語理解・意味理解の先駆者田中穂積先生の想い出(10)
- ブロック幅を動的決定する疎行列連立一次方程式の直接解法
- 超並列処理に向く効果的な並列固有値計算法(並列処理)
- CGSS : ソートを用いた新しいGram-Schmidt直交化法
- 分散メモリ型並列計算機に向くHessenberg形への変換アルゴリズムとその有効性
- 分散メモリ型並列計算機によるブロック化Householder法の性能評価
- 並列固有値ソルバーの実現とその性能
- 分散メモリ型並列計算機による固有値計算のためのブロック化Householder法の性能評価
- 習慣的な行動の確率文脈自由文法に基づくベイズ識別(画像認識, コンピュータビジョン)
- PRISM : 確率モデリングのための論理プログラミング処理系(ソフトウェア論文,ソフトウェア論文)
- 複雑な制御構造を持つプログラムのSIMD命令セットによる最適化
- π(χ)の計算におけるパラメータの選択に関する考察(Session 1:素数計算)
- 計算精度を考慮したGMRES法
- 並列疎行列ベクトル積における最適なアルゴリズム選択の効果
- 並列疎行列ベクトル積における最適なアルゴリズム選択の効果
- PCクラスタにおける並列数値計算ライブラリILIBの性能評価
- メモリ使用量の少ない一般化共役残差法の提案
- メモリ使用量の少ない一般化共役残差法の提案
- 2000-HPC-82-29 データの分布に着目した並列ソーティングアルゴリズムの性能評価
- 2000-HPC-82-7 異機種並列計算機における連立一次方程式ライブラリの性能評価
- 2000-HPC-82-5 ILIB_RLU : 疎行列を密行列として扱う自動チューニング機能付きLU分解ルーチンの性能評価
- BDD上の命題化確率計算に基づくEMアルゴリズム (「AIを深化させるための基本問題」および一般)
- 頻出部分木発見手法を用いた遺伝的プログラミングの交通信号制御問題への適用
- グラフィカルモデルにおける論理的アプローチ(ベイジアンネットワークと確率的情報処理の新展開)
- 構文森を用いた実コーパスからの大規模な文脈自由文法の高速学習法
- クラスターBPの実装の改良(ベイジアンネット2 : ポスターセッション)
- 動的計画法に基づく確率文脈自由文法の変分ベイズ法(言い換え,文法)
- 確率文法を用いた茶道のお点前認識
- 確率文法を用いた茶道のお点前認識(顔とジェスチャの認識)
- 確率文法を用いた茶道のお点前認識(顔とジェスチャの認識)
- 構造なしコーパスからの大規模な文脈自由文法の高速学習法
- 「ベイジアンネット」にあたって(ベイジアンネット)
- 名誉会員 後藤英一博士を偲ぶ
- スーパーコンピュータの今後の動向
- 遺伝的アルゴリズムを用いたスレッドの協調実験
- ベイジアンネットワーク : 不確定性のモデリング技術
- WFSTに基づく確率文脈自由文法およびその拡張文法の高速EM学習法
- 括弧付けなしの文に対する確率文脈自由文法の効率的訓練法
- 確率文脈自由文法及びその拡張文法の高速EM学習法
- 規則数に比例する学習時間を持つ確率文脈自由文法の学習法 (合同研究会"AIシンポジウム'99"(第10回))
- Tablingによる記号的統計モデルの学習高速化に関する考察
- 記号的統計モデル言語PRISM (&特集>「記号論理とAI」)
- 2000-NL-137-1 近代日本小説家8人による文章のn-gram分布を用いた著者判別
- n-gram分布を用いた近代日本語小説文の著者推定
- 記号的統計モデリングの世界を探る(論理と推論技術の展開)
- クラスターBPによるKikuchi近似の計算 (論理と学習)
- 30p-PSA-68 第一原理計算による水素結合性液体の研究
- 28a-PS-138 実空間における大規模電子状態計算法
- ロジスティック写像による擬似乱数発生法
- 階層隠れマルコフモデルに対する簡単な訓練アルゴリズム
- 学習結果の伝達を伴う強化学習
- 補間を用いたFFTの実装と評価
- 自動チューニング機能付き並列数値計算ライブラリ構築の試み : 対称疎行列用の連立一次方程式ソルバを列にして
- 自動チューニング機能付き並列疎行列連立一次方程式ソルバの性能
- AND/OR木探索における証明数・反証数を用いた新しい探索法の提案とその評価
- 一般化した二重指数分割に基づく数値表現法
- 否定情報に関する決定木の拡張
- 遺伝的プログラミングを用いたスレッドの協調実験
- 教師プログラムの学習に関する研究