結果

dev 35% net 55% nethack 10%

とかだったと思う

自己申告がめんどくさい