共同研究・競争的資金等の研究課題

2018年1月 - 2019年12月

矛盾許容モデル検査の基礎と応用

栢森情報科学振興財団助成金