Ada Japan について 本サイトについて Posted on 2018年06月19日 公式： Ada/SPARK を通じて，より信頼性の高いアプリケーションを作ること 非公式： Ada/SPARK を用いた，楽しい経験をすること