« 『UMLによるやさしい科学的モデリング』の話し~モデルの自動妥当性チェック&シミュレーション&自動コード生成のデモ | トップページ | 『ETロボコン2015南関東地区大会モデリングスペシャルセミナー』のご案内 »

2015年6月 4日 (木)

6月20日(土)~『ETロボコンのモデリングスペシャルセミナー公開講座』のお知らせ

『ETロボコンのモデリングスペシャルセミナー公開講座』のお知らせをシュアします。
 
コード生成の自動化は当然の時代です。

http://minamikanto.etrobo.jp/xoops/modules/pico/index.php?content_id=21

 
 現在は『正当性・妥当性があるモデル開発』と『モデルの自動検証』が重要です。
これは現在も最先端の研究課題です。

 スペシャルセミナーでは最新のモデリング技術と自動化技術の世界の動向がテーマです。
 
私もコンピューター科学のモデルの定理・原則によるモデルの正当性・妥当性について解説を少し行います。

 

 自社ツールでモデルの正当性・妥当性のデモを予定しています。
 
また、モデルの正当性・妥当性をプログラムに埋め込むコード自動生成についてもデモしたいと考えています。

|

« 『UMLによるやさしい科学的モデリング』の話し~モデルの自動妥当性チェック&シミュレーション&自動コード生成のデモ | トップページ | 『ETロボコン2015南関東地区大会モデリングスペシャルセミナー』のご案内 »

「パソコン・インターネット」カテゴリの記事