毎日１時間、有志のエンジニアでガチ数学勉強会。今日は「カントールの対角線論法」とか話ししてます。