@inproceedings{CTT100766987,
  author = {竹森賢 and 室田真男},
  title = {構造図を用いた両向き推論支援のための対話型図形論証支援システムの開発と評価},
  booktitle = {2017年度JSiSE学生研究発表会（関西地区）講演論文集},
  year = 2018,
}