S10-1

動作仕様記述言語（SOL）に対する記号モデル検査法を用いた効率シーケンス制御論理検証方式の提案

○中芝崇明・土屋晃胤・一階良知・薦田憲久（大阪大学）

シーケンス制御システムの階層的・分散的プログラミング

○高橋宏治（東京工業大学）

制御対象の情報に基づいた動作順序の自動生成

○鈴木達也（名古屋大学）・青木 猛（名古屋市工業研究所）・松崎元昭（名古屋産業科学研究所）・大熊 繁（名古屋大学大学院）

IEC61131-3準拠プログラミングの実際

○垂石 肇（東芝 ）

情報制御システムにおけるユビキタスコンピューティングの可能性

○鮫嶋茂稔（日立製作所）

マルチCPUシステムによるプログラマブルコントローラの制御方式

○坂本 昇（三菱電機）