SPARK言語
現在の SPARK 2014 は，Ada言語のサブセットです．しかし，別の言語として考えることが望ましそうです1．それは，プログラムの正しさを示す言語として，捉えるべきと云うことになります． プログラムの正しさを示そうと...
月別: 2018年8月
Ada言語の歴史
簡単にAda言語の歴史を振り返ります． プログラム言語の開発は，特定の人が開始する場合もあれば，特定の組織が始める場合もあります．Ada 言語は後者で，組織だった場合に生じがちな特性があります（例えば，仕様のサイズが大き...
Ada言語
ここでは，Ada言語を初めて学ぶときに，知っていることが望ましいことを幾つか記載しておきます．詳細は，Adaに関する情報を見て下さい． 1. 強い型付けの言語です 型付けというコトバは，他の言語では余り用いられません．変...
新しいコミュニティバージョンリリース
AdaCore 社から新しいコミュニティバージョンのリリースがアナウンスされています． micro:bitが，新たに正式の参照プラットフォームになっています． micro:bitを使用するためのインストール手順を少し補足...