とりあえず作ってみました(自分のため)
各言う私は早々と考察でrejectくらいました。
先が思いやられる・・・
tokuda, Thu Jun 2 13:10:24 2005参考になりそうな感じ↓
http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/mltext/ocaml.ht
ml
tokuda, Thu Jun 2 13:19:17 2005CaltechのOcaml入門テキスト
http://www.cs.caltech.edu/courses/cs134/b/
Google Directory: Computers > Programming > Languages > ML > Objective C
aml
http://www.google.com/Top/Computers/Programming/Languages/ML/Objective_C
aml/
リンクがたくさん
let t = 関数型プログラミング言語ML 2
http://pc5.2ch.net/test/read.cgi/tech/1058630709/
増山隆さんのお書きになったあれこれ
http://www002.upp.so-net.ne.jp/mamewo/ml.html
Tuareg-Mode
http://www-rocq.inria.fr/~acohen/tuareg/
Ocamlプログラミング用のElispパッケージ(自動インデントとかキーワードハイ
ライト)
Cameleon
http://pauillac.inria.fr/~guesdon/Tools/cameleon/cameleon.html
Ocamlで書かれたOcaml用のIDE(統合開発環境)
GTK+のOcamlバインディングLablGtkが必要.
http://pauillac.inria.fr/~guesdon/Tools/cameleon/screens/camtop.jpg 対話
環境
http://pauillac.inria.fr/~guesdon/Tools/cameleon/screens/epeire.jpg デバ
ッガ
Caml-Light
http://caml.inria.fr/caml-light/index.en.html
Ocamlより小規模なML系関数型言語の対話環境,バイトコードコンパイラ&イン
タプリタ
Ocamlと比べてソースが読みやすい
MLDonkey
http://www.nongnu.org/mldonkey/
Ocamlで書かれたP2Pファイル共有ソフト(GnutellaやBittorrent互換)
FFTW
http://www.fftw.org/
Fastest Fourier Transform in the West
Ocamlで書かれたDFTライブラリ(マシンに適したCソースを生成する)
Desert Spring-Time
http://sardes.inrialpes.fr/~aschmitt/cwn/2005.05.31.html#11
Ocamlで書かれたOS(のプロトタイプ)
(cons '名無し 'さん), Sun Jun 5 05:02:52 2005ML 演習受講者のみなさん、
ML 演習 TA の遠藤です。
ML 演習第 3 回課題の問題 4 を以下のように変更します。
1. 'a と '_a の違い
2. 'a stack だった場合に困ったことになる例
(型チェックを通るのに実行時型エラーが起こる例) を考えよ。
3. # let id x = x;;
val id : 'a -> 'a = <fun>
# id id;;
- : '_a -> '_a = <fun>
このように、多相型としても問題ない場合でも単相型になってしまうのはな
ぜか。
この場合、id id を意味を変えずに多相型にするにはどうすれば良いか。
すでに第 3 回の課題を提出した人は再提出の必要はありませんが、
考えてみてください。
もうだめぽ, Tue Jun 21 12:49:06 2005サンクスコ
ry, Tue Jun 21 15:15:13 2005http://pc8.2ch.net/test/read.cgi/tech/1103606223/528
晒しage
け, Mon Jul 4 11:41:12 2005http://ocaml.jp/archive/ocaml-manual-3.06-ja/manual004.html
もうだめぽ, Mon Jul 4 17:27:26 2005traceの仕方は改訂うpされたレジュメに載っているらしいが本当だろうか
おるず, Mon Jul 11 00:34:44 2005リバーシをグラフィカルに表示するモジュール。人間vsコンピュータで GUI 対
戦できます。アルゴリズム研究のお供に・・・。
注)
1. 課題 8 が完成していないと動きません。
2. 使用は自己責任にてお願いします。
3. いや、別に IC*P を意識したわけではなくて、いやその。
添付ファイル kosak, Wed Jul 20 18:54:58 2005地下室にオセロプログラミングの参考になりそうな本をおいておきました。
でも、上を目指すならBuro氏の論文を読みましょう。
某4年生, Wed Jul 20 23:01:54 2005<< kosak氏
∩
( ⌒) ∩_ _
/,. ノ i .,,E) グッジョブ
グッジョブ / /" / /" .
_n ./ /_、_ / ノ'
( l _、_ / / ,_ノ` )/ /_、_
\ \ ( <_,` )( /( ,_ノ` ) n
ヽ___ ̄ ̄ ノ ヽ |  ̄ \ ( E) グッジョブ
/ / \ ヽフ / ヽ ヽ_//
名無しさん, Wed Aug 17 00:33:45 2005課題8のリバーシ盤面抽象データの説明の補完.
transform関数が受け取る stone list list は「行のリスト」であり,「列のリ
スト」ではない.
一方,座標を指定する関数はx座標,y座標の順に受け取るが,x座標は「何列目
か」,y座標は「何行目か」を表している.
これをきちんと理解していないと,縦横がねじれてプログラムが動かなくなった
りする.
名無しさん, Wed Aug 17 00:39:08 2005