元吉 文男 | 産業技術総合研究所
スポンサーリンク
概要
関連著者
-
元吉 文男
産業技術総合研究所
-
元吉 文男
電子技術総合研究所知能情報部
-
元吉 文男
電子技術総合研究所
-
秋葉 澄孝
産業技術総合研究所
-
井佐原 均
電総研
-
佐藤 泰介
東京工業大学大学院情報理工学研究科計算工学専攻
-
秋葉 澄孝
電子技術総合研究所
-
井佐原 均
郵政省通信総合研究所
-
神嶌 敏弘
産業技術総合研究所
-
佐藤 泰介
電子技術総合研究所
-
佐藤 泰介
東京工業大学
-
神嶌 敏弘
独立行政法人産業技術総合研究所
-
井佐原 均
電子技術総合研究所
-
井佐原 均
郵政省通信総合研究所関西先端研究センター知的機能研究室
-
佐々木 建昭
理化学研究所
-
井佐原 均
独立行政法人通信総合研究所
-
横山 晶一
電総研
-
田中 穂積
本会理事:東京工業大学
-
石崎 俊
電子技術総合研究所
-
半田 剣一
電子技術総合研究所
-
石崎 俊
電子技術総合研究所知能情報部自然言語研究室
-
横山 晶一
電子技術総合研究所
-
半田 剣一
電総研
-
田中 穂積
電総研
-
橋田 浩一
産業技術総合研究所
-
赤穂 昭太郎
産業技術総合研究所 脳神経情報研究部門
-
板橋 秀一
筑波大学
-
山口 喜教
電子技術総合研究所情報アーキテクチャ部
-
松原 仁
電子技術総合研究所
-
乾 裕子
計量計画研究所
-
井佐原 均
通信総合研究所けいはんな情報通信融合研究センター
-
橋田 浩一
電子技術総合研究所情報科学部
-
伊庭 斉志
電子技術総合研究所知能情報部推論研究室
-
赤穂 昭太郎
電子技術総合研究所
-
内田 ユリ子
電子技術総合研究所
-
秋葉 澄孝
独立行政法人産業技術総合研究所
-
元吉 文男
独立行政法人 産業技術総合研究所
-
山口 喜教
電総研・電子計算機部
-
山口 喜教
電子技術総合研究所電子計算機部
-
元吉 文男
独立行政法人産業技術総合研究所
-
井佐原 均
独立行政法人情報通信研究機構 知識創成コミュニケーション研究センター
-
佐々木 建昭
The Institute of Physical and Chemical Research
-
井佐原 均
通信総合研究所
-
乾 裕子
通信総合研究所
-
大場 健司
筑波大学
-
神嶌 敏弘
電子技術総合研究所
-
山口 喜教
電子技術総合研究所
-
赤穂 昭太郎
産業技術総合研究所
-
元吉 文男
Electrotechnical Laboratory, Ministry of ITI
-
橋田 浩一
電子技術総合研究所
-
伊庭 斉志
電子技術総合研究所
著作論文
- ユーザ定義述語を含む系の限量子消去法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 論理式の置換と選言標準形への変形による論理プログラムの計算手続き
- 論理式の置換と選言標準形への変形による論理プログラムの計算手続き (テーマ:「予兆・チャンスの発見とその応用」および一般)
- 論理プログラムの新しい完備化と論理式の置換に基づく計算手続きについて
- 等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)
- 論理プログラムの完備化と論理式の展開による証明手続きについて (プログラム変換と記号・数式処理)
- 代数知識のデータベース化の試み(数式処理と数学研究への応用)
- 遺伝的探索に基づく"虫"の進化(1) : ビジュアライズによる行動解析
- 機械翻訳システムCONTRASTにおける文脈情報の利用
- LIPSシステムにおける記憶管理 (記憶階層)
- 将棋処理ソフトウェア「王将」について
- N進木拡張LINGOLのユ-ティリティ関数について
- 自然言語処理のためのプログラミングシステム--拡張LINGOLについて
- 語構成論に基づいたサ変動詞の分類
- 未定義語を含む文の多段階構文解析
- A Natural Language Processing System with a Large Vocabulary in Secondary Storage
- 二次記憶上の大規模語彙を用いる自然言語処理システム
- クラスタ例からの学習 : クラスタ属性の利用
- Puiseux展開プログラムの作成 (数式処理における理論と応用の研究)
- クラスタ例からの学習 : 分類対象集合全体の属性の利用
- 線形多項式方程式の解法プログラムの作成 (数式処理における理論と応用の研究)
- クラスタ例からの学習--クラスタに関する属性の利用
- Java による数式処理(数式処理における理論と応用の研究)
- クラスタ例からの学習--分類対象集合の全体に関わる特徴の利用
- 逐次代数拡大体の簡約表現(数式処理における理論と応用の研究)
- 高速多項式GCD計算法(数式処理における理論とその応用の研究)
- 5次方程式の可解性の高速判定法(数式処理における理論と応用の研究)
- 拡張述語言語ALLインタプリタの実現
- 高速乗算システムの実現(数式処理における理論とその応用の研究)
- 1階述語言語の逐次漸近標準形について(数式処理と数学研究への応用)
- 巡回群をガロア群に持つ5次方程式の判別とその解法(数式処理と数学研究への応用)
- 数式二次元フロントエンドエディタ(数式処理と数学研究への応用)
- 一階述語インタプリタのアルゴリズム(数式処理と数学研究への応用)
- 数式処理と数学記号のあいまい性(数式処理と数学研究への応用)
- 数式処理の歴史と将来の展望 (数式処理)
- 国産数式処理システムGALにおけるパターンマッチング(数式処理と数学研究への応用)
- 根号による1のn乗根の解法(数式処理と数学研究への応用)
- INTERNAL REPRESENTATIONS OF FORMULAS IN JAPANESE COMPUTER ALGEBRA SYSTEM GAL(Formula Manipulation and Its Applications to Mathematical Study)
- ENVIRONMENT PROBLEMS IN FORMULA MANIPULATION SYSTEMS(Computer Algebra and its Applications to Mathematical Studies)
- Lisp マシン (高機能ワークステーション)
- 数式のグラフィックディスプレイによる出力(数式処理と数学研究への応用)