プログラム言語総合スレ

ML・Prolog・Lisp・Scheme・Ada・etc...
に関する話題を取り扱います。
また、プログラム言語一般の基礎理論に関しても話し合います。

関連スレ
理論計算機科学
http://cheese.2ch.net/test/read.cgi/math/1005244106/l50

２

＞総合スレ
ほかにどれが？

＝＝＝つーか終了＝＝＝

大堀淳のMLの本ってどうよ？

kawaii() :
konichiwa konichiwa world;
1 + 1 = 2;
i++;
unchi(imai)
kawaikunai(); //

>>5
○konnichiwa
×konichiwa

ローマ字くらい勉強すれば？

大堀さんといえば、『プログラミング言語の基礎理論』
難しくない？

>>1
激しく板違いじゃん?
それと何故その中に Ada を入れるのよ?

ML
http://pc.2ch.net/test/read.cgi/tech/1012445015/l50

Lisp, Scheme
http://pc.2ch.net/test/read.cgi/tech/1008220265/l50

Prolog
http://pc.2ch.net/test/read.cgi/tech/976462999/l50

Ada
http://pc.2ch.net/test/read.cgi/tech/1010492940/l50

-------------
Haskell
http://pc.2ch.net/test/read.cgi/tech/1013846140/l50

関数型言語
http://pc.2ch.net/test/read.cgi/tech/1007387924/l50

何故に数学板？

そんな事より１よ、ちょいと関いてくれよ。スレとあんま聞係ないけどさ。
昨日、予備校で微積やってたんです、俺。
そしたらなんか人がめちゃくちゃいっぱいでお薦め出来ないんですよ。
で、よく見たらなんか垂れ幕下がってて、微積分大会、とか書いてあるんです。
もうね、アホかと。これ最強。
お前らな、微積分大会如きで普段来てない隣の奴は微分が多めに入ってる。そん代わり積分が少なめ。これ。
微積分だよ、これが通の頼み方。
なんか親子連れとかもいるし。一家１５０人できょうび微積分。これだね。
よーしパパ微積分しちゃうぞー、ボケが。
お前らな、高次導関数求めてやるからその席空けろと。
予備校ってのはな、もっと何が、やっぱり、だ。
机の向かいに座った奴といつイプシロンデルタ論法が始まってもおかしくない。
微分するか積分するか、そんなのすっこんでろ。
で、やっと座れたかと思ったら、グラフがぶち切れですよ。
そこでまた、連続じゃないから微分不可能で、とか言ってるんです。
あのな、微分は雰囲気がいいんじゃねーか。不連続はきょうび流行んねーんだよ。
得意げな顔して、問いたい。問い詰めたい。小１時間問い詰めたい。
お前は本当に殺伐としてるべきなんだよ。一様連続って言いたいだけちゃうんかと。
お前、微分積分が単なる計算問題だって言いたいだけちゃうんかとか言ってるの。
微積分通の俺から言わせてもらえば、今、微積分通の間での微積分はもう見てらんない。
テイラー展開、おめでてーな。
ロルの定理。１５０次導関数。
積分って来てんじゃねーよ、ボケが。
で、それにギョク（微分大盛り）。アホかと。
しかしこれを頼むと次からロピタルの定理が使用禁止という危険も伴う。
素人は座れないんです。
まあお前らド素人は、微積分でもしてなさいってこった。

>>10
なんか変だよ。

別に激しく板違いってわけじゃないけどさ…
とりあえず、これも関連スレに入れてやってくれ

〓Mathematica〓
http://cheese.2ch.net/test/read.cgi/math/985023298/

>>10
頑張って順序変えたはいいものの，「馬鹿かと。」が抜けてます。

ついでに「諸刃の剣」が・・・

＞グラフがぶち切れですよ
藁た

>>1
Adaを挙げたのは並行性の記述とかそういうこと？
言語名を羅列するより、
＞プログラム言語一般の基礎理論に関しても話し合います。
こちらをメインに据えたほうがよかったのでは…

制御・情報・生体情報処理とその周辺
http://jbbs.shitaraba.com/study/18/d93.html
関数論理型言語
http://jbbs.shitaraba.com/study/bbs/read.cgi?BBS=18&KEY=1009968275

＞しかしこれを頼むと次からロピタルの定理が使用禁止という危険も伴う。
ここだけ，妙に普通なのがﾜﾛﾀ．

佐藤雅彦・桜井貴文の『プログラムの基礎理論』ってむずくね？
プログラム一般の基礎理論のわかりやすい解説書ってないのかね？

数学的にはプログラムと証明は等価なので、もしかしたら盛り上がるかと思ったのですが・・・

板違いだったかもしれません。ｽﾏｿ｡

イプシロンデルタなんてやらないしね＜予備校

アルゴリズムにすればよかったかも。。>>19

まだスレ立って3日も経っていないんだから、そうめげる物でもない

１＞数学的にはプログラムと証明は等価・・・

構成的プログラミングに関心を持つのは
理論計算機科学の一部の人だけじゃないかな？

『構成的プログラミングの基礎』も品切れみたいですしね。
構成的プログラミング自体下火になっているのかもしれません。

>>1
悪いんだけど、吉野家のオリジナルの文章をここに貼り付けて。
未だに元の文章を見たこと無いんだよね。お願いよ。♥

そんな事より１よ、ちょいと聞いてくれよ。スレとあんま関係ないけどさ。
昨日、近所の吉野家行ったんです。吉野家。
そしたらなんか人がめちゃくちゃいっぱいで座れないんです。
で、よく見たらなんか垂れ幕下がってて、１５０円引き、とか書いてあるんです。
もうね、アホかと。馬鹿かと。
お前らな、１５０円引如きで普段来てない吉野家に来てんじゃねーよ、ボケが。
１５０円引だよ、１５０円引。
なんか親子連れとかもいるし。一家４人で吉野家か。おめでてーな。
よーしパパ特盛り頼んじゃうぞー、とか言ってるの。もう見てらんない。
お前らな、１５０円やるからその席空けろと。
吉野家ってのはな、もっと殺伐としてるべきなんだよ。
Ｕの字テーブルの向かいに座った奴といつ喧嘩が始まってもおかしくない、
刺すか刺されるか、そんな雰囲気がいいんじゃねーか。女子供は、すっこんでろ。
で、やっと座れたかと思ったら、隣の奴が、大盛つゆだくで、とか言ってるんです。
そこでまたぶち切れですよ。
あのな、大盛つゆだくでなんてきょうび流行んねーんだよ。ボケが。
得意げな顔して何が、大盛つゆだくで、だ。
お前は本当に大盛つゆだくでを食いたいのかと問いたい。問い詰めたい。小１時間問い詰めたい。
お前、大盛つゆだくでって言いたいだけちゃうんかと。
吉野家通の俺から言わせてもらえば今、吉野家通の間での最新流行はやっぱり、
ねぎだく、これだね。
大盛りねぎだくギョク（玉子）。これが通の頼み方。
ねぎだくってのはネギが多めに入ってる。そん代わり肉が少なめ。これ。
で、それに大盛りギョク（玉子）。これ最強。
しかしこれを頼むと次から店員にマークされるという危険も伴う、諸刃の剣。
素人にはお薦め出来ない。
まあお前らド素人は、牛鮭定食でも食ってなさいってこった。

なつかすぃ・・・

>>24
読破しなさい。まずはそれからです。
http://tenpuraomega.tripod.co.jp/yoshiten/

>>25=>>1
ありがとぅ。感謝します。あふっぅ。

プログラム言語の基礎理論で言えば、
大堀さんの本しか手に入らないだろうな。

やっぱ大堀先生の本、難しいんですけど。
洋書でわかりやすい本ありませんかね？

関数型言語を数学方面から攻めるには
なに勉強すればいいの？

>31
趣旨がわからん。

プログラミング言語理論への招待　バートランド・マイヤー著

これなんか数学方面から攻めてると思うが.

>33
プログラム技術板過去ログ「関数型言語」（>>8のリンクの前スレ）
http://pc.2ch.net/tech/kako/987/987954395.html
の763-769あたりにその本の評価があります。

8さんの関連スレッドに追加
Lisp Scheme Part4
http://pc.2ch.net/test/read.cgi/tech/1016211619/l50
関数型言語Part2
http://pc.2ch.net/test/read.cgi/tech/1007387924/l50
ソフトウェア千夜一夜の萩谷先生の分
http://nicosia.is.s.u-tokyo.ac.jp/members/hagiya.html#essays
↑のLectureもいいっす。

Java全盛のこの御時世に、10年前の流行を追うとは・・・
もしかして、情報考古学者ですか？（笑）

JAVA全盛だって(w
せけんせめーな。

35はたぶんひっかけだと思うんだけど、予想外のところに突っ込み入ってるね…

全盛で迷惑だよ。
時系列しかよう扱えん。

もっとも10年前だって、Ｃ全盛の御時世だったがね。
あのころも世間が狭いという蛸壺君はいたが、
今でも生きてるんだろうか？

>>37
何を予想してたんだ？

CはUNIX/Linuxがある限り廃れないと思うけど、Javaが残る理由がおれにはわからんMSは潰したがってるし
いた違いだったね。

>>39
君にはCとJavaがおなじに見えるのかい？
眼科か精神科、好きな方に受診するといいよ。

>>42

手続き型言語と関数型言語との違いに比べれば
CとJavaの違いなんて小さなものだ。

次週のスレ予告
◆おい、おまえら本当にオブジェクト指向なんて必要か？◆
◆いまどきC/C++使ってる奴って・・・・プププ◆
◆Javaって死滅しちゃうんですか？◆
の3本でお送りいたします。

死滅ﾀﾝ… ﾊｧﾊｧ

ちっちゃいホールを注文しました。今日届く予定。
「The入れる」っていう安いやつ。
あとアナルバイブも注文しました。

VB

岩波講座ソフトウェア科学４「プログラム言語」（武市正人先生）はどうでしょ。
レベル的には入門書・自習用として良い思うのですが、私はなんか読みにくかったです。

>>34
ありがとう。これですね。

475 名前： デフォルトの名無しさん 投稿日： 2001/06/17(日) 08:01

プログラミング言語理論への招待 ISBN4-7561-0317-0 5800円
結構高いし、難しい本だけど、
型付きλとか推論関係の内容があった。
まあ、図書館で見掛けたら。



476 名前： 62 投稿日： 2001/06/17(日) 15:04

>>475
Mayerさんの本は悪くはないが
どちらかというと広く浅くだし、ちょっと癖が強い。
>>465
基礎理論については
プログラミング言語の基礎理論、大堀淳 著、共立出版
コンピュータサイエンス入門 --- アルゴリズムとプログラミング言語、
大堀淳、ジャック・ガリグ、西村進 著、岩波書店
あたりにはきちんと書いてある。実装まで書いてある本は
日本語ではあんまりないと思う。英語でよければ
Luca Cardelli. Basic polymorphic typechecking
Science of Computer Programming, 8(2): 147-172, 1987.
http://research.microsoft.com/Users/luca/Papers/BasicTypechecking.A4.pdf
にはModula-2だけどコードまで書いてある。
彼も今はMicrosoft Research Labにいるね。

マイヤーさんの本は実装の説明が十分ではないから情報系には評判悪いけど、
数学的な説明はよく見れば深みのあること書いてます。
数学的な視点ではまだまだ古いとは言えないＹＯ！

ミッチェルの
Foundations for Programming Language
なんてどう？

>>51
分厚すぎるだろう。

ｿﾝﾅ事ﾖﾘ1ﾖ､ﾁｮｲﾄ聞ｲﾃｸﾚﾖ｡ｽﾚﾄｱﾝﾏ関係ﾅｲｹﾄﾞｻ｡
昨日､近所ﾉ吉野家行ｯﾀﾝﾃﾞｽ｡吉野家｡
ｿｼﾀﾗﾅﾝｶ人ｶﾞﾒﾁｬｸﾁｬｲｯﾊﾟｲﾃﾞ座ﾚﾅｲﾝﾃﾞｽ｡
ﾃﾞ､ﾖｸ見ﾀﾗﾅﾝｶ垂ﾚ幕下ｶﾞｯﾃﾃ､150円引ｷ､ﾄｶ書ｲﾃｱﾙﾝﾃﾞｽ｡
ﾓｳﾈ､ｱﾎｶﾄ｡馬鹿ｶﾄ｡
ｵ前ﾗﾅ､150円引如ｷﾃﾞ普段来ﾃﾅｲ吉野家ﾆ来ﾃﾝｼﾞｬﾈｰﾖ､ﾎﾞｹｶﾞ｡
150円引ﾀﾞﾖ､150円引｡
ﾅﾝｶ親子連ﾚﾄｶﾓｲﾙｼ｡一家4人ﾃﾞ吉野家ｶ｡ｵﾒﾃﾞﾃｰﾅ｡
ﾖｰｼﾊﾟﾊﾟ特盛ﾘ頼ﾝｼﾞｬｳｿﾞｰ､ﾄｶ言ｯﾃﾙﾉ｡ﾓｳ見ﾃﾗﾝﾅｲ｡
ｵ前ﾗﾅ､150円ﾔﾙｶﾗｿﾉ席空ｹﾛﾄ｡
吉野家ｯﾃﾉﾊﾅ､ﾓｯﾄ殺伐ﾄｼﾃﾙﾍﾞｷﾅﾝﾀﾞﾖ｡
uﾉ字ﾃｰﾌﾞﾙﾉ向ｶｲﾆ座ｯﾀ奴ﾄｲﾂ喧嘩ｶﾞ始ﾏｯﾃﾓｵｶｼｸﾅｲ､
刺ｽｶ刺ｻﾚﾙｶ､ｿﾝﾅ雰囲気ｶﾞｲｲﾝｼﾞｬﾈｰｶ｡女子供ﾊ､ｽｯｺﾝﾃﾞﾛ｡
ﾃﾞ､ﾔｯﾄ座ﾚﾀｶﾄ思ｯﾀﾗ､隣ﾉ奴ｶﾞ､大盛ﾂﾕﾀﾞｸﾃﾞ､ﾄｶ言ｯﾃﾙﾝﾃﾞｽ｡
ｿｺﾃﾞﾏﾀﾌﾞﾁ切ﾚﾃﾞｽﾖ｡
ｱﾉﾅ､大盛ﾂﾕﾀﾞｸﾃﾞﾅﾝﾃｷｮｳﾋﾞ流行ﾝﾈｰﾝﾀﾞﾖ｡ﾎﾞｹｶﾞ｡
得意ｹﾞﾅ顔ｼﾃ何ｶﾞ､大盛ﾂﾕﾀﾞｸﾃﾞ､ﾀﾞ｡
ｵ前ﾊ本当ﾆ大盛ﾂﾕﾀﾞｸﾃﾞｦ食ｲﾀｲﾉｶﾄ問ｲﾀｲ｡問ｲ詰ﾒﾀｲ｡小1時間問ｲ詰ﾒﾀｲ｡
ｵ前､大盛ﾂﾕﾀﾞｸﾃﾞｯﾃ言ｲﾀｲﾀﾞｹﾁｬｳﾝｶﾄ｡
吉野家通ﾉ俺ｶﾗ言ﾜｾﾃﾓﾗｴﾊﾞ今､吉野家通ﾉ間ﾃﾞﾉ最新流行ﾊﾔｯﾊﾟﾘ､
ﾈｷﾞﾀﾞｸ､ｺﾚﾀﾞﾈ｡
大盛ﾘﾈｷﾞﾀﾞｸｷﾞｮｸ(玉子)｡ｺﾚｶﾞ通ﾉ頼ﾐ方｡
ﾈｷﾞﾀﾞｸｯﾃﾉﾊﾈｷﾞｶﾞ多ﾒﾆ入ｯﾃﾙ｡ｿﾝ代ﾜﾘ肉ｶﾞ少ﾅﾒ｡ｺﾚ｡
ﾃﾞ､ｿﾚﾆ大盛ﾘｷﾞｮｸ(玉子)｡ｺﾚ最強｡
ｼｶｼｺﾚｦ頼ﾑﾄ次ｶﾗ店員ﾆﾏｰｸｻﾚﾙﾄｲｳ危険ﾓ伴ｳ､諸刃ﾉ剣｡
素人ﾆﾊｵ薦ﾒ出来ﾅｲ｡
ﾏｱｵ前ﾗﾄﾞ素人ﾊ､牛鮭定食ﾃﾞﾓ食ｯﾃﾅｻｲｯﾃｺｯﾀ｡

sge

流れ制御言語なんて、ニューロじゃ使えない。

あげ

板違い　

matlab
scilab
octave
をわすれちゃあいけないぜ〜！

そんな事よりＣよ、ちょいと聞いてくれよ。Pascalとあんま関係ないけどさ。
昨日、近所のＭＳ行ったんです。ＭＳ。
そしたらなんかインスタンスがめちゃくちゃいっぱいで座れないんです。
で、よく見たらなんかゲイツがぶら下がってて、１５０ＭＨｚ、とか書いてあるんです。
もうね、アホかと。馬鹿かと。
お前らな、１５０ＭＨｚ如きで普段来てないインテル入ってんじゃねーよ、ボケが。
１５０ＭＨｚだよ、１５０ＭＨｚ。
なんかガベージコレクターとかもいるし。COBOL４つでBASICか。おめでてーな。
よーしパパVBA頼んじゃうぞー、とか言ってるの。もう見てらんない。
お前らな、エロペグ１５０分再生やるからそのメモリ空けろと。
プログラマーってのはな、もっと殺伐としてるべきなんだよ。
データベーステーブルの向かいに座ったSQLといつ強制終了が始まってもおかしくない、
構造化かオブジェクト指向か、そんな雰囲気がいいんじゃねーか。GOTOは、すっこんでろ。
で、やっとJAVAかと思ったら、隣の奴が、Lispで、とか言ってるんです。
そこでまたぶち切れですよ。
あのな、Lispなんてきょうび流行んねーんだよ。ボケが。
得意げな顔して何が、Lisp、だ。
お前は本当にLispで銀行業務するのかと問いたい。問い詰めたい。小１時間問い詰めたい。
お前、み○○銀行のマネしたいだけちゃうんかと。
パソ通の俺から言わせてもらえば今、パソ通の間での最新流行はやっぱり、
Linux、これだね。
大容量Linux鯖（サーバ）。これが通の環境。
Linuxってのはコマンドが多めに入ってる。そん代わり画像が少なめ。これ。
それでレン鯖。これ最強。
しかしこの話をすると板違いと言われる、諸刃の剣。
dBaseにはお薦め出来ない。
まあお前ら情報２種は、ニーモニックでもやってなさいってこった。

GOTOはすっこんでろってのが、実になんとも本音っぽくて（・∀・）ｲｲ !!

Ｓｃｈｅｍｅもちょっとかじったけど、物事を関数的に処理するのは
当然ながら大変だった・・

>>62
(･∀･)ｲｲ!

あげ

確かにJAVA全盛だが、Lispの流れからきてる関数型言語の方が
JAVAよりも最先端ではないか？
最近は関数型言語の影響は大きい。ガベコレだってLispが
JAVAより先だし、C#も関数型に影響されてデリゲートなるものを
用意した。時代は関数型言語に追いつこうという流れではないだ
ろうか？
HaskellやMLも認知されてきてるし。
それに数学や理論と関係がある言語となれば、やはり関数型言語
は出てくるだろう。

>>70
関数型言語は出てくるだろうが、やはりまだJAVAの時代だろう。
追いつこうとはしていても結局は追いつけないと思われ。
JAVAが全盛になっている中でそれが変わるのにはまだまだ時間がかかる筈。
追いつく前に他の言語が出てくるだろう。
例えばアセンブリ言語のように。

まあ、JAVAが全盛・・・・
ん？現状はＣ＋＋のような気もするが・・・・

いずれにしても、数学板での話題で JAVA はないのではと思うがどうか？
関数型は話題としてはギリギリセーフ思う。

＃ついでに次の全盛は .NET & Ｃ＃とみた。
＃JAVA 全盛はこれからもないだろう、なにせ営業ベタのサンだし。

JAVAのほうが作りやすい。
簡単だし。

>>73
いやね、プログラムの話題ならプログラム板でやればいいじゃんと思うわけ。
関数型の場合は証明とかも含んでくるから数学の範囲と多少ではあるけれどかぶっている。
ＪＡＶＡはかぶるところなんか何一つないじゃん。

ＭＬっていえば学校でやったなぁ。
俺はﾏﾀｰｸ理解できなかったが。

ニムダカリキュラス：

全く知識のない専門板に行って　
http://sports2.2ch.net/test/read.cgi/entrance2/1025274188/

Haskellの日本語の本でないかなー

CとJavaの違い？Cが水のように方円の器に従う柔軟性を持つのに対して、Javaは
ダイヤモンドの大岩のような剛性を持った言語。水とダイヤ位の違いがある。
Cはテクストエディタで仕様書無しに（あるいは書きながら）コーディング出来る
のに対し、Javaは最初から仕様書（ワードやHTML）を書いてそれからコーディング
しなければならない。Java１０行のコード書くのに、１００ページの仕様書書かなければ
ならないってのは、結構マジな話。
Javaで書かれたプログラムは芸術作品に近い。

>Java１０行のコード書くのに、１００ページの仕様書書
こんなことをする奴は病気、とりあえず板違い、プログラム板へ逝け

>>79
C=柔らかい Java=硬いってどんなイメージなんよ
全く逆じゃん
３行目からは納得いくが、上のたとえが下手過ぎ
それは硬い柔らかいじゃないだろ？帰って来い

>>80
病気と決め付けられると、Java業界の奴はある部分病気かな？というか
病気にさせられてしまうんだろうな。確実に感覚が一般人とは違ってしま
うだろな。多分。数学やった奴で、コンピュータ関係の業界逝ったら高い
確率でJavaやらされるだろうから、それほど極端な板違いというわけでも
ないだろうに。
Java言語は、徹底的な統一嗜好性があって、Beansに即した場合、
シンボルの記法まで厳しく規定されてる。同じ動作をするプログラムな
らば誰が書いても殆ど違いが無いってところまで徹底して肉削られる。
独創性とかそういうのとは無縁の世界。論理記号だけで数学書書けと
いわれているようなもの。
Cが動いた結果を重視するのに対し（結果主義）、Javaは動作結果よりも
その正しさとか、保守性、一貫性、永続性を最重視する。動作速度とか
そのアプリケーションが人類にとって有意義なものかであるかは二の次。
ソフトウェアの為のソフトウェアって感じ。
物理工学方面の応用数学と数学基礎論位の違いがある。
Java-AppletだってSunのWeb黎明期の貢献に免じて、各ブラウザが
対応しているんであって、Sunが貢献してなかったら、とっくに別
のものに置き換わっていた筈。JavaだからAppletが作れたという
わけじゃない。Java-Appletがあるからこそ、辛うじて一般の人に
その名を知られているだけで、本来ならば文部省や通産省直属の
ソフトウェア研究所の一部の人のみが使う特殊な言語だといって
いい。民間の業界でこれを使おうと思う奴なんていない。Sunの
顔を立てて使ってるだけ。
ともかくJavaプログラマ＝仕様書Writerってのは業界では定説。
ム板じゃこれは常識だからこんな話題じゃ相手にもされんぞ。

＞物理工学方面の応用数学と数学基礎論位の差
基礎論か。かっこいいじゃん。一番数学的じゃない？
なにが本当に一番なのかなんてわからないよ。
それはプログラム言語や専攻分野であっても、
何のために生きるのかであっても。

>>82
逆だよ、そんな仕様書読まされる方の身になってみろ。
プロならハカじゃないのコイツで終り。
手早く仕事できない奴は金にならないやつ＝逝って良し
つーかあんた、誰にも相手にされてなくてこんなところ来てるんだろ(w

板違いでないというなら、数学板らしい内容書いてみな、その内容ならム板どころかマ板で十分。

>>83
(･∀･)ｶｺｲｲ!

四色問題の証明プログラム作りましたぁ
とかやって欲しいね。

>>82
どんなプログラムを書いてるんだ？
大規模になるほど仕様は大事だろ？

ところで>>84の３行目がどっちの味方なのかわからない…

あれだな。レスは短い方がより強い。

プログラムの話題でも情報工学系の話はやめようぜ〜

Javaでどれだけ大きなアプリが書けるか？現在実験中みたいだね。
Javaの場合、実装、運用段階でプログラムが総計５００回しか使われない
のに、１０００回以上、仕様変更される可能性を仮定してコーディング
しなければならない。プログラムの書き直しは、Javaで書いたほうが
確かに小規模で済むけど、そういう対象ならCで５００回最初から書いた
ほうが全体から見れば、良いんじゃないか？
Javaでかかれた場合、仕様書書いた奴しか、そのシステム理解できない。
結局そいつにだけ仕事が行くが、そいつ辞めてたらそのプロジェクト自体
パー。

>>89
でも数学の教科書の書き方、証明の書き方に通ずるものがある。
基礎論じゃ、数学の証明＝プログラムだからね。

>>91
だったら、JAVAやめてHaskellでもどうぞ

オートマトンを記述するならどれ？
perlとかは違うよね

>>90
＞仕様書書いた奴しか、そのシステム理解できない。
だったらＣならどうなんだよ。余計ひどいじゃないかよ、第一、
＞仕様書書いた奴しか、そのシステム理解できない。
お前は酋長かよ

>情報工学の議論している、おめーら全員ム板逝け、数学の話題ないじゃないか

>>93
Java か Ruby がいいんじゃない、状態を扱うならオブジェクト指向でしょう
スピードが要求されるなら C++
とかって思うのだが・・・

オートマトンは C++ で、いろいろ実験して、当たりがついたら Haskell で書き直して
チェック、そのまま証明へ go ですかね。

>>94
システムを理解しようとするとき、仕様書から入ると、いつのまにか
脳みそが溶けたように、書いた奴の思考形態が伝染する。
Javaで書かれたコード読まされたり、それに適合するコード追加させ
られる仕事受けると、完全に同一人格になっちゃうな。

>>97は極論としても、Javaの場合、物事の階層を統一しようとする
オブジェクト指向の権化みたいなとこある。
解かりやすく言えば、物質>有機物＞生物＞動物＞哺乳類＞類人猿＞人間
というように「世界は明白なカテゴリ階層に分けることが出来る」という
思想に塗り固められちゃうわけね。
現実世界は、これらの階層は結構曖昧なところある。ユークリッド空間の
多様体の相違みたいなもの。

>>95
具体的にはどのように記述すれば綺麗でしょうか
class Automaton{
　int q0,　int[ ] f, int [ ]δ;
　void input(int [ ] symbol) {
　　int q = q0, i=0;
　　while(!match(q, f) || i<symbol.length){
　　　q=δ[q];
　　}
　}
}
みたいな感じ？ぜんぜん状態にオブジェクト指向の恩恵が見られませんが…
VHDLってのは反則ですかねｗ

σの間違いだ(汗)
あと
int[][] δ;
q = δ[q][symbol[i++]]だ

>>99
自分はそれで十分と思う、それ以上綺麗にしようとか
攻めてもしょうがない内容。
本当のところは知ってる言語でありさえすれは、それで十分と思う、
まあ話題が話題だったからね。

数学やってる人ってどの言語使うことが多いの？

おれんとこの先生はBasic

BrainF＊ckで遊んでみるか

>>103
BASICって、まだ行番号とか書くやつ？
折れは数学の問題はＣで書いてる。
極端に短く単純な問題はHSPだったり。ｗ
Ｃはメモ帳で書いて、ＤＯＳ窓でコンパイルするのが面倒なのよ…。

>>105
よく「メモ帳」なんざ使ってられるな。
秀丸じゃなきゃ生きていけない。

sakuraとかcygwinでcat出力>gccとかは駄目？

秀丸ってシェアだよね？
秀丸使っても、ソース保存 -> ＤＯＳ窓でコンパイル・実行っていう手順は変わらないんでしょ？

>>107
HSPみたいに、ボタン１つで実行ってのが良いんだけど、それだと、勝手にコンパイルしてくれるの？
折れのコンパイラはBCCなんですが、gccじゃなきゃ無理？

>>108
ＢＣＣを統合開発環境みたくするツールなど
http://www.vector.co.jp
辺り検索すりぁ腐るほどある。個人的にはbcdev.exe辺りがお勧め。
プレイボタンみたいな奴押せば、コンパイル＆ＤＯＳ窓自動的に開いて
実行。

ゴメソ。vectorのサイトから削除されてたみたい。
代替品としてcpadのＨＰ書いておく。
http://hp.vector.co.jp/authors/VA017148/

>>110
禿しくｻﾝｸｽｺ
楽になります。

やっぱviviでしょ。
プログラムから話しそれてきたけど。

秀丸って名前的にダサくてやだ。

>>113
一太郎よりややマシかと。

スレ違い逝ってきます

>>114
ひでまるだよ。ひでまる。最低。でアイコンが「秀」。なめんな。

スレ違い逝ってきます

Prologどうっすか
再帰的処理の王道。
めちゃめちゃソース読みにくい。
これって解探索に使うんだよね。
Prologが神になってる分野ってどういう分野ですか？
あと読み方はプロローグかプロログかどっちでしょう

>>106
うに板では「Windowsで使えるまともなエディタなんてメモ帳くらいなもんだ」
という結論に達しております。

>>102
標準で多倍長整数が使える言語…かな。

複素数を
2 + 3i
とかではなく
2 + 3j
と表記したりするのは、最初ショックでした。

>>117
MuleもEmacsもviも全部クソクソエヂタだって。使い物にならん。
「秀」アイコン最高。Mule行って吉

http://www.notepad.org/

>>117
ファイルのサイズが大きいと分けの分からん親分のワードパッドとかいうやつが
勝手に起動しやがるし、SHIFT_JISしか読めないし。
EUCとJISは文字化けバケラッタ。
どこが「使えるまともな」エディタなのか、さっぱり分からん。
どうせUNIXオタはWindows使う気がないからソフトもろくに探してないんだろ？

>>117
これなんかいいよ。ただです。
http://www.forest.impress.co.jp/library/terapad.html

テキストエディタとかなぜか海外品ってみたことないよね？
なんかあるの？windowで。

そりゃ日本語使えないとダメだから

>>122はげど

>>122に乾杯age

>>124
vimは？

C++用の多倍精度のよかライブラリないっすかね‥

ほしゅったらあげろ！

>>129
自分で作って公開して、「さぁ、みんなで改良していきませう！」とかやれば
よかライブラリになるとよ。

http://www.vector.co.jp/soft/dos/prog/se114670.html?g
SN library(TC4 Version)
「アセンブラを使わないC++による多倍長計算」ライブラリのソースファイル

http://hp.vector.co.jp/authors/VA018507/hajimeni.html
Ｃ＋＋による多倍長計算
高速フーリェ変換使用

学問・理系カテゴリに含まれているはずの情報システム板が企業板になった理由が
このスレ見てわかった気がする。c

agegegegegegegegegegegegegegeage

ここはプログラム言語総合スレということで…

unix系で強烈なテキストエディタなんかないですか
emacs種以外で

>>136
vim

色んな意味で強烈だよな

>119
電気方面では　i　を電流のシンボルとして使うので
虚数単位をjと表記するバヤイ多いす。

数学でも iはindexに使うので
iは使わず、丁寧に√-1と表記している人を見かけるよ

i^i=osarusan

テキストエディタが何故にプログラム言語？

プログラミングできなへたれほど、どうでもいい議論に花を咲かせるもんです

vim で思い出したけど ed とか ex って Turing machine と同等?

Progolってあるんだねえ。

>>145
Prologだろ？

>>146
気になったんで調べてみたらあった
ttp://web.archive.org/web/20010410165035/www-users.cs.york.ac.uk/~stephen/progol.html

>>147
ｺｺ見ﾚﾜﾝﾜﾝ
ttp://www.doc.ic.ac.uk/~shm/Software/

Mathematica や Maple 以外に数学関連のソフトってあります？
できればフリーのものがうれしいのだけど。

GNUであったような？

　

どうかお願いします教えてください。
正規分布N[X]を地道に求めたいのですが
http://aoki2.si.gunma-u.ac.jp/lecture/Bunpu/normal-eq1.png
↑この図の式でσ＝0、μ＝1
y=(1/sqrt(2*3.14))*exp(x*x/2);
C言語でこのように書きました。(ポケコンで書いたため^が使えませんでした)
だいぶ違う値が出ました。
どのようにすればよいのかどうかご指導お願いします。

σ＝1、μ＝0の間違えでした

>152
expの中は、
exp(-x*x/2.0)
じゃないかと思うけれど。

（＾＾）

mathematica

>>149
UBASIC

あるプログラムを実行すると無限ループになる可能性があるか否かを判断する
プログラムを作ることはできないと聞いたことがあります。
どなたか、簡単に証明をお願いします

http://science.2ch.net/test/read.cgi/math/1017770466/l50
このスレで聞けばage、age、っていっぱいレスもらえるよ

>>158
割り込みがあるから、判断できない

>>158
無限ループになることを実証するには無限の時間が必要である。

Rubyをつかいなさい。

Ｃｙｇｗｉｎでwindowsと共存してる人います？

imasu

>>163
cygwin は windows と共存させるためのものではないの?
Mac版とかUN*X 版もあるの?

>>158
「ゲーデル･エッシャー･バッハ」とか図書館で探すべし

>>165
Ｃｙｇｗｉｎ使っている人います？

>>165
unix版cyg"win"ってどんなもんよ

ｃｙｇｗ　ｉｎ

cygwinは共存ではなくてwindowsの上に作ったunix
macでは無理っぽいがmacosxはそもそもbsdだ

ｃのrand()の周期って実は2^15じゃなくて2^62らしいんだけど，本当なの？

２＾１５となるように作ってあれば２＾１５だし
２＾６２となるように作ってあれば２＾６２。

>>171
周期が2^15ならば周期が2^62でもあるなどといってみるテスト

>>171
処理系に依存するんじゃないの？

ラムダ計算について語ってください

>>171
ANSIで下限が決められてるだけだったような。

　

>>175
和書なら高橋正子著『計算論』
洋書ならBarendregtの"Lambda Calculus"
または"Lambda Calculi with Types"

【何処も】情報科学総合ｽｯﾄﾞﾚ【板違い】
http://science.2ch.net/test/read.cgi/rikei/1046173479/l50

エクセルでルートの左上に10がついてるの
のやり方を教えてください。平方根はあったのですが・・・

どうぞよろしくお願い致します。

>>180
http://pc2.2ch.net/pcqa/

>>181
ありがとうございました^^　
解決致しました！

★あなたのお悩み解決致します！！
●浮気素行調査
彼氏、彼女、妻、夫の浮気を調査致します！！
●盗聴器盗撮機発見
あなたの部屋に誰かが仕掛けているかも！！
●行方調査
行方不明になっている家族の消息を調査致します！！
●電話番号から住所割り出し
一般電話、携帯から住所を割り出し致します！！
●ストーカー対策
社会問題ともなっているストーカーを撃退致します！！
その他人生相談からどんなお悩みでも解決いたします！！
　直通　　０９０−８５０５−３０８６
ＵＲＬ　　http://www.h5.dion.ne.jp/~grobal/
メール　　[email protected]
　　　グローバル探偵事務局