--------------------------------------------------------------------------------------------------------
第 394 回 PTT のお知らせ
--- Programming Tools and Techniques ---
--------------------------------------------------------------------------------------------------------
■日時: 2013年12月19日 (木) 18:30 から
■場所: 早稲田大学６３号館５階05-06号室（情報理工学科会議室）
http://www.sci.waseda.ac.jp/campus/
--------------------------------------------------------------------------------------------------------
■話者: 松本翔太（早稲田大学情報理工学専攻）
--------------------------------------------------------------------------------------------------------
■題名：
記号実行シミュレータHyroseによるハイブリッドシステムのシミュレーション
---------------------------------------------------------------------------------------------------------
■概要：
ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり、状
態や方程式系が離散変化したりする動的システムであり、物理学をはじめ
とした様々な分野への応用が可能である。我々は現在、ハイブリッドシス
テムのモデリング言語であるHydLaと、そのシミュレータであるHyroseの
開発を行っている。HydLaは制約概念に基づく宣言型言語であり、制約間
に優先順位を設けることでシステムの通常時の動作と例外的な動作の記述
を簡潔に行うことを可能としている。Hyroseはハイブリッドシステムの性
質の理解や検証を目的としており、現時点で数式処理に基づく高信頼シミュ
レーションのほか、パラメータを含むシステムに対する記号実行や自動場
合分けをはじめとしたさまざまな機能を有している。本発表では、Hyrose
の機能やシミュレーション能力について、例題を用いて紹介する。
--------------------------------------------------------------------------------------------------------
■アクセス情報：
◇早稲田大学 交通アクセス・キャンパスマップ
http://www.sci.waseda.ac.jp/campus/
上記キャンパスマップの「西早稲田キャンパス建物配置図」の63号館と
記された建物の5階05-06号室（情報理工学科会議室）です．
電車またはバスによるアクセスにつきましては 上記マップの
「西早稲田キャンパス交通案内図」をご参照下さい。
最寄駅またはバス停からキャンパスへのアクセスにつきましては、
「西早稲田キャンパス周辺図」をご参照下さい。
---------------------------------------------------------------------------------------------------------
ご講演後の懇親会（PTT忘年会）に参加される方は下記フォームにご記入の上
PTT幹事宛にご返信下さい。人数確認に利用します。
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
第 394 回 PTT懇親会（PTT忘年会）参加申込フォーム
日時：2013/12/19 (木) 20:20 ごろから（PTT 講演終了後）
場所：ＪＲ高田馬場駅または新大久保駅周辺を予定
予算；6000円程度を予定
注意：年末のため飛び入り参加はほぼ不可ですのでご了承下さい。
申込締切：定員の20名になるか，12/9 (月) 17:00 まで
申込宛先：PTT幹事
■参加者氏名：
■コメント：
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++