大特集「数式処理」の編集にあたって
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1986-04-15
著者
関連論文
- 帰納推論による論理プログラムと規則性の学習
- 遺伝的探索に基づく"虫"の進化(1) : ビジュアライズによる行動解析
- コンピュータ環論 (数式処理)
- 日本語の構文解析(日本語情報処理)
- 拡張述語言語ALLインタプリタの実現
- 超 LSI 用電子ビーム露光法
- 計算機による数式処理と物理学への応用
- 計算機による数式処理の現状
- グレブナー基底の並列計算と連立代数方程式
- 進化論的手法によるブール関数の学習について
- 4. 数式処理と数値計算の融合による精度保証 (精度保証付き数値計算とその応用)
- PC-PRS GCD算法の改良(数式処理と数学研究への応用)
- 第一階コンパイラ (プログラム合成/変換)
- 大特集「数式処理」の編集にあたって
- 論理プログラムの等価変換とプログラム合成問題への応用
- ソフトウェア基礎論
- Prolog の知的プログラミング環境 (プログラミング言語 Prolog)
- 82-2 高能率RUE導出法
- 導出原理による定理証明
- 76-06 道化師の小世界に関連した英文の意味的解析
- 1階述語言語の逐次漸近標準形について(数式処理と数学研究への応用)
- 一階述語インタプリタのアルゴリズム(数式処理と数学研究への応用)
- 数式処理の歴史と将来の展望 (数式処理)
- 国産数式処理システムGALにおけるパターンマッチング(数式処理と数学研究への応用)
- INTERNAL REPRESENTATIONS OF FORMULAS IN JAPANESE COMPUTER ALGEBRA SYSTEM GAL(Formula Manipulation and Its Applications to Mathematical Study)
- 多変数多項式の近似因数分解算法の解析(数式処理と数学研究への応用)
- 多変数多項式の近似的 GCD と悪条件連立代数方程式への応用
- 多変数多項式の近似的GCDとその応用(数式処理と数学研究への応用)
- 数式処理システムGALにおける数学公式データベース