社川法人 情報処理学会 研究報告