関数型プログラミング言語ML
__∧＿∧_
|（ ＾＾ ）| ＜寝るぽ（＾＾）
|＼⌒⌒⌒＼
＼ |⌒⌒⌒~| 山崎渉
~￣￣￣￣
935 ：デフォルトの名無しさん：03/07/15 20:41
擬似乱数使いたいんですけど、
擬似乱数の使い方は試行錯誤でなんとかなったものの、
（擬似乱数の初期化用の）現在の時間の取得方法が分かりませんでした。
どうやればいいんでしょうか？
擬似乱数の使い方は試行錯誤でなんとかなったものの、
（擬似乱数の初期化用の）現在の時間の取得方法が分かりませんでした。
どうやればいいんでしょうか？
936 ：デフォルトの名無しさん：03/07/15 20:41
コギャル・OL・人妻たちのもろ画像がたくさん見れる！！
http://www3.free-city.net/home/espresso/princess/peach.html
http://www3.free-city.net/home/espresso/princess/peach.html
937 ：デフォルトの名無しさん：03/07/15 22:00
938 ：デフォルトの名無しさん：03/07/15 22:33
Random.self_init ()
939 ：デフォルトの名無しさん：03/07/15 23:10
>>937
うちのには Time モジュールってのは無いようです。
Objective Caml version 3.06 なんですけどね...。
>>938
それでいけました！
self_init...そんな関数名、思いつかんわけだ。
ありがとうございました。
うちのには Time モジュールってのは無いようです。
Objective Caml version 3.06 なんですけどね...。
>>938
それでいけました！
self_init...そんな関数名、思いつかんわけだ。
ありがとうございました。
940 ：デフォルトの名無しさん：03/07/15 23:12
941 ：デフォルトの名無しさん：03/07/15 23:23
>>940
http://caml.inria.fr/ocaml/htmlman/index.html
発見。これですか。
http://caml.inria.fr/ocaml/htmlman/libref/Random.html
なるほど。Random.self_init も載ってますね（当たり前だ）。
今から DL して家宝にします。
http://caml.inria.fr/ocaml/htmlman/index.html
発見。これですか。
http://caml.inria.fr/ocaml/htmlman/libref/Random.html
なるほど。Random.self_init も載ってますね（当たり前だ）。
今から DL して家宝にします。
942 ：デフォルトの名無しさん：03/07/18 12:34
そろそろ次スレ。>>950 が立てる。
943 ：デフォルトの名無しさん：03/07/18 13:05
関数型プログラミング言語のメーリングリストのスレかと思った。
944 ：デフォルトの名無しさん：03/07/18 14:42
プログラミングMLと定理証明システムはもうなんの関係もないんですか？
945 ：デフォルトの名無しさん：03/07/18 19:04
946 ：デフォルトの名無しさん：03/07/18 23:01
COQ とか OCaml で書かれてますが
947 ：デフォルトの名無しさん：03/07/18 23:04
OCaml なら ML の派生言語なのでギリギリ OK 。
948 ：デフォルトの名無しさん：03/07/19 08:05
949 ：デフォルトの名無しさん：03/07/19 08:37
>>948
話の流れをよくよみましょう ;-p
話の流れをよくよみましょう ;-p
950 ：デフォルトの名無しさん：03/07/19 13:43
951 ：デフォルトの名無しさん：03/07/19 19:27
このスレを“定理証明”で検索すると、>>586-592 あたりが
ヒットしますが、関係ありません？
ヒットしますが、関係ありません？
952 ：デフォルトの名無しさん：03/07/19 22:12
953 ：デフォルトの名無しさん：03/07/20 01:06
954 ：デフォルトの名無しさん：03/07/30 12:58
新スレ立ってから１０日たつが、まだ１０しかレスつかない。どーする？
955 ：デフォルトの名無しさん：03/07/30 14:06
どーするとか言われても
956 ：デフォルトの名無しさん：03/07/30 14:07
（＾＾）
958 ：デフォルトの名無しさん：03/08/07 17:39
OCamlとStandard MLってどれぐらい違うんですか。
Standard MLを大堀先生の本で１２章ぐらい（ストラクチャとかモジュール）
まで勉強したんですが、OCamlの方が評判よさそうなので
、そんなに差がないなら乗り換えようかと。
Standard MLを大堀先生の本で１２章ぐらい（ストラクチャとかモジュール）
まで勉強したんですが、OCamlの方が評判よさそうなので
、そんなに差がないなら乗り換えようかと。
959 ：デフォルトの名無しさん：03/08/07 20:18
乗り換えましょう乗り換えましょう
960 ：デフォルトの名無しさん：03/08/07 23:27
差があるから乗り換えましょう
961 ：デフォルトの名無しさん：03/08/07 23:29
コスプレ度ＮＯ１。ケンタッキーのバイト娘です。
制服着用のままフェラ、本番をこなしてくれます。
性格の非常にいい子で撮影者のなすがままです。
テレクラでキャッチしたようですがこんないい子がいるのならいってみようかなー。
http://www.geisyagirl.com/
制服着用のままフェラ、本番をこなしてくれます。
性格の非常にいい子で撮影者のなすがままです。
テレクラでキャッチしたようですがこんないい子がいるのならいってみようかなー。
http://www.geisyagirl.com/
>>960
sml/nlに対するOCamlの利点は？
sml/nlに対するOCamlの利点は？
963 ：デフォルトの名無しさん：03/08/13 19:32
age
964 ：デフォルトの名無しさん：03/08/13 20:54
http://ocaml.jp/
のOJUGってOcaml Japan User Groupの略なの?
のOJUGってOcaml Japan User Groupの略なの?
965 ：デフォルトの名無しさん：03/08/14 17:46
Cの初心者本にスピードアップの手段として、
変数、関数にできるだけchar、intを使い、floatなどをさける。
と書いてあるんだけど、ocamlでも
# float_of_int(3) +. 3,4;;
- : float = 6.4
とするよりも
# 3 + int_of_float(3.4);;
- : int = 6
としたほうがいいの？
後者のほうが+の後に点をつけなくてすむから楽だし
それで実行速度があげればいいんだけど。どうだろうか。
変数、関数にできるだけchar、intを使い、floatなどをさける。
と書いてあるんだけど、ocamlでも
# float_of_int(3) +. 3,4;;
- : float = 6.4
とするよりも
# 3 + int_of_float(3.4);;
- : int = 6
としたほうがいいの？
後者のほうが+の後に点をつけなくてすむから楽だし
それで実行速度があげればいいんだけど。どうだろうか。
966 ：デフォルトの名無しさん：03/08/14 19:34
967 ：デフォルトの名無しさん：03/08/14 19:47
どやって？
968 ：デフォルトの名無しさん：03/08/15 00:05
>>965
その 2 つのコード、返す値が int と float で異なるけどいいの？
なにをしたいのかよくわかんない。
とりあえず cygwin port の ocaml インタプリタで以下のコードをそれぞれ 10000000 回走らせて大体の時間を計ってみました。
float_of_int(3) +. 3,4 -- 4.0 秒
3 + int_of_float(3.4) -- 3.4 秒
float_of_int (3 + int_of_float(3.4)) -- 4.7 秒 (参考)
つまり (結果的には) 後者の方が速いってことですね。
ただし C の場合で float より char, int を使ったほうが速くなるというのとは、
速くなる理由がやや違って、ocaml ではガベージコレクタが int を特別扱いしているためかなと思います。
蛇足。ocaml の float は C でいう double の精度を持ってますよ。
その 2 つのコード、返す値が int と float で異なるけどいいの？
なにをしたいのかよくわかんない。
とりあえず cygwin port の ocaml インタプリタで以下のコードをそれぞれ 10000000 回走らせて大体の時間を計ってみました。
float_of_int(3) +. 3,4 -- 4.0 秒
3 + int_of_float(3.4) -- 3.4 秒
float_of_int (3 + int_of_float(3.4)) -- 4.7 秒 (参考)
つまり (結果的には) 後者の方が速いってことですね。
ただし C の場合で float より char, int を使ったほうが速くなるというのとは、
速くなる理由がやや違って、ocaml ではガベージコレクタが int を特別扱いしているためかなと思います。
蛇足。ocaml の float は C でいう double の精度を持ってますよ。
969 ：デフォルトの名無しさん：03/08/15 01:15
>>968
俺のためにありがとう。
じゃあ、ここ↓のネイティブコードってどうやって使うんですか？
http://caml.inria.fr/oreilly-book/html/book-ora068.html
ocamlcでコンパイルしたらexeファイルが出来上がるので使えるのですが
ocamloptだと.cmiファイルと.cmxファイルしかできません。
俺のためにありがとう。
じゃあ、ここ↓のネイティブコードってどうやって使うんですか？
http://caml.inria.fr/oreilly-book/html/book-ora068.html
ocamlcでコンパイルしたらexeファイルが出来上がるので使えるのですが
ocamloptだと.cmiファイルと.cmxファイルしかできません。
(⌒V⌒)
│ ＾ ＾ │＜これからも僕を応援して下さいね（＾＾）。
⊂| |つ
（＿）（＿） 山崎パン
│ ＾ ＾ │＜これからも僕を応援して下さいね（＾＾）。
⊂| |つ
（＿）（＿） 山崎パン
971 ：デフォルトの名無しさん：03/08/15 18:40
CからML使うメリットって何？
972 ：デフォルトの名無しさん：03/08/19 17:17
一行目に #!/usr/local/bin/ocaml と書いてある test.ml があって、
./test.ml で実行できるのですが
#!/bin/sh
./test.ml
というスクリプトが実行できません(test.ml が sh として実行されているようです)。
明示的に /usr/local/bin/ocaml test.ml と書けば問題無いのですが、どうすれば上のスクリプト
を実行できるでしょうか。ocaml を cgi として使いたいです。
./test.ml で実行できるのですが
#!/bin/sh
./test.ml
というスクリプトが実行できません(test.ml が sh として実行されているようです)。
明示的に /usr/local/bin/ocaml test.ml と書けば問題無いのですが、どうすれば上のスクリプト
を実行できるでしょうか。ocaml を cgi として使いたいです。
973 ：デフォルトの名無しさん：03/08/19 23:03
>>972
一番簡単なのは test.ml をコンパイルしてしまうことです。それなら
動きますよ、多分。その方が早いし。
シェルスクリプトになってしまう理由は謎。だれか教えてプリーズ。
こっちの環境では ./test.ml で実行しようとしても sh として
実行されてしまった。
strace ./test.ml とすると、execve で Exec format error と
言われてこけてしまっているみたい。分かったのはそれだけ。
一番簡単なのは test.ml をコンパイルしてしまうことです。それなら
動きますよ、多分。その方が早いし。
シェルスクリプトになってしまう理由は謎。だれか教えてプリーズ。
こっちの環境では ./test.ml で実行しようとしても sh として
実行されてしまった。
strace ./test.ml とすると、execve で Exec format error と
言われてこけてしまっているみたい。分かったのはそれだけ。
974 ：デフォルトの名無しさん：03/08/19 23:23
>>973
コンパイルしたら動くんですけど、めんどくさいんですよね。
sh でも csh でも tcsh でも ./test.ml だとシェルスクリプト
として実行されてしまいました。zsh が例外のようです。
コンパイルしたら動くんですけど、めんどくさいんですよね。
sh でも csh でも tcsh でも ./test.ml だとシェルスクリプト
として実行されてしまいました。zsh が例外のようです。
975 ：デフォルトの名無しさん：03/08/19 23:40
解決しました。
ocamlmktop -custom -o mocaml
して mocaml 使えばよいみたいです。
ocamlmktop -custom -o mocaml
して mocaml 使えばよいみたいです。
976 ：デフォルトの名無しさん：03/08/20 20:58
shell$ cat hello.mls
#!/bin/sh
# (*
exec ocaml "$0" "$@"
*)
load "stdlib.cma";;
print_string "Hello, world!\n";;
shell$ chmod a+x hello.mls
shell$ ./hello.mls
Hello, world!
shell$
ocamlfind(findlib, topfind)を使うなら
shell$ cat hello2.mls
#!/bin/sh
# (*
exec ocaml "$0" "$@"
*)
use "ocamlfind";;
#require "stdlib";;
print_string "Hello, world!\n"
shell$
ocamlfindを使えば依存関係も-I指定もいらないので楽。
#!/bin/sh
# (*
exec ocaml "$0" "$@"
*)
load "stdlib.cma";;
print_string "Hello, world!\n";;
shell$ chmod a+x hello.mls
shell$ ./hello.mls
Hello, world!
shell$
ocamlfind(findlib, topfind)を使うなら
shell$ cat hello2.mls
#!/bin/sh
# (*
exec ocaml "$0" "$@"
*)
use "ocamlfind";;
#require "stdlib";;
print_string "Hello, world!\n"
shell$
ocamlfindを使えば依存関係も-I指定もいらないので楽。
977 ：デフォルトの名無しさん：03/08/30 20:55
おまえ達へ。
初心者の俺が聞いてやるので教えてください。
Autoexec.batへの環境設定で
set path=d:\ocaml\bin
set ocamllib=d:\ocaml\lib
とすればいいのですか？
初心者の俺が聞いてやるので教えてください。
Autoexec.batへの環境設定で
set path=d:\ocaml\bin
set ocamllib=d:\ocaml\lib
とすればいいのですか？
978 ：デフォルトの名無しさん：03/09/01 21:36
ocamlでosはかけるのか？
979 ：デフォルトの名無しさん：03/09/01 22:19
prolog で os を書こうとしたことがあるぐらいだから
OCaml でもかけるでしょう。prolog で OS は、prolog machine の上で、
ですが。
ただ、メモリ管理が問題になりそう。それさえ適当にクリアすれば書ける。
そしてそれは十分にクリア可能。
昔 Lisp Machine というものがあったけど ML machine とか作らない
かなー。１０年先は C じゃなく ML が標準になっていることを望む。
OCaml でもかけるでしょう。prolog で OS は、prolog machine の上で、
ですが。
ただ、メモリ管理が問題になりそう。それさえ適当にクリアすれば書ける。
そしてそれは十分にクリア可能。
昔 Lisp Machine というものがあったけど ML machine とか作らない
かなー。１０年先は C じゃなく ML が標準になっていることを望む。
980 ：デフォルトの名無しさん：03/09/06 01:55
OCaml の勉強をしようと思って、手始めに↓をOCamlに翻訳しようと思っていきなり挫折w
ttp://www.miv.t.u-tokyo.ac.jp/~yabuki/tip/lisp/unknowable/godel.html
どなたか知恵を与えていただけないでせうか
ttp://www.miv.t.u-tokyo.ac.jp/~yabuki/tip/lisp/unknowable/godel.html
どなたか知恵を与えていただけないでせうか
981 ：デフォルトの名無しさん：03/09/06 10:48
>> 978こんなのがあるらしい。動かした事ないが。ttp://mynos.sourceforge.net/ちょっと見た感じだとbyte codeで動作してるようだが。
982 ：981：
うへ、エンコード間違えた。
改行されてなくてゴメソ
改行されてなくてゴメソ