カーネルとWCT
価格はいくらになるでしょうか?