統計用のライブラリstat.py を追加