導出規則に着目した証明視覚化・式変形支援システムの提案 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)

渡部, 孝幸; 宮崎, 佳典; 林, 佳樹

ダウンロード数: 196

http://hdl.handle.net/2433/195369

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1865-19.pdf		891.95 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	渡部, 孝幸	ja
dc.contributor.author	宮崎, 佳典	ja
dc.contributor.author	林, 佳樹	ja
dc.contributor.alternative	Watabe, Takayuki	en
dc.contributor.alternative	Miyazaki, Yoshinori	en
dc.contributor.alternative	Hayashi, Yoshiki	en
dc.contributor.transcription	ワタベ, タカユキ	ja
dc.contributor.transcription	ミヤザキ, ヨシノリ	ja
dc.contributor.transcription	ハヤシ, ヨシキ	ja
dc.date.accessioned	2015-03-03T05:49:33Z	-
dc.date.available	2015-03-03T05:49:33Z	-
dc.date.issued	2013-11	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/195369	-
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	導出規則に着目した証明視覚化・式変形支援システムの提案 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)	ja
dc.title.transcription	ドウシュツキソクニチャクモクシタショウメイシカクカシキヘンケイシエンシステムノテイアンスウガクソフトウェアトキョウイクスウガクソフトウェアノコウカテキリヨウニカンスルケンキュウ	ja-Kana
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1865	-
dc.identifier.spage	137	-
dc.identifier.epage	145	-
dc.textversion	publisher	-
dc.sortkey	19	-
dc.address	静岡大学情報学研究科	ja
dc.address	静岡大学情報学部	ja
dc.address	静岡大学情報学研究科	ja
dc.address.alternative	Graduate School of Informatics, Shizuoka University	en
dc.address.alternative	Faculty of Informatics, Shizuoka University	en
dc.address.alternative	Graduate School of Informatics, Shizuoka University	en
dcterms.accessRights	open access	-
出現コレクション:	1865 数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究

アイテムの簡略レコードを表示する

Export to RefWorks

このリポジトリに保管されているアイテムはすべて著作権により保護されています。