SPARK言語

現在の SPARK 2014 は,Ada言語のサブセットです.しかし,別の言語として考えることが望ましそうです1.それは,プログラムの正しさを示す言語として,捉えるべきと云うことになります. プログラムの正しさを示そうと...

Ada言語の歴史

簡単にAda言語の歴史を振り返ります. プログラム言語の開発は,特定の人が開始する場合もあれば,特定の組織が始める場合もあります.Ada 言語は後者で,組織だった場合に生じがちな特性があります(例えば,仕様のサイズが大き...

Ada言語

ここでは,Ada言語を初めて学ぶときに,知っていることが望ましいことを幾つか記載しておきます.詳細は,Adaに関する情報を見て下さい. 1. 強い型付けの言語です 型付けというコトバは,他の言語では余り用いられません.変...

ODC 2018

オープンデベロッパーズカンファレンスで,SPARK/Adaの紹介をしました.ご参加いただいたみなさま,ありがとうございました. 日時:2018年8月25日(土) 11:15 – 12:00 場所:日本工学院専...