お知らせ

5月20, 21日に開催されたNL研・CVIM研・PRMU研の合同研究会において、本学の林克彦准教授が東京大学の研究グループと共同発表した研究成果が優秀研究賞を受賞しました。

本研究では、人間が行うような論証をコンピュータで実現するため、確率的な数理モデルを定式化し、その評価検証用のデータを構築した内容が学術的に高く評価されました。

将来的には、高度な論証が必要となる裁判などの補助・自動化システムへの応用が期待されています。

学会プログラム：https://nl-ipsj.or.jp/2021/04/20/nl248-program/