金子 真隆  KANEKO Masataka

Proceedings of MathUI2023 (To appear in CEUR-WS)

巻: -

Companion Proceedings of LAK24

巻: - ページ: 94-96

Proceedings of MathUI2023 (To appear in CEUR-WS)

巻: -

Proceedings of ISLS2024

巻: -

Proceedings of ISLS2024

巻: -

Companion Proceedings of LAK24

巻: - ページ: 94-96

京都大学数理解析研究所講究録

巻: 2273 ページ: 41-52

Proceedings of ICCE2023

巻: - ページ: 206-208

京都大学数理解析研究所講究録

巻: 2273 ページ: 58-69

Proceedings of ICCE2023

巻: - ページ: 206-208

京都大学数理解析研究所講究録

巻: 2255 ページ: 14-25

京都大学数理解析研究所講究録

巻: 2273 ページ: 41-52

京都大学数理解析研究所講究録

巻: 2255 ページ: 14-25

京都大学数理解析研究所講究録

巻: 2273 ページ: 58-69

京都大学数理解析研究所講究録

巻: 2236 ページ: 127-139

Proceedings of 30th ICCE

巻: 1 ページ: 167-169

数式処理

巻: 28

Proceedings of 30th ICCE

巻: 1 ページ: 167-169

Proceedings of 30th ICCE

巻: 2 ページ: 671-673

Proceedings of 30th ICCE

巻: 2 ページ: 671-673

Proc. MathUI2021

巻: -

京都大学数理解析研究所講究録

巻: 2236 ページ: 127-139

京都大学数理解析研究所講究録

巻: 2178 ページ: 114-123

京都大学数理解析研究所講究録

巻: 2208 ページ: 107-116

京都大学数理解析研究所講究録

巻: 2178 ページ: 114-123

京都大学数理解析研究所講究録

巻: 2208 ページ: 107-116

京都大学数理解析研究所講究録

巻: 2142 ページ: 23-32

Companion Proceedings of LAK2020

巻: - ページ: 86-88

京都大学数理解析研究所講究録

巻: 2105 ページ: 137-145

京都大学数理解析研究所講究録

巻: 2142 ページ: 23-32

Lecture Notes in Computer Science

巻: 10931 ページ: 379-388

10.1007/978-3-319-96418-8_45

Proceedings of ATCM2018

巻: - ページ: 123-132

Lecture Notes in Computer Science

巻: -

京都大学数理解析研究所講究録

巻: 2067 ページ: 37-46

Mathematics in Computer Science

巻: 7-2 号: 3-4 ページ: 1-12

10.1007/s11786-017-0303-7

Lecture Notes in Computer Science

巻: 10407 ページ: 199-215

10.1007/978-3-319-62401-3_15

Lecture Notes in Computer Science

巻: 10407 ページ: 301-316

10.1007/978-3-319-62401-3_23

Lecture Notes in Computer Science

巻: 10407 ページ: 273-284

10.1007/978-3-319-62401-3_21

京都大学数理解析研究所講究録

巻: 2022

The Electronic Journal of Mathematics and Technology

巻: 11

Lecture Notes in Computer Science

巻: 9725 ページ: 342-350

10.1007/978-3-319-42432-3_42

京都大学数理解析研究所講究録

巻: 1978

International Journal for Technology in Mathematics Education

巻: 22 - 4

京都大学数理解析研究所講究録

巻: 1978

International Journal for Technology in Mathematics Education

巻: 未定

京都大学数理解析研究所講究録

巻: 未定

The International Journal for Technology in Mathematics Education

巻: Vol.21 Nr.1 ページ: 19-25

Lecture Notes in Computer Science

巻: 8592 ページ: 578-585

Scientiae Mathematicae Japonicae

巻: Online-2014 ページ: 305-315

130007643099

京都大学数理解析研究所講究録

巻: 未定

東邦大学教養紀要

巻: 45 ページ: 123-133

Proceedings of ICCSA2013

巻: 未定

京都大学数理解析研究所講究録

巻: 1865 ページ: 27-33

International Journal for Technology in Mathematics Education

巻: 20-2

Proc. ICCSA2013

巻: 6 ページ: 62-71

京都大学数理解析研究所講究録

巻: 1735 ページ: 57-72

京都大学数理解析研究所講究録 1735

ページ: 57-72

The Electronic Journal of Mathematics and Technology

巻: Vol.5-2(to appear)

東邦大学教養紀要

巻: 第42号 ページ: 31-40

40018760820

Proceedings of ICCSA 2011, IEEE Press.

巻: (to appear)

To appear in eJMT 5-2

Asian Journal of TeX 4-2

ページ: 111-120

京都大学数理解析研究所講究録 1674

ページ: 31-40

Teaching Mathematics and Computer Science Vol.VIII, Issue I

ページ: 1-18

TMCS 8-1

ページ: 1-18

京都大学数理解析研究所講究録 1674

ページ: 12-25

Proceedings of ICCSA 2010, IEEE Press.

ページ: 39-48

京都大学数理解析研究所講究録 1674

ページ: 12-25

Asian Journal of TeX

巻: Vol.4-2 ページ: 111-120

The International Journal for Technology in Mathematics Education(to appear) Vol.17, Number 3(掲載確定)

京都大学数理解析研究所講究録 1624号

ページ: 1-10

木更津工業高等専門学校紀要 第42号

ページ: 73-82

110007145278

日本数学教育学会高専・大学部会論文誌 第16号

ページ: 97-106

110008513443

京都大学数理解析研究所講究録 1624

ページ: 1-10

日本数学教育学会高専・大学部会論文誌 第15号

ページ: 109-118

110008445238

Selected Papers of the Sixth International Conference on Computational Science and Application, IEEE computer society

ページ: 277-283

Lecture Notes in Computer Science 5102

ページ: 35-45

Lecture Notes in Computer Science 5102

ページ: 35-45

数式処理 第15巻第2号

ページ: 63-71

10023902539

To appear in Proc.ICCSA 2011 (IEEE)

Proc.ICCSA 2010 (IEEE)

ページ: 39-48