Skip to content
Ada Japan
日本 Ada 協会
  • Home
  • Ada Info

Ada Info

The useful links to learn the Ada and SPARK language

Web:

  • Learning Platform

https://learn.adacore.com/

  • User Guide

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/

 

Language:

  • 日本語
  • English

Categories

  • Ada Japan について
  • make
  • News
  • Ada Language
  • SPARK Language

Recent Posts

  • Functional Safety Conference
  • (日本語) SPARK言語
  • (日本語) Ada言語の歴史
  • (日本語) Ada言語
  • ODC 2018 @ Tokyo

Archives

  • November 2019
  • August 2018
  • July 2018
  • June 2018