A term rewriting system(TRS)is said to be strongly depth-preserving if for any rewrite rule and any variable appearing in its both sides the minimal depth of the variable occurrences in the left-hand-side is greater than or equal to the maximal de...
A term rewriting system (TRS) is said to be depth-preserving if for any rewrite rule and any variable appearing in the both sides the maximal depth of the variable occurrences in the left-hand-side is greater than or equal to that of the variable...
Isomoto Y., Miyahara K., Nakano U., Kanie T., Okuto Y., Fujiwara N., Kawai Y., Ogasawaea A., Takeuchi Y., Mizuno K., Gomi H.
IEICE technical report. Education technology 101(115) 17-22 Jun 2001
We have a classroom in a hospital for sick children who stay for their medical treatment. The children go to the classroom in a hospital for their learning. In the classroom, a teacher assists their learning as well as an ordinary elementary schoo...
ISLisp is the Lisp language standardized by ISO. We developed a portable ISLisp system. Moreover, we develop an other-system interface facility for cooperating with other systems, then this paper is reported about those. By this cooperation facili...
IEICE technical report. Theoretical foundations of Computing 96(488) 9-16 Jan 1997
A term rewriting system (TRS) is said to be strongly depth-preserving if for any rewrite rule and any variable appearing in the both sides, the minimal depth of the variable occurrences in the left-hand-side is greater than or equal to the maximal...
A term rewriting system (TRS) is said to be strongly depth-preserving if for any rewrite rule and any variable appearing in the both sides, the minimal depth of the variable occurrences in the left-hand-side is greater than or equal to the maximal...
我々は、Tachyon Common Lispをi860CPUを持つマシンからSPARC CPUを持つマシン上に移植を行った。その大部分はアセンブラ・コードの移植であったが、Lisp風シンタックスを持つアセンブラ・アセンブラ・トランスレータ(以下トランスレータとする)を使用することにより、短期間で行うことができた。トランスレータは強力なマクロ機構、抽象命令を持っており、これらを使用することで移植性の高いアセンブラ・コードを記述することができる。本稿では、i860とSPARCの相偉点、および...
Tachyon Common Lispは、Common Lisp第2版に基づいた処理系であり、RISCマイクロプロセッサi860をCPUとして持つUNIXワークステーションOKIstation7300上で稼働している。本処理系は、・高速なCommon Lisp処理系・高い移植性を持つ・実用に際して十分な機能を持つを特徴としている。第1の特徴である高速性については、すでに報告済みであるので、本論文では、第2特徴である移植性について、RISCマイクロプロセッサSPARCをCPUとして持つUNI...
我々は、Tachyon Common Lisp上に、Motif対応のウィンドウ・インタフェースを開発した。これにより、LISP上で、Motifの関数を用いたウィンドウアプリケーションの開発が行なえるようになった。また、ウィンドウ・インタフェースを用いて、デバッガやトレーサ等のツールをウィンドウ対応にした。これによってユーザはより快適に、デバッグなどが行えるようになった。本論文では、まずこのウィンドウ・インタフェースの特徴を示す。次にツールのウィンドウ対応を行なう方法を述べる。例としてTac...
我々はCommon Lisp the Language Second Edition(以下CLtL2)に準拠した処理系Tachyon Common Lipsを開発した。一般にソフトウエア開発におけるシステム機能の検証には非常に大きな工数がかかるが、Common Lisp特に第2版言語仕様であるCLtL2は非常にに大きな・言語仕様を持ち、また開発時におけるバージョンアップ毎に繰り返し行なわれる機能検証試験には多大な労力を必要とする。我々は、これらの検証作業を容易にするために、Common L...
Common Lisp 第2版では、プリティプリント制御関数をCommon Lisp標準関数として定義することで、第1版で不明確であったプリティプリント機能の仕様を明確にした。またユーザが自由に表示関数を定義できるように拡張が行われた。本稿では、ワークステーションOKIStation7300上に開発した第2版準拠のTachyon Common Lispにおけるプリティプリント機能の実現方法と、第2版の仕様の拡張の提案を行う。
ipa.go.jp