ETロボコン2015南関東スペシャルセミナー資料の公開
2015年6月20日に「横浜・神奈川工科大学アクティブラーニング横浜」で開催されたETロボコン2015南関東スペシャルセミナー資料の公開いたしました。
パネラーモデルのポジショントークとして自動作成の基盤となる数学・論理学を活用したモデリング技術と検証技術について解説しました。
| 固定リンク
「パソコン・インターネット」カテゴリの記事
- 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)
最近のコメント