去年に引き続きLennMars他二名で参加しました。チーム名は地下ということでスニーカー文庫刊のあるライトノベルから頂戴してTeamKunikidaです。以下ソース。https://bitbucket.org/LennMars/icfpc2012/srcメンバーが自分以外にOCamlが書けるわけではない情報…

前に論文を読んで放置していた、簡潔木構造の1バージョンであるrange min-max treeを実装した。https://github.com/LennMars/SuccinctTrees基本的な仕組みは K. Sadakane and G. Navarro. Fully-functional succinct trees. In Proc. 21st SODA, pages 134–1…

Listening:445 Reading:425 Total:870初受験ではあるけど何回も受けてもそれほど上がらなさそう。そういう意味ではよく出来たテストということか。

グラフアルゴリズムの話が面白かったので別項目で気になったことをいくつか書く。勉強会での発表者便所さんのスライドはこちら。 http://d.hatena.ne.jp/repose/20120407/1333809676 Interval Graphと貪欲彩色アルゴリズム Interval Graphとは、実数区間を頂…

某研究所の人はやっぱりスライドや発表がちゃんとしている 行動データを扱う研究特有の問題が見えて大変そうだなと思った（他人事） Finding Your Friends and Following Them to Where You Areのときにあまり妥当でなさそうな既存研究との比較(Figure 4)が…

OCamlのマニュアルとかにやり方は大体書いてあるし出来るのは知っていたのだが実際にやろうとしたらコンパイルオプションとかでえらく苦労したので動いたミニマルな例をメモしておいた。 https://gist.github.com/1442320

Zachary DeVito, Niels Joubert, Francisco Palacios, Stephen Oakley, Monserrat Medina, Mike Barrientos, Erich Elsen, Frank Ham, Alex Aiken, Karthik Duraisamy, Eric Darve, Juan Alonso, and Pat Hanrahan. Liszt: A domain specific language for b…

Ubuntu 11.10に移行したのでまずxmonadを入れる。sudo apt-get install xmonadしたら次のように設定する。 [LennMars ~]$ cat /usr/share/xsessions/xmonad-gnome.desktop [Desktop Entry] Name=xmonad/GNOME Comment=benri TryExec=/usr/bin/gnome-session …

Jane StreetのOCamlの代替標準ライブラリであるCoreの現バージョンcore-107.01をconfigureするとき、 I: Running command 'lib/discover.sh lib/config.mlh lib/config.h -DLINUX_EXT' のあとに mktemp: too few X's in template `./discover_src.XXXXXXX.c'…

Jane Streetは多くの有用なOSSを公開しているが地味に依存関係がめんどくさいのでインストール順の一例をメモしておく。 (OUnit)->(res)->Type-conv->Variantslib->Sexplib->Bin_prot->Fieldslib->Core->Async->Core_extended->Patdiff

https://gist.github.com/2185169 Project Eulerを50問くらい解いていたら数論系のアルゴリズムのOCaml実装が結構溜まってきたので公開する。LennMars/algorithms_in_OCaml · GitHubに依存しているがlet sob = string_of_big_intみたいなことを平気でしてい…

LennMars/TreeReduction · GitHub一般にプログラムの分散並列化は非常に困難な作業であるのはよく知られたことです。比較的容易な分散並列化手段を提供するための手法の一つとして、あるパターンに属する計算のみを対象とし、ユーザには計算の具体的な内容を…

Darrel C. Ince,Leslie Hatton & John Graham-Cumming. The case for open computer programs. Nature 482, 485–488 (23 February 2012). doi:10.1038/nature10836.http://www.nature.com/nature/journal/v482/n7386/full/nature10836.htmlプログラムを使用…