本研究では高水準のプログラミング言語として，S式ベースC言語SCを設計・実装した．S式とは，Lisp言語における基本的な文法単位であり，変形に適した性質を持つ．C言語をこのようなS式で表すことで，強力なマクロ機能を利用したり，言語拡張を容易に行うことができるようになる．本研究で実装したSC言語は，C言語をほぼそのままS式の文法に置き換えたSC-0言語とその拡張言語から成る．SC処理系は，拡張SC言語で記述されたプログラムをまずSC変換器によってSC-0言語に変換し，それをさらにSCコンパイラでC言語に変換する．本発表では，この拡張SCからSC-0への変形規則をS式のパターンマッチを用いて記述し，その解釈器によって変換を実行するという方法により，言語拡張を容易に実現できるようにすることを提案する．
