“learn.adacore.com"
LEARN.ADACORE.COM Edit on GitHub What is Ada and SPARK? Ada is a state-of-the art programming language that development teams worldwide are using for critical software: from microkernels and small-footprint, real-time embedded systems to large-scale enterprise applications, and everything in between. SPARK is a formally analyzable subset of Ada — and a toolset that brings mathematics-based confi
GNAT開発環境について〜gcc付属ツール - Note
2012年12月時点でのgccまたはGNAT GPLをインストールした際に付属する「公式」ツール群の紹介を行う。 多岐に渡るので、一つ一つの詳しい説明は行わない。 各ツールの細かい情報はそれぞれのドキュメントを参照して欲しい。 もし知らないツール名があったらちょっと読んでみて欲しい。 もしかしたらあなたの問題を解決するツールがあるかもしれないから。 ★は重要度。五点満点。 なおこの記事は某所のパクリです。あとAda Advent Calendarとは何の関係もありません。 gcc ★★★★★ コンパイラ。説明不要。 Adaという言語のポテンシャルを全く引き出していない上にバグの多い糞コンパイラですが、現状Ada2012が使えるフリーのAdaコンパイラはこれしかないので仕方がないです。 (別に私一人が言ってるわけでもなく、comp.lang.adaでAda, the best languag
Ada@WCIMH
./index.html ../index.html Adaへの挑戦は続く… これは、僕が、数年前に端っこだけかじって宙ぶらりんになっていたAdaへ再挑戦し、なんだかんだで使えるようになったりならなかったりした時の記録です。 もしプログラミング言語を分類するとしたら、何かの上に乗っかって動く事が前提な言語と、単独で動作可能な言語、という分類もできます。 ま、特定OS用コンパイラである時点で、OSの上でしか動かないのは当たり前で、あくまで言語の設計上の話になりますが、ランタイムが何一つ無くても動くぜ！(いや、最低メモリマネージャは必要か…)な設計の言語は、書いていてある種の爽快感があります。 (BASICやJavaで、結局際どい処理は.dllやJNIを使わざるを得ないのか、といった歯痒さを感じた事がある人ならわかると思います…逆に、C++しか使った事ないぜ！ってな人にはわからないかも) Ad
Ada 基礎文法最速マスター - トーフサロン
今まで文法を知ろうとさえ思ったことがなかったけど、調べてみると学んどくべき言語のような気がしてきた。始めたばかりでよく知らないため、間違いがあったら指摘して下さい。このページに少しずつ書いていきます。 Ada の日本語情報が少ないので、文法以前の基礎知識から書く。 Ada Programming - Wikibooks が詳しい。 パラダイム 構造化 命令型 オブジェクト指向 実行方式 ネイティブコードにコンパイル、または Java や .NET などの VM で動作。処理系による。 規格 ISO と ANSI で制定されている。これまでに何度か改訂され、制定された年度によって次のように呼び分けている。ちなみにオブジェクト指向言語としては世界で初めて標準規格化 (ISO, 1995 年) された言語。 Ada 83 (1983 年 MIL 規格化、後に ISO/ANSI 標準化) Ada
9/11 Essays: Samples & Topics |
Role of 9/11 in the Increase of Governments’ Biopolitical Control of Citizens Prior the terrorist attacks on 9/11 in the United States if you landed in an American airport the border control police would look at you, stamped your passport and happily said welcome to America! Now if you go to America the law enforcement authorities would... Analysis of the Counter-Insurgency Strategy of USA That He
Ada 95
Ada is a general-purpose programming language which was originally commissioned by the U.S. Department of Defense in the late 1970s. The language definition was finally approved by the American National Standards Institute (ANSI) in 1983 and also by the International Organization for Standardization (ISO) in 1987. The rules of these organisations require that standards be reviewed and resubmitted
Ada@WCIMH
../index.html Ada95の四方山話 挑戦は続く… 昔の挑戦 スレッドで遊ぶ dllを作る A#！ D言語ユーザー向け紹介文 Samples 特設！テキストシューティングの作り方 Windows APIのごく一部だけ手書きインポート MT19937 嘘正規表現 嘘YAML 貴重な情報収集先 (無断リンク) 英語 MinGW コンパイラはここで RM95 言語仕様 Martin Dowie's Web Page Ada0Y for Ada95 The Big Online Book of Linux Ada Programming テキスト Borland C++BuilderX デバッガが使えます！ 日本語 Ada, Pascal and Macintosh 「やっと見つけた素敵な言語、誰にも教えてあげないよ」…しびれる！ Ada95への招待 必読！既に消えていてこれはWebア
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Commercial software solutions for Ada, C and C++
米国国防省の標準高等言語エイダ（Ａｄａ）を語れ！
http://stwww.weizmann.ac.il/g-cs/benari/books/
Ada95 Lovelace Tutorial Home Page