キーワードlogical modeling 種類会議発表論文 部局国際総合科学部