紫翠会第８２８回例会御通知

日時　　 平成２１年６月２４日（水）午後６時　時間厳守
会場     関西電力本店ビル　５階　５２１号会議室
講演者   樋口　昌宏　(近畿大学)
演　題　「物流システム記述のための形式記述言語とそれに基づく物流管理システム」
要　旨　　分散計算機環境における移動型エージェントの記述体系としてAmbient Calculusが
　　　　Microsoft Research のCardelliらによって提案されている。Ambient Calculusは
　　　　プロセスの移動と、それらのプロセス間の入れ子構造の動的な変動を適切に記述できるところに特徴を持つ。
　　　　　本研究ではそのようなAmbient Calculusの特徴に着目し、荷物がコンテナに収容され、
　　　　そのコンテナがまたトラックや船に収容され、しかもそれらが移動するという物流システムの記述に
　　　　活用できるのではないかと考えた。
　　　　　現在、学内の研究グループ内で
　　　　(1)物流システム向けに特化したAmbient Calculusの定式化
　　　　(2)物流システムの形式的記述に基づくICタグを活用した物流管理システムの構築
　　　　(3)物流システムの形式的記述の正当性の検証
　　　　に関する研究を行っており、本講演では主として(2)について述べる。
　  
　　　　ご多用中とは存じますが準備の都合がありますので、代表の方は出欠をとりまとめて
　　　　大阪大学大学院情報科学研究科マルチメディア工学専攻  秋吉、または
　　　　関西電力(株）電力流通事業本部ネットワーク技術高度化推進グループ　南
　　　　までお知らせ下さるようお願い致します。
　
　　　                    　　　　　　　　　　　  　  　　　 次回　　　　三洋電機　（７月２２日）
　　　                    　　　　　　　　　　　  　  　　　 次々回　　　富士電機　（９月３０日）
　　　　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　          　　　　　　　　　　 幹事　　秋吉　　　　（大阪大学）　
　　　　　　　　　　　　　　　          　　　　　　　　　　 　　　　南　　　　　（関西電力）
　　　　　　　　　　　　　　　[紫翠会ホームページ]
　　　　　　　　　　         http://www-sisui.ise.eng.osaka-u.ac.jp/
　　　　　　　　　　　　　　　[幹事連絡先]
　　　　　　　　　　　　　　　　関西電力株式会社　電力流通事業本部
                           ネットワーク技術高度化推進グループ内
　　　　　　　　　　　　　　　　　　　　　　　　　　　南　
　　　　　　　　　　　　　　　　　　　　　　　　　　　電　話： 050-7104-1706
　　　　　　　　　　　　　　　　　　　　　　　　　　　ＦＡＸ： 06-6441-7226
　　　　　　　　　　　　　　　　　　　　　　e-mail：minami.masahiro@b2.kepco.co.jp