W5を研究室の1600×1200のモニタにつないで使ってみると、W5の動作の重さに大変よく気付かされます。150ひろBayで780円の損失そういえば、卒論は結局型推論になりそうです。先生に「型推論やりたい」と言い続けた結果ではありますが、既に来年は他の研究室へ…