査読有り 2016年10月 高階関数を導入した階層的サービス合成記述 電子情報通信学会B 中口孝雄, 村上陽平, 林 冬惠, 石田 亨 巻 J99-B 号 10 記述言語 日本語 掲載種別 研究論文(学術雑誌) エクスポート BibTeX RIS