tom tan

@tm_tn

UbuntuやらD言語やら使ってます． SAT符号化とか研究してますが，それに関してつぶやくことは多分まれ． 最近は Emacs の eshell と遊んでます．