評価は後ろからなのか。 # let aaa x = print_string "aaa"; x + 1;; val aaa : int -> int = <fun> # let bbb x = print_string "bbb"; x + 1;; val bbb : int -> int = <fun> # let ccc x = print_string "ccc"; x - 1;; val ccc : int -> int = <fun> # aaa 1 + bbb 2 + </fun></fun></fun>…

クオリアなるモノは本当に存在するのか？ あるいは、意識は哲学的ゾンビの行動の結果生まれている副産物的幻想ではないのか？ など、この手の哲学的問いっていうのは僕程度が一生懸命考えた所で答えが出そうな物ではないのだけれど、twitterとかで自分がどう…

windowsしか使えない状況で、回線が外なのでXで飛ばすのははばかられる、という状況なので puttyで飛ばして、なんとなくtmuxを使ってみたら、画面をpaneにsplitした途端、 なんじゃこりゃー。というq とか x とか w とかが現れてフいた。 なんじゃこらー。 …

相変わらず迷走中。 # (fun f tl -> let rec foo (l,r) xs = match xs with [] -> (List.rev r, List.rev l) | (x::xs) -> if (f x) then foo (l,x::r) xs else foo (x::l, r) xs in foo ([],[]) tl) (fun i -> i < 3) [1;2;3;4;5;1;2;3;4;6] ;; - : int lis…

coqだった。あまりにアホナ間違いを繰り返す自分に嫌気がさして、定理的にプログラムを定義して、後から変換もできる、というのに惹かれたんだった。今晩当たり勉強できるかな・・・

結構いろんなライブラリがあって、便利なんだなー、とか眺めていたところ。 ocamlbrowserというのがあって、これでいろいろ眺めることができる。 折角だからGLでTeapotくらい出してみようかなのココロ。 どうやってライブラリ？ ライブラリを利用する方法は…

今までも何度かocamlに突撃しようとしては、討ち死にしていた。 なんでかなーと思うと要するに「なんか納得いかない」部分が沢山あって、しかもその理由が中々見つからないからじゃないかと思った。ので、キライなところを列挙していく。 なんだよ +. って！…

子供の誕生日にペットボトルロケットを飛ばしてあげようと思って、先月初めくらいに http://www.pcaj-i.jp/ から注文した。で、届いてたんだけど、肝心のでかいペットボトルがなかなかそろわずに作成が遅れてた。ついにこないだの日曜日に完成！ 例によって…

何がキッカケか忘れたけど、題名の本が気になって衝動買いなどした。Purely Functional Data Structures作者: Okasaki出版社/メーカー: Cambridge University Press発売日: 1999/07/01メディア: ペーパーバック購入: 5人 クリック: 46回この商品を含むブログ…

globash。bashをfunctionでglobal -cやらなんやらで拡張してくれて、しかも短縮オプションでglobalにアクセスできてちょっとアドレナリンってやつ。こんなのあるって気付いてなかった。というか名前が楽しい。 どうせ普段はvimつかってるし、zshでもcompleti…