ハードウェア／ソフトウェア・コデザインのためのビット数指定言語Valen - Cとその処理系の開発