パーティションの内容を保持しつつ ext3 から ext4 へのマイグレーション． 今回はルートパーティションの /dev/sda7 について作業した． 基本的には ArchWiki に書いてある通りに． https://wiki.archlinux.org/index.php/Ext4#Converting_ext3_partitions_…

そういえばこんなかんじにネタバレを書いてます． http://eagletmt.github.com/contests/ POJ, AOJ を中心に，AC したコード + 簡単な解法の説明． 今のところ POJ 200問くらいと，AOJ 30問くらいを書いてる． まぁ自分の実力は高くないので，どれくらいの人…

そういえば，以前書いたパッチ http://d.hatena.ne.jp/eagletmt/20110615/1308162572 がちゃんとまともに書き直されて，本家のリポジトリに取り込まれました． http://code.google.com/p/uim/source/detail?r=7278

9月8日から10日まで，諏訪湖の近くで行われた研究室の夏ゼミに参加していた． 各自が情報工学に関する何かについて自由に発表するというもので，俺は型レベルプログラミングについて話した． FunctionalDependencies, FlexibleContexts, FlexibleInstances, …