米国国防省の標準高等言語エイダ（Ａｄａ）を語れ！

■ このスレッドは過去ログ倉庫に格納されています
1名無しさんは伊達じゃない
垢版 |
NGNG
どうよ？
105C++好き
垢版 |
NGNG
>>103
最近は http://anubis.dkuug.dk/jtc1/sc22/wg21/ こういうところがメインですよ。
もうBjarne Stroustrup個人の言語じゃないです。
NGNG
しかしAda(やCommonLisp)はそもそも委員会が設計した言語だからな。
もっとひどい。
107C++好き
垢版 |
NGNG
CommonLispは、mailing-listの議論をGuy Steeleの独断でまとめた。
だから委員会じゃないが、確かにすっきりしない言語だな。
NGNG
対照的なのはOberonとかSchemeとか。
好き嫌いはともかく、すっきりしてる。
109デフォルトの名無しさん
垢版 |
NGNG
うんだ、Ada はええだ。
恩を Ada で返すだ。
NGNG
>>109
ﾜﾗﾀ
NGNG
Adaに無限ループ専用の構文なんてないぞ。
loop文の繰り返し規則がオプションになってるだけ。

for ch in CHAR'RANGE loop ... end loop;
while ch in CHAR'RANGE loop ... end loop;
loop ... end loop;
112デフォルトの名無しさん
垢版 |
NGNG
平社員: 係長、何か泳いでいますね〜
係長: エイだ。
113ＡＤＡ
垢版 |
NGNG
ＡＤＡ
NGNG
保守
NGNG
AADDAA
NGNG
人類初のプログラマーは女性
http://www-6.ibm.com/jp/lead/010115_a.html
NGNG
raise…してもネタも無し。保守
NGNG
国防省というと、Multicsがついこないだまで現役で動いていた
そうですが、それってPL/IをAdaに焼き直して動かしていた
とかいう話はあるんでしょうか？
NGNG
保守sage
120デフォルトの名無しさん
垢版 |
NGNG
age
121_
垢版 |
NGNG
作られた時代を考えたらAdaって凄く先進的な言語ですね。。。
122デフォルトの名無しさん
垢版 |
NGNG
作られたときは先進的だけど今はどうってことないじゃん。なんて国防総省が
いまだにエーダなんてつかってるかわからないよーん。ボケ。
NGNG
F-22しか使われてるの知らないけど、他にはどんな軍用兵器の開発に
使われてるの？

124デフォルトの名無しさん
垢版 |
NGNG
スティンガー
125デフォルトの名無しさん
垢版 |
NGNG
エイダちゃん
ｷﾀ━━━(ﾟ∀ﾟ)━━━!!


でも年輩ハッカーしか知らないに(　つД｀)1デリゲート
126C++好き
垢版 |
NGNG
>>122
違うよ。そういう後ろ向きの理由じゃなくて、Multicsはバリバリの現役だったよ。
B2 security通っていたからね。
http://williamstallings.com/Extras/Security-Notes/lectures/trusted.html

「コンピュータセキュリティの基礎」D. Russell, G.T. Gangemi Sr.
山口英監訳 アスキー出版、が日本語書籍では詳しい。絶版なのかな?
http://www.amazon.co.jp/exec/obidos/ASIN/4756102999/qid%3D1028710845/250-8907122-0857047

>>123
>>50から辿ってね〜。
NGNG
国内でも航空管制で使われてない？
NGNG
保守
NGNG
Text_IO.Put_Line("下へ参ります");
130デフォルトの名無しさん
垢版 |
NGNG
GCC に Ada が入ったみたいだが、なぜ？
NGNG
Ada.Coda.IUNA
NGNG
Ada.Coda.You.Know
NGNG
ttp://www.adahome.com/Pictures/ladyada.gif結構美人じゃない？？
134　
垢版 |
NGNG
いまgnat-3.13p-8.i386.rpm ってのﾀﾞｳｿしてるんだが・・・
・・・不安
135134
垢版 |
NGNG
RedHat7.1と7.3にすんなり入った。

gnat-3.13p-runtime-1-8.i386.rpm
と、gnat-3.13p-8.i386.rpm
の、とりあえず二つだけ持ってきて、この順にrpm -ivh するだけ。

ちょっとイラっとしたことといえば、User's Guideにあった
$ gcc -c hello.adb　が駄目で、gnatgccじゃないとコンパイル
しなかった事ぐらいだった。

まぁ温故知新って言うか、割と楽しめそうな感じ。
NGNG
lovelaceっていうAdaチュートリアルみつけた。
なんかよさげ。

Section1-4にAdaの実行時例外を投げさせる例題があったけど、
例外なんか一個も投げられないで、おかしな値を表示しながら
無限ループしてる。
調べてみると、漏れのつかってるGNATではコンパイル時の
オプションで-cargs -gnatoと指定しないとだめだと分かった。
それ以外はいい感じだった。もうしばらく続けてみよう。

今日はLesson4までやった。
明日はLesson5〜8までやる。オブジェクト指向が含まれる。
あさってはLesson9〜12までやる。Genericsが含まれる。
しあさってはLesson13〜17（最後）までやる。並行処理とかが含まれる。

・・・つうか暇。。。
NGNG
Windowsでも、mingw版gccで試せる、と一応書いておく。
138デフォルトの名無しさん
垢版 |
NGNG
levelace って名前がなんか
軍用って香りがするのは
Ada に対する偏見だろうか？
139　
垢版 |
NGNG
Augusta Ada Lovelace（バイロンの娘。世界最初のプログラマ）
NGNG
Boochなんかも、もとはAda畑の人だったわけね。
でRational Rose もAda Illustratorってツールに起源をもつとか。

もしかしてSmalltalk程度には評価されていいのかも知らんね。
case-insensitiveなのは、いやなんだが・・・。
NGNG
さてと、lovelaceとか言うチュートリアルを半分までやって見た。

メッセージを受け取る側のオブジェクトも引数としてメソッドに渡すわけか。
UMLとか書くときはどうするんだろう。

あとタイプとクラスを別々の概念として扱うってのが、なんかイマイチ
よく分からん。（興味深くもあるけど。）
代入とコン（デ）ストラクタを定義するのに、いちいち組み込みのクラス
から派生させるてのもいかがなものかと思いますた。

マルチディスパッチできるらしいんだが、これはちょっと面白いかも。
寝る時間までちょっといろいろ書いて見るか。
142デフォルトの名無しさん
垢版 |
NGNG
Adaたんって可愛かったのかな？
写真なんか無い時代だよね…
NGNG
Ada.NETはともかく、.NETに総称を付け加える研究をMSRでやってるよ。
144デフォルトの名無しさん
垢版 |
NGNG
そのgnatってネットワーク系のライブラリとかあります？
単にHTTPでPOSTして結果をうけとるだけでいいんですけど。
NGNG
>>143
貴族の娘だから肖像画くらいはあるんじゃねーの?
NGNG
Lady Augusta Ada Byron
http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/pictures.html#LA
NGNG
現在mingwダウンロード中。
「lovelaceっていうAdaチュートリアル」とやらはどこにあるの？
148デフォルトの名無しさん
垢版 |
NGNG
gcc-3.2-Ada-20020817-1.tar.gzをmingwのディレクトリに重ねて解凍しただけではコンパイルできないのか？

fatal error, run-time library not installed correctly
cannot locate file system.ads

みたいに言われる…(system.adsそのものはmingw\lib以下の深いところに存在する)
多分何かパス設定が必要なんだろうけど、誰か知りませんか？
149148
垢版 |
NGNG
自己レス。
環境変数ADA_INCLUDE_PATHとADA_OBJECTS_PATHが必要でした。
さて、Hello Worldのコンパイル通ったし、lovelace探すか…。

やけに生成されるexeがでかい気がするのですが、スマートリンクみたいなオプションが必要？
それともこんなもの？
150デフォルトの名無しさん
垢版 |
NGNG
好奇心で勉強するのは良いけどさ、
Adaって案件あるのか？
先輩が昔、三菱のホニャララで聞いた事が
ある、とか言ってたけど...
151デフォルトの名無しさん
垢版 |
NGNG
>>150
軍事関係なら多いだろ
でもそういうのは機密なものばかりだろうから話題には上らない
NGNG
>>150
三菱というと、もしかしてF-2とかの戦闘機ってAdaで動いてるのか。
それはそれで面白そうだ。
# ま、漏れ的にはAdaは遊びで十分なんだけど。現実的に。

ちなみに、ソフトウェアの再利用性に関連した論文とかで、
CAMP（Common Ada Missile Package）ってのをたまに
見かけるんだけど、是非、拝見して見たいものだが。
やっぱミサイルクラスとか弾頭クラスとかあるのかな・・・？。

あとNASDAとかもにもありそうな気がするんだがどうなんだろ。＞案件
NGNG
>136
>無限ループしてる。
なった、なった。
>調べてみると、漏れのつかってるGNATではコンパイル時の
>オプションで-cargs -gnatoと指定しないとだめだと分かった。
そんなとこまで気付かなかったよ。
154141
垢版 |
NGNG
>>153
おお始めてみたんですか。心強いです。
自力で分からないことあったら訊くかも知れんのでよろしこ。

あと、正直すまんかった。
間違ったこと書いてたらしい。マルチディスパッチはだめみたいだ。
operation can be dispatching in only one type.
いきなり怒られた。
Visitor使えよってことか。
NGNG
>147
>「lovelaceっていうAdaチュートリアル」とやらはどこにあるの？
目次
ttp://www.adahome.com/Tutorials/Lovelace/master.htm
トップ
ttp://www.adahome.com/Tutorials/Lovelace/lovelace.htm
156147=148
垢版 |
NGNG
>>155
ありがと。でも、既に検索して見つけちゃってました。
とりあえず順番にクイズをやってます。
NGNG
一応書いとくか。
LovelaceのSmallってサンプル（ﾀﾞｳｿしたやつ）は、俺の環境RH7.3+gnat3.13pでは
makeできなかった。
ちょっとがっかりしたけど、深追いするのはやめときますた。

今、ライブラリとか調査中。
NGNG
>>157
mingw+gnat(バージョンはどこで見るの？)でもビルドできない…と思いきや、
zipに格納されているファイル名が8文字で切れてしまっている様子。
(directions.ads が directio.ads になっている等)
ファイル名を正してやればビルドできました。

しかし…二部屋しかないのか？このゲーム(w
NGNG
win32adaというものを拾ってきて、WindowsAPIを呼ぶ実験をしてます。
一部書き換えが必要になったものの(gnatのバージョン違いが原因と思われる)、
なんとか成功…はしたのですが、
毎回、リンカにlibuser32.a等を渡してやらないとリンクできない面倒な状態になってしまってます。
リンカ(gnatlink)に渡すデフォルトオプションを書いておける、環境変数とか設定ファイルとかありませんか？

それと、win32*.aliを、ADA_OBJECTS_PATHにコピーしても、見てくれず、
毎回ソース(ADA_INCLUDE_PATHに配置。こっちは見てくれる)からコンパイルされるのは何故だろう…。
NGNG
>>159
いまソケットライブラリやってるんだけど、こっちではこんな風にmakeできる。

１．gnatmakeに渡すオプションをなんかのファイル(例えばfoo)に書く。
-I/usr/lib/ada/adasockets -L/usr/lib/ada/sockets -largs -L/usr/lib/ada/adasockets -ladasockets
　（-largs以降がリンカオプションらしい）

２．そんで、gnatmake hogehoge `cat foo`

窓、出ましたか？
NGNG
``というのはUNIXのコンソールの機能ですか？cmd.exeにそんな機能あったかな…。
無駄と思いつつ`type foo`なんて書いて何も起きない事を確認。

とりあえずソースコードに直接pragmaを埋めこむ事で、一応対処はできました。

pragma Linker_Options("-s -mwindows");
pragma Linker_Options("C:\progra~1\mingw\lib\gcc-lib\mingw32\3.2\adalib\win32ada.a");
pragma Linker_Options("C:\progra~1\mingw\lib\libgdi32.a");

で、窓、出ました。
( ソースコードにパスを埋めこむのは気持ち悪いのですが… )

-s をリンカに渡すと、スマートリンクらしいです。だいぶ.exeが小さくなります。
162160
垢版 |
NGNG
>>161
ｽﾏｿ。なんとなくCygwinユーザかと思ってた。

＞で、窓、出ました。

いいなあ。。。
漏れもGｔｋでやって見ようかな。

それにしても情報が少ない。まさに「ソースがドキュメント」状態・・・
163　
垢版 |
NGNG
メモっとこ。
主要ドキュメント。

『Language Reference Manual 』
言語自体のリファレンスだけど、BNFばかりでとっつきにくい。
http://www.ocsystems.com/user_guide/powerada/html/ada_lrm/lrm-TOC.html

『Ada 95 Quality and Style Guide 』
スタイルガイドだけど、要所要所コードの断片が載ってちょっと分かりやすい。
http://www.grammatech.com/style_guide/contents.html
NGNG
巫女の予言とかいうやつ?
NGNG
海で泳いでいるのは
NGNG
興味本位でいじってみてるんだが、最初思ってた程悪くは無いわな。
日本語のサイトで「巨大なゴミ」とか書いてるところもあったけど、
別にそうは思わないなあ。

流行らなかったのは、だいぶ前のレス>>62にあったように開発ツール
とかの問題だと思うんだが。言語仕様じゃなくて。
NGNG
総称が使えるという事は、STLみたいなものもある筈…
というか初期STLはAda由来というのをどこかで見た…

どなたか、御存じ無いですか？
NGNG
>>167
sglってのがあるみたいですね。
逆にC++STLをもとに作ったらしいですが。

ftp://ftp.cs.rpi.edu/pub/stl/SGL.tar.gz

IEからはﾀﾞｳｿできなかったんですが、anonymousでftpに入ったら
持ってこられました。中身のバージョンは2.0a3でした。
まだ使ってませんが。
NGNG
>>168
テスト程度に使ってみました…で、印象としては、ファイルを細分化させ過ぎているせいで、
withの数や特殊化の数が増えて、C++/STLほど気軽に使えない感じ。
Controlled型がprocedure内でローカルに作れない(特殊化含む)というのも、初めて知りました。痛い制限ですね…。
NGNG
ラプターはエイダで動いてるらしいな。
171　
垢版 |
NGNG
>>169
おれのとこだと、通らないテストがいくつかあった。
自分で修正しようとしたけど、漏れのスキルじゃまだまだ無理っぽかった。

＞痛い制限ですね…。
やはり突っ込みどころは多々ある。かなりある。
あまり気にしませんが。

ライブラリといえばBoochコンポーネントとかいうのにもコレクションとか
あったと思う。どうなんだろ？
NGNG
ところで、Adaは言語仕様でGCが想定されていますが(同時にGC無しモードも想定されてるけど)
GNATのGCは、exe終了時にしか働かない気がします。
forで回してnewしまくったら、あっさりヒープが足りないとエラー出して終了、
でも、それまでに割り当てたオブジェクト(Controlled型にしてました)に関しては、
きちんとFinalizeが呼ばれて解放された事が確認できます。

マトモに作ろうと思えば、GCは気休め程度に考えて、
やはりUnchecked_Deallocation使ってFreeするしか無いのでしょうかね。
それとも知らないだけで、明示的にGC起こすような関数があるのでしょうか？
173169
垢版 |
NGNG
>>171
>おれのとこだと、通らないテストがいくつかあった。

あら、ほんと。(昼間は全部試して無かった)
そのままじゃ使えない色が強くなってきました…→SGL
NGNG
Booch試してみました。
STLとは異なる作りですが、こっちの方がいい感じ。テストも通ったみたい。
しばらくこれで遊べるかも。

直接関係ないのですが、BoochのCase-Studyを見る限り、
Adaは関数内関数をgeneric引数に使えるらしいです。
スコープとかどうなるのかよくわかって無いのですが、なんか強力そうな感じは受けます。
175デフォルトの名無しさん
垢版 |
NGNG
日本語の情報が少ないage
C++とも勝負できる仕様と思うんだけどなあ…
176_
垢版 |
NGNG
>>175
仕様の巨大さで?
いや、好きだけどね。
NGNG
C++の場合、構文のいい加減さを繕うために無駄に仕様がでかい気がするが、
Adaの場合、使いもしない機能を詰め込んで無駄に仕様がでかい気がする。
NGNG
日本政府の被差別言語エタ（穢多）を語れ！
NGNG
うちの大学の授業では Ada は必須ですが、好きじゃないです。
180デフォルトの名無しさん
垢版 |
NGNG
pragma CPP_xxx って、具体的にはどう使うのだろう。
上手く使えば、例えば、IUnknownを定義できたら、COMなども使えると思うのですけど。

GNATCOMというのを見てみたら、pragma CPP_xxxは使わずに、VTableを自前で作ってる…。
181名無しさん＠Ｅｍａｃｓ
垢版 |
NGNG
今日、gnatgccで日本語、
Put_Line("こんにちは");
を含んだソースをコンパイルしようとしたら
``control character not allowed in string''
と出て失敗します。
環境はEmacs21/Linux2.4ですが`file'コマンドの結果が``ASCII text, with escape sequences''
となるものだけエラーが出るようです (viやcatで作った``ISO-8859 text''なら問題なしです)
オプションの -gnatiw -gnatWe 等も試しましたがうまく行きません、
どなたか御知恵をおかしください m(_ _)m

NGNG
manon?
183デフォルトの名無しさん
垢版 |
NGNG
当方Windows/Mingwですけど、SHIFT-JISはオプション無しでも何等問題ないみたいです。
Wide_Stringにしても通ったという事は、ロケールを認識してくれてるのかな？
エスケープシーケンスって事は、恐らくEUCでは無くJISコードで保存されていて、
JISコードに必要な言語切り替えコードが引っかかるのではないでしょうか。
NGNG
test
185デフォルトの名無しさん
垢版 |
NGNG
何故、gccのVMTは、未使用4バイト、型情報4バイトが先頭に入るのでしょう。
pragma CPP_Virtualをいじってて、仮想関数が2つずれるので気がついた…。
これではCOMのインターフェースが使えないじゃないですか。
(丁寧に、VMT中の位置指定に負数を書くと、エラーになるし…)

g++でも同様にずれるのか気になるところ。
186デフォルトの名無しさん
垢版 |
NGNG
raise Ageeeeeeee;
187デフォルトの名無しさん
垢版 |
NGNG
age ru yo.
188デフォルトの名無しさん
垢版 |
NGNG
メソッ
189デフォルトの名無しさん
垢版 |
NGNG
目指せ存続1年
NGNG
テロ画像ぺたり
ttp://akira.dcp.ne.jp/~netbbs/cgi/test2/img/196.jpg
NGNG
一周年記念sage
NGNG
＞＞５４９さん
お兄ちゃん…酷いょ…
NGNG
>>40
初めてひろゆきにレス貰った。
NGNG
http://www.miyadai.com/message/?msg_date=20020713

これが本当なら、ひろゆきは今より、裁判所以外に対しては強気に出れる事になると思うんだが、
どうなんだろう？
NGNG
>>50
タイプミス
ｽﾏｿ
196デフォルトの名無しさん
垢版 |
NGNG
最高裁への上告は認められなくなったから、これで事実上判決確定だよ。
逆転も何もないって。　　　　　　　　　　
勢いで上告なんかしても一発で上告却下(門前払い)だよ。
　　　
二審も一審を支持。これに対して上告しようにも、
刑事訴訟と同様、自由に上告できるってもんでもないのです。
民事訴訟法312条 （上告の理由） 1項
「上告は、判決に憲法の解釈の誤りがあること
その他憲法の違反があることを理由とするときに、することができる。」
http://www.m-net.ne.jp/~doba/goto/hon.htm
　　
ようするに上告しても今の制度では100％無駄。 これで完全終了ってことか。
NGNG
======2==C==H======================================================

　　　　　　　　　２ちゃんねるのお勧めな話題と
　　　　　ネットでの面白い出来事を配送したいと思ってます。。。

===============================読者数： 138720人　発行日：2003/1/9

年末年始ボケがそろそろ収まり始めた今日このごろのひろゆきです。

そんなわけで、年末に予告したIP記録ですが実験を開始しています。

「２ちゃんねる20030107」
こんな感じで各掲示板の最下部に日付が入ってるんですが、
20030107以降になってるところはログ記録実験中ですー。

んじゃ！

────────────────────────Age2ch─
■この書き込みは、Age2chを使って配信されています。
────────────────────────────
Keep your thread alive !
http://pc3.2ch.net/test/read.cgi/software/1041952901/l50
────────────────────────────
NGNG
>>751 まともじゃないから2ちゃんねるという図式は考えないのか？(苦笑)

2ch=アングラとは決して思ってないしそう言う意味じゃないけど
NGNG
関係ない人からばっかりかかってくるよ！
NGNG
ワン切りしてみた！！
NGNG
> 書き込まず、閲覧するだけでもIP記録するの？
>そしてそのログをIPごとに集計して利用者の閲覧行動を把握するとかする

一般的な話、apacheなら
analogとかwebalizerとかそれ用のログ解析ツールがある。
ふつうに"セキュリティー"に気をつかっているところであれば
どこでもaccess_logぐらいとってる。

そうしない自鯖がクラックされてもクラックされた事実すらわからない。
NGNG
【シャア大佐には】わたし、ララァだよ【秘密だよ】
http://comic.2ch.net/test/read.cgi/shar/1042119493/

↑このスレで神降臨ｷﾀ━━━━━━(ﾟ∀ﾟ)━━━━━━ !!
自らララァとなのるガノタの女子高生がコスプレ＆脱ぎまくりのうｐ祭り
NGNG

正解！

あなたがミリオネア（ｗ
NGNG

ｎ
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。