新世代プログラミング④_新しいプログラミング・スタイルと言語(2)_関数型プログラミング言語KRCを中心として