2006-11-26から1日間の記事一覧

OCamlの文法の視覚化

http://blog.so-net.ne.jp/rainyday/2006-11-18 R**yの文法が複雑とかいう話があったが、そんな話も異次元の話に感じる。

Concurrent Clean : 失敗の反対

「::Maybe a = Nothing | Just a」を失敗の伝達に使うのは、失敗したときの付加情報が伝達されないので、「::MayFail a b = Failed a | Succeeded b」みたいにしたいのだが、もっとスマートな単語はないかと検討中。 - Passというのがよいかも。 ::PassFail …

Windows : fork

Windowsにはfork関数が存在しないらしいことに気づいてややショックを受けています。 cygwinのforkの実装のドキュメントとか読んだのですが、これを実装するのは手間だなぁ。 spawnを作ったので、fork/execをする必要はないのですが、forkを使って並行計算を…

Concurrent Clean : SVN登録 : spawn*, exec*

http://cleanoptenv.svn.sourceforge.net/viewvc/cleanoptenv/trunk/OptEnv/

Concurrent Clean : MersenneTwister

MersenneTwisterの実装を見直してみたら、uint2Realという関数で、IntからRealに変換をしているけれど、IntとRealでは精度が違うから、Int2つでReal1つを作らないとダメなんじゃないのかな?

テンポラリファイル生成

Windows環境 : http://msdn.microsoft.com/library/ja/default.asp?url=/library/ja/jpfileio/html/_win32_gettempfilename.asp Unix環境 : http://www.linux.or.jp/JM/html/LDP_man-pages/man3/mkstemp.3.html spawnができたら、テンポラリファイル生成関数…