論文 : シーケンス制御プログラムのための標準フォーマットに関する考察