- 1 名前：デフォルトの名無しさん mailto:sage [2007/08/05(日) 14:49:54 ]
- 関数型言語MLについて語るスレッドです。
MLは、確固とした理論的背景を持つ言語でありながら、
現実的なソフトの開発にも使用できる実用性を備えた言語です。
また、プログラミングの初心者が最初に学習する言語としても優れています。
総本山
Standard ML www.smlnj.org/
Objective Caml caml.inria.fr/ocaml/
前スレ
関数型言語ML(SML, OCaml, etc.), Part 4
pc11.2ch.net/test/read.cgi/tech/1133003340/
- 925 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 22:25:07 ]
- >>922
俺は自宅で10台ぐらいのクラスタで論文にできる研究やってるよ
- 926 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 22:27:37 ]
- ただ並列化して測定しました、という類の論文は勘弁してくれ
査読するたびにうんざりする
- 927 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 22:35:02 ]
- >>925
InfiniBandか10GbEか分からんけど、電気代凄そうだな
- 928 名前：925 mailto:sage [2009/05/11(月) 22:44:36 ]
- >>926
そんなどこかの高校生じゃあるまいしｗ
- 929 名前：925 mailto:sage [2009/05/11(月) 22:48:01 ]
- >>926
頼まれたこともないくせにｗ
- 930 名前：925 mailto:sage [2009/05/11(月) 22:49:09 ]
- >>927
家庭用だぜ？
1GbEに決まってるだろ
- 931 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 22:58:29 ]
- これは推して知るべしだな
- 932 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 00:46:29 ]
- 10台ぽっちでクラスタって…
- 933 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 12:42:55 ]
- >>911
macports使ってるけど、Xがからまないと確かに気楽だなあ。
macportsだったら、swi-prolog-liteがおすすめ。
- 934 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 13:12:16 ]
- 関数型言語の話題になっていない件について。
ライブラリが豊富なのが魅力で最近やっとSML/NJからOCamlに移行したんだが、
SMLで書いたコードを書き換えるのが結構面倒。
文法的にもOCamlって面倒臭く感じるんだけど、単なる慣れの問題？
- 935 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 13:20:43 ]
- let fun や let val とか tuple には必ず括弧を書いていた癖に、
何が面倒なのかわからんが、camlp5 には pa_sml があるのでそれを使ってみ？
- 936 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 14:15:41 ]
- 再帰関数の定義がlet recだったり関数引数のパターンマッチングを
let funcName = function ... | ... のように書くのが面倒に思えたんで。
確かにSMLにも冗長な部分はあるし、慣れだとは思うんだが。
何らかのトランスレータはあると思っていたのだが、camlp5なんて便利なものが
あったとは。2000行程のSMLコードをうまく変換出来たよ。どうもありがとう。
- 937 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 14:50:17 ]
- >>932
どうでもいいけど、計算そのものの研究ならクラスタであれば台数は関係ないのでは？
- 938 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 16:03:34 ]
- >>936
ホントに変換できたんだ！知らずに教えといてすまんが、使ったことなかったんで。
- 939 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 16:45:46 ]
- >>938
camlp5 pa_sml.cmo pr_o.cmo -impl MyModule.sml
で変換できた。printをprint_stringに置換する必要はあったけど。
まじで助かった。
- 940 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 17:41:59 ]
- それはよござんした
- 941 名前：デフォルトの名無しさん [2009/05/12(火) 23:47:13 ]
- 関数型言語って、常微分方程式の初期値問題の数値解を求めたりするのには向いてますか？
科学技術計算を中心にした関数型言語の入門書でなにかいいのありますか？
- 942 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 00:31:28 ]
- f# for scientists
- 943 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 14:36:30 ]
- >>925
なぜ自宅で?
まともな研究じゃないな
- 944 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 14:37:24 ]
- 粘着乙
- 945 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 14:38:10 ]
- >>944
早ッ!!
- 946 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 14:39:01 ]
- >>942
Harrop の本なんか読むなよ、頼むから。
- 947 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 14:57:42 ]
- >>943
大学にいる人間じゃないから、そういう研究は自宅でしかできないんだよ。
- 948 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 22:16:09 ]
- >>946
その著者が書いた唯一の本のようだが。
- 949 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 22:52:58 ]
- >>947
計算機科学の研究は分野によってはPC1台でも十分に出来るのが良い所。
ぜひ成果を出して論文投稿してくれ。
- 950 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 22:56:19 ]
- 成果が出なくても rm するだけというのも良い所。
- 951 名前：デフォルトの名無しさん mailto:sage [2009/05/14(木) 08:42:20 ]
- >>948
その著者が書いたSpamは山程ある。
- 952 名前：デフォルトの名無しさん [2009/05/14(木) 22:02:27 ]
- うまいこといいやがって
- 953 名前：デフォルトの名無しさん mailto:sage [2009/05/17(日) 19:01:26 ]
- >>946 >>951
ｋｗｓｋ
- 954 名前：デフォルトの名無しさん mailto:sage [2009/05/21(木) 09:43:34 ]
- john harrop troll でググレカス
- 955 名前：デフォルトの名無しさん mailto:sage [2009/05/21(木) 14:26:16 ]
- John Harropってtrollすぎてワロタ
|
 |
