トランスピュータを用いた表明付き項書き換え系の実現

本稿では,リダクション戦略の表明を行うことのできる項書き換え系A-TRSのリダクションをトランスビュータによって,メッセージ交換を用いて分散的に実行するリデューサの実現とその評価について述べる.

トランスピュータと Occam、懐かし過ぎる。PC98 の拡張バスに挿して使えるトランスピュータ搭載のボードっていうのも、あったんだよな。僕が卒業した後に、後輩にあたる人が書いた論文が、これ：　http://t.co/MhGPEDin

2 @koie @kibayos