著者

竹島 卓 野呂 正行 須永 知之 塚本 有子 井深 克憲

雑誌

全国大会講演論文集

巻号頁・発行日

vol.第39回, no.情報理論及び基礎技術, pp.118, 1989-10-16

---

このたび第五世代コンピュータの逐次型推論機械PSI IIで動作する数式処理システムを開発したので報告する。本システムSAMは、論理型言語による本格的な数式処理システムとしては、世界で初めてのシステムである。

著者

横山 和弘 竹島 卓

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.5, no.1, pp.1_42-1_61, 1988-01-14 (Released:2018-11-05)

---

A. K. Lenstra, H. W. LenstraとL. Lovaszが格子算法を整数環上の1変数多項式の因数分解アルゴリズムに応用し,計算時間がその多項式の次数に対してその次数の多項式オーダーになることを可能にして以来,格子算法が種々の因数分解アルゴリズムに応用されている.本論文では,A. K. Lenstraによる格子算法の基本的性質を抽出し,Euclid付値環上の因数分解およびGCD計算に格子算法が適用できることを示す.また,ある種の条件の下ではEuclid環上の因数分解へも応用が可能であることを示す.