実世界の問題を数学で解く――数 理・論理とその応用／数理・論理と情報学／アルゴリズムがゲノムの空白を埋める!／NIIでなぜ数学を志したか