OCaml T-shirt は、在庫15枚を刷りましたが、OCaml Meeting 中に全て売り切れました。どうもありがとうございました!!とりあえず、ご連絡まで。
TL でご一報いたしましたが、OCaml Meeting 2010 in Nagoya T-shirt が家に届きました!なかなか品質良いです! 全部で57枚です。重い。ちょっと忙しくて、数量は今から確認します。価格は初めにお約束いたしましたとおり、1500円とさせていただきます。ミーテ…
私の前のボスのハーバードでの講演のビデオが公開されました: http://ocaml.janestcapital.com/?q=node/82 彼は早口ですが、まあ頑張って聞いてください。普通に判れば、アメリカで普通に仕事できます。判らなくても仕事できますから安心してください。正直…
いそいそと箱から出したら、こんな絵柄だった: なんで、「うし」なんだ、、、あまりの衝撃に膝から崩れ落ちたところで、夢から覚めました。(輪郭はほんとうは伊藤博文です。なぜか判りました。夢って不思議。) 暑いですね。みなさんも夏バテには注意してくだ…
たまには殺伐とした噺もいいでしょう。 Windows で Emacs 内部 shell をストレスなく動かすには？ 結論から言うとそんなもんねえ。 でもそれじゃ余りに何なので、この三ヶ月間で私が泣きながら辿り着いた方法をご紹介しよう! Cygwin + sshd + XMing + VMWare…
すごく慌しい受注体制にもかかわらず、たくさんの皆さんからご注文いただきました。私＋予備を除いて 38枚です。皆さんどうもありがとうございます!! 発注メールは午後に送りましたが返事がありません。不安です。ちょっと待つことにします。続報は #ocamlts…
http://d.hatena.ne.jp/camlspotter/20100803/1280866293 に書いたとおり、締切りを20時間繰上げます。どうも申し訳ありません。 RSS に引っかかるようにこのエントリも書きました。
すいませんすいません OCaml Meeting 当日の頒布をより確実にするためLightning order 締め切りを明日8/5正午に繰り上げさせてください。すいません。完全に私の準備不足です、どうぞご了承ください、よろしくお願いします。 仕様とお値段 こんなんで発注か…
八月です。OCaml Meeting 2010 in Nagoya の月です。今回は名古屋です。もちろん私も参加します。お知らせはhttp://ocaml.jp/um2010で発表されるでしょう。プログラムもほぼ固まってきたのではないか、と思います。皆さんのご参加をお待ちしています。交通費…
暑いですね。暑い上に駱太郎が密着しないと不満らしいのでさらに暑い。駱太郎は密着していて暑くても汗でベタベタになっても一向に構わないそうです。そんなこんなで日記が埋まりません。 3.12.0 への作業 この数週間は、 OCaml 3.12.0+rc1 に乗り換える作業…
OCaml の予約語を適当に並べたら何か標語が出来ないかなと思って。 try new fun of function with type new もあるし何となく OCaml っぽくていいかな？それだけです。 # try new fun of function with type;; Characters 8-11: try new fun of function wit…
前の会社は気に入っていたのですが、会社が東京を見捨てることになったので、東京で働き続ける道を選んで転職しました。ちょうど子供が生まれる時だったので移住は難しいと判断したのです。会社も判ってくれましたし、今でも会社の人たちとは連絡を取ってい…
前回の日記でこのような問題を出しました: 問題 次の twice 関数は、第一引数である関数 f を第二引数 x に二回適用する高階関数です。 let twice f x = f (f x) この時、次の各式の結果は以下のようになります: 式 ==> 結果 twice ((+) 1) 0 ==> 2 twice tw…
ちょっとした高階関数を使ったパズルです。前の会社の面接で使おうかなあと思っていたのですが、使う機会もなくなったので。全く別の機会に、高階関数を教えるための例を書いていて、遊んでいたら面白いものを見つけたので覚えていたのです。 # let twice f …
いまいち論理展開の判らない記事なんだけれども、 英語公用語化と都内超高層化 楽天が英語を公用語化する、という話を聞いて、都内の超高層化を思い出した。 三木谷氏は「日本人を覚醒させるキッカケとして、英語を公用語化する」と 発言しているようだが、 …
昨日はインド人街までメトロで行きました。地下鉄二駅ほどで片道 50円でした。ネットで話題になっていた有名カレーレストランは、上品そうに見せかけて、そうでもなさそうでしたから、パス。食品マーケットに付属している活気溢れるフードコートでガシッとビ…
開発チームの本拠、シンガポールに来ています。東京オフィスでは外資とは言え日本人が大多数なので日本語が一番よく聞こえます。前の職場では英語ばかりでそれが当然だと思ったので面食らってしまいました。シンガポールなら、英語だろうと思って乗り込みま…
;; has existed for long. Actually it is since the very birth of the ML functional language family: Edinburgh LCF ML by Robin Milner in the late 1970s has it already: http://books.google.com/books?id=Vm08AAAAIAAJ&lpg=PA163&dq=lcf%20manual%2…
コメント欄が無いのでトラックバックしておきます http://d.hatena.ne.jp/tatta/20100623/ # isz (isz (lit 0)) - : bool term = IsZ (IsZ (Lit 3)) !!! isz : int term -> bool termなので型エラーになってほしいのに．．． OCaml のバグじゃないかと疑って…
設定: HM は一応使える。Type class instance resolution はイメージしか持っていない。なのに Monad transformer に出会ってしまった。眉間のτとλ皺が特徴。 やつを追う前に言っておくッ！ おれは今やつのStateTをほんのちょっぴりだが体験した い…いや…体…
もう干からびていたとうわさの OCaml のための emacs mode、Tuareg が新しくなりました。オリジナルは 1.45.x 以降、1.46.2 あたりまで出たものの、何かエンバグして 1.46 系は取りやめ、そして作者が興味を失った？のか、そのままでしばらーく乾燥状態だっ…
Address of Starling software: http://www.starling-software.com/en/access.html Address of Tsuru Capital: http://www.tsurucapital.com/en/contactus.htmlHmmm. :-DI want to attend TSAC meeting for long, but now my kid does not permit me having …
それは、 偉大なるジョン・ハロップ師が既に去られた言語 その事に尽きる。師が興味を持たれた言語コミュニティーは荒れる。何故かは判らない。乱あるところすべからく師あり。師の去るところ平和あり。そう、Haskell は既に解放されたのだ。OCaml も数年前…
前回までのあらすじ:Haskell など OCaml に毛が生えたようなもの、ふふん、と、転職した俺様だったが、なんということだ、Haskell が、というか、インデントが読めない。深すぎて。どうしたらいいんじゃー!!http://d.hatena.ne.jp/camlspotter/20100520/1274…
というわけで今日は真面目に人の書いた Haskell のコードを読んでいたのです。適せん(どうしても変換できない)コメントや改行を入れつつ。基本的に読みやすいコードなのですが、、、やはり一行 200文字を越える辺りから解読不可能というか恐ろしく読む気が削…
OCaml はイカレタ言語なので the Y combinator が書けません: $ ocaml Objective Caml version 3.11.2+ocamlspotter # let y = fun f -> (fun x -> f (x x)) (fun x -> f (x x));; Characters 32-33: let y = fun f -> (fun x -> f (x x)) (fun x -> f (x x)…
さて、今度の会社は色々と研修や事務手続きなどありまして、さすが巨大な企業です、中々仕事に取り掛かれませんでした。ようやく今日ちょいと Haskell プログラミングの真似事などを始めましたよ。 読めねー いえ、一応私、関数型言語の研究などやっておりま…
ほとんど個人メモ omake 化 : 全ての ocaml 関連コード、他人、自分のをひっくるめて一つの OMakeroot で管理。ほとんど出来たうえに omake マスターとなった、かもしれない。鍵はキモイけど便利な namespace をどう理解するか、のようだ。 一月前から camli…
すいません、いつもより(といっても数日間＝いつもですが)十分ほど遅く電車に乗ったら朝も千代田線混んでました。逆に言えばチョット早く出てチョット早く帰れば無問題! それより何より地上線に慣れていた私に地下の電波の切れ感が不快。あと前の会社に iPho…
ああなるほど、19:00 になると千代田線もちょっと混みますね、、、 18:00 に帰っちゃだめですかそうですか。それでも帰りますよ。発言の釣り度はともかく私は心情としては「ニートの海外就職日記」の例えばこの記事 http://kusoshigoto.blog121.fc2.com/blog…
