『ETロボコン2015南関東地区大会モデリングスペシャルセミナー』のご案内
『ETロボコン2015南関東地区大会モデリングスペシャルセミナー』が6月20日(土)に開催されます。
テーマは「モデルの自動化技術」です。
私もパネルディス化ションでモデルの正当性やツールによるモデルの妥当性のチェックのデモを行う予定です。
【参加申し込み方法】
先着70名、ETロボコン参加者を優先しますが、どなたでも参加できます。
以下のWebよりお申し込みください。
申し込み〆切は6月19日(金)18:00
http://minamikanto.etrobo.jp/xoops/modules/eguide/event.php?eid=40
開催日:2015年6月20日(土)12:45受付開始
場所:横浜・神奈川工科大学アクティブラーニング横浜
| 固定リンク
「パソコン・インターネット」カテゴリの記事
- 6つのテーマを同時並行作業(2019.07.05)
- すっかりご無沙汰してしましました(2018.05.27)
- CCCC(C AND C++CODE COUNTER)GUIランチャーの公開(2017.04.13)
- 作成したYicesのGUIからオプションを変えSMTを行う(2017.01.19)
- 『Yices』によるSMTソルバ(2017.01.18)
最近のコメント