hammingのブログ