« 2015年5月 | トップページ | 2015年7月 »

2015年6月

2015年6月 9日 (火)

『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受付開始

場所:横浜・神奈川工科大学アクティブラーニング横浜

「2015150620b.pdf」をダウンロード

|

2015年6月 4日 (木)

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

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

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

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

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

 

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

|

« 2015年5月 | トップページ | 2015年7月 »