10072009 OCaml
例えば、こんな感じでloadして、
#load "unix.cma";;
let file = "/Users/kzfm/OCaml/kaeru.ml"
let () =
let proc = Unix.open_process_in ("wc -l < " ^ file) in
let count = input_line proc in
ignore (Unix.close_process_in proc);
print_string count;;
実行すると
$ ocaml wc.ml
28
一方、コンパイルしようとすると
$ ocamlc unix.cma wc.ml
File "wc.ml", line 1, characters 0-1:
Error: Syntax error
エラーがでるが、#loadという行を除くときちんとコンパイルできる。
コンパイルしたい場合は毎度#loadっていう行を削除しないといけないのかな。
09072009 work
そうそう、結局重要なのは業務フローを見直して如何に効率的にまわすかとか組織全体の情報の流れを美しくするかとかで、ITってのはそれを補助するためにあるだけなんだよなとか思う。
ITを導入することが、システム化したことになると安易に言ってはいけないように思う。業務システムは、別にITがなくても昔からあったわけで、それは仕事の仕組みだとか流れ、また組織そのものがシステムであると言える。
で、ありがちなのは、上のほうの偉い系のヒトはITを導入するだけで情報の効率化が推進されてハッピーうさちゃんだとか本気で信じてたりする。で、IT化する僕らのほうも、そこらへんの期待は汲んでいるので、システム化する際に、よく考えてフローを見直して業務（ぼくらだと研究業務）がうまく流れてみんなハッピーになれるよう変更するわけだ。
ただ、現場は慣性っつうか惰性でそういうフローの見直しにはすぐに感情的になって反対してくるので、まぁ現場のメリット感を演出するような小技も入れたりしてまぁなんとか形にするんだけどね。
09072009 OCaml
let rec fact = function
0 -> 1
| n -> n * fact (n-1);;
これは、
let rec fact' =
(fun x -> match x with
0 -> 1
| n -> n * fact' (n-1));;
さて、Objective Caml入門で
同じ名前の関数を宣言することで隠すのが，Objective Camlプログラミングの常套テクニックとして使われる．
とあって、
# let rec fact (n, res) = if n = 1 then res else fact (n - 1, res * n);;
val fact : int * int -> int = <fun>
# let fact n = fact (n, 1);;
val fact : int -> int = <fun>
あーc++のオーバーロードみたいなもんか？と思ったんだけどどうも違うらしい。
# let f (x,y) = x + y;;
val f : int * int -> int = <fun>
# let f x y = x +. y;;
val f : float -> float -> float = <fun>
こんなのは動かない。
後者は構文糖衣?
# let f = fun x -> x * x
val f : int -> int = <fun>
# let g x = x * x;;
val g : int -> int = <fun>
ここまでやれる
# ( * ) 4 4;;
Common Lispだとこうかな
(setq f (lambda (x) (* x x)))
(funcall f 4)
(defun g (x) (* x x))
(g 4)
07072009 OCaml
週末にもぎったインゲンを茹でて食べたらめちゃうまだった。本には種まきしてから40-50日で収穫と書いてあったので、あれ、そういえば種まきしてから何日経ったかな？と調べたくなった(OCamlで)
種まきしてから40日後の日付を表示する。
#load "unix.cma";;
open Unix
let days = [| "Sun"; "Mon"; "Tue"; "Wed"; "Thu"; "Fri"; "Sat" |]
let months = [| "Jan"; "Feb"; "Mar"; "Apr"; "May"; "Jun";
"Jul"; "Aug"; "Sep"; "Oct"; "Nov"; "Dec" |]
let format_time time =
let tm = localtime time in
Printf.sprintf "%s %s %2d %02d:%02d:%02d %04d"
days.(tm.tm_wday)
months.(tm.tm_mon)
tm.tm_mday
tm.tm_hour
tm.tm_min
tm.tm_sec
(tm.tm_year + 1900)
let epoch_seconds date =
Scanf.sscanf date "%04d-%02d-%02d"
(fun yyyy mm dd ->
fst (mktime {tm_sec=0; tm_min=0; tm_hour=0;
tm_mday=dd; tm_mon=mm-1; tm_year=yyyy-1900;
tm_wday=0; tm_yday=0; tm_isdst=false}));;
let date = epoch_seconds "2009-05-23";;
let interval = 40. *. 60. *. 60. *. 24.;;
let then' = date +. interval
let () =
Printf.printf "harvest date is %s\n" (format_time then');
さてどうかな？
# harvest date is Thu Jul 2 00:00:00 2009
pleacを参考に書いたのだけど結構長い。もうちょっと奇麗な書き方はあるに違いない。
それにしてもいんげんは今週中に収穫しないと固くなりそうだな。
07072009 chemoinformatics work
昨日、ワークショップで雑談してて、メディシナルケミストリーにおけるフッ素の役割がとか。
ハロゲンのくせに、Cl,Brとはちょっと違うよねとか。
Bioorganic and Medicinal Chemistry of Fluorine06072009 life
06072009 chemoinformatics work
DMPK,TKを考慮したドラッグデザインの際に考慮することなど。
多分メディシナルケミスト向けなんだろうなと思うんだが、コンパクトにまとまっているので、chemoinformaticsのヒトが読んでも参考になることが多い。
Pharmacokinetics and Metabolism in Drug Design (Methods and Principles in Medicinal Chemistry)薄いわりにはちとお高めだが、投資と思い割り切った（今回は）。
雑草がヤバいことになっていて、昨日、今日で草取りを3時間以上やった。
ミニトマトを収穫。娘がすぐにもぎって食べてしまうので、制止して撮影（既に一つ食べられた）。
つるなしいんげんも収穫。いんげんってもぎるときに若干粘着力を感じるのね。
ゴーヤは握りこぶしサイズなのでもう少し。
他にシシトウ、二十日大根、紫蘇の葉を収穫して終了。
05072009 OCaml
型の章と、標準ライブラリの章がお役立ち
7章、8章あたりの実践的な内容、というかクックブック的なものがもう少し欲しい気もした。
というわけで、色々探してみた。
ムナーリの機械
はじめての野菜づくり12か月
入門OCaml ~プログラミング基礎と実践理解~