講師：岡部 究（Japan ATS User Group 会長）
担当：Metasepi Project
レベル：入門編
対象者：Arduinoやmbedなどの小規模マイコン上でのプログラミングに興味のある方。
前提知識：C言語でのプログラミング経験がある方
Internet of things (IoT) の世界では現在より多くのより複雑なデバイスがインターネットを通じて接続されるでしょう。
このデバイス上で動作する様々なバリエーションのソフトウェアの信頼性はどのように担保すれば良いのでしょうか？
このセミナーでは関数型言語であるATS言語を使ってマイコン上で動作する複雑なソフトウェアをC言語より安全に
設計する手法をわかりやすく紹介します。
ATS言語の詳細については Japan ATS User Group のホームページ http://jats-ug.metasepi.org/ をご覧ください。
【カテゴリ】OS/プログラミング言語/組み込み
