@misc{oai:repository.nii.ac.jp:02000022,
 month = {Sep},
 note = {形式手法をものづくりへ
ERATO「蓮尾メタ数理システムデザインプロジェクト」},
 title = {NII Today 77},
 year = {2017}
}