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

関数型の視点からの効率的可逆シミュレーションおよび可逆プログラミング方法論の拡張

公益財団法人栢森情報科学振興財団