@inproceedings{宮澤清介2010b,
  author = {宮澤 清介 and 岡野 浩三 and 楠本 真二},
  title = {数理論理学の形式証明に対する学習支援システムの試作と評価},
  booktitle = {電子情報通信学会技術報告},
  year = {2010},
  month = {sep}
}