情報理論のための数学