情報理論のための数理論理学　数学のかんどころ３１