@inproceedings{weko_140123_1, author = "宮嶋,徹 and 若木,利子", title = "論証ダイアグラムの分析と議論計算を統合したJ Araucariaツールの開発", booktitle = "全国大会講演論文集", year = "2010", volume = "第72回", number = "人工知能と認知科学", pages = "433--434 ", month = "mar" }