2011 - 2012 Deep feature acquisition for fast and accurate natural language processors
2009 - 2011 超大規模半構造化知識ベースとの融合による高度な言語処理技術の実用化
2006 - 2010 高度言語理解のための意味・知識処理の基盤技術に関する研究
全件表示
論文 (132件):
Takuya Matsuzaki, Tomohiro Fujita. Formula Simplification via Invariance Detection by Algebraically Indexed Types. Proceedings of the 11th International Joint Conference (IJCAR 2022). 2022. 388-406
和田 優未, 松崎 拓也, 照井 章, 新井 紀子. 大学入試における数列の問題を解くための自動推論とその実装について (2015年度合同分科会報告). 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2017. 23. 2. 13-27