Ada Info

Ada/SPARKに関する有益な情報です．

Web:

• 学習プラットフォーム（オンラインでプログラムを実行することができます）

https://learn.adacore.com/

• ユーザガイド

https://docs.adacore.com/spark2014-docs/html/ug/index.html

https://www.adacore.com/papers/spark-2014-users-guide-japanese

• Make with Ada

https://www.makewithada.org/

• AdaIC

http://www.adaic.org/