佐藤 泰介 | 電子技術総合研究所
スポンサーリンク
概要
関連著者
-
佐藤 泰介
電子技術総合研究所
-
元吉 文男
産業技術総合研究所
-
元吉 文男
電子技術総合研究所
-
玉木 久夫
茨城大
-
玉木 久夫
茨城大学工学部情報工学科
-
元吉 文男
電子技術総合研究所知能情報部
-
伊庭 斉志
電子技術総合研究所知能情報部推論研究室
-
秋葉 澄孝
産業技術総合研究所
-
秋葉 澄孝
電子技術総合研究所
-
伊庭 斉志
電子技術総合研究所
-
田中 穂積
本会理事:東京工業大学
-
樋口 哲也
電子技術総合研究所
-
半田 剣一
電子技術総合研究所
-
田中 穂積
電子技術総合研究所
-
佐々木 建昭
理化学研究所
-
丹羽 竜哉
電子技術総合研究所
-
半田 剣一
電総研
-
佐藤 泰介
電総研・パターン情報部
-
田中 穂積
電総研
-
伊庭 斉志
東京大学大学院新領域創成科学研究科基盤情報学専攻
著作論文
- 帰納推論による論理プログラムと規則性の学習
- 遺伝的探索に基づく"虫"の進化(1) : ビジュアライズによる行動解析
- 日本語の構文解析(日本語情報処理)
- 拡張述語言語ALLインタプリタの実現
- 進化論的手法によるブール関数の学習について
- 第一階コンパイラ (プログラム合成/変換)
- 大特集「数式処理」の編集にあたって
- 論理プログラムの等価変換とプログラム合成問題への応用
- ソフトウェア基礎論
- Prolog の知的プログラミング環境 (プログラミング言語 Prolog)
- 82-2 高能率RUE導出法
- 導出原理による定理証明
- 76-06 道化師の小世界に関連した英文の意味的解析
- 1階述語言語の逐次漸近標準形について(数式処理と数学研究への応用)
- 一階述語インタプリタのアルゴリズム(数式処理と数学研究への応用)