New URL: ptt.prosym.jp. To English page
◆2004年 5月に第300回を迎えました．これからもよろしくお願い致します．◆
2012年4月からPTT幹事を務めています，電気通信大学の荒堀 喜貴です. 皆さまよろしくお願い致します．
PTTは東京近辺の大学を中心に構成された私的な研究会で，計算機，プログラミング，情報処理に関する研究や経験談について，自由なスタイルで発表・議論を行なっています．第1回目が1976年4月に行なわれるという，長い歴史を有する研究会でもあります（履歴は発表リストを御覧下さい）．現在は月に1回，東大（本郷），東工大（大岡山），慶應大（矢上・日吉），早稲田大（新大久保），電通大（調布），農工大（東小金井）の6大学で会場を持ち回って開催しています．
話者および分野は毎回異なりますので，専門分野外の知識を広げたり, 逆に自分の専門分野に近いところで深い議論に参加することもできます．参加人数は毎回10～20人程度で, 少人数のアットホーム的なスタイルとなっています．会費等は徴収しておりません．参加も大学だけでなく，企業からの参加も歓迎しております．気にいったテーマ等があるときに，どうぞお気軽に御参加下さい．
毎月上旬にプログラムを掲示します．また，プログラムなどをお知らせするためのメーリングリストも作成されています．PTTにご興味をお持ちの方は，ptt-ml-admin __(at-mark)__ ptt.prosym.jp（SPAM対策）に御連絡下さい．なお，配送エラーが一定期間続いたメールアドレスは配送を停止しています．お問い合わせは上記のメールアドレスまで．
--------------------------------------------------------------------------------------------------------
第 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幹事（irohara@gmail.com）宛にご返信下さい。人数確認に利用します。
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
第 394 回 PTT懇親会（PTT忘年会）参加申込フォーム
日時：2013/12/19 (木) 20:20 ごろから（PTT 講演終了後）
場所：ＪＲ高田馬場駅または新大久保駅周辺を予定
予算；6000円程度を予定
注意：年末のため飛び入り参加はほぼ不可ですのでご了承下さい。
申込締切：定員の20名になるか，12/9 (月) 17:00 まで
申込宛先：irohara@gmail.com
■参加者氏名：
■コメント：
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++