情報科学研究科の永山教授が「多値論理フォーラム優秀論文発表賞」を受賞