使いこなそうやさしい離散数学　情報系のための数学