著者

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

雑誌

全国大会講演論文集

巻号頁・発行日

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

---

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