IS4IS VIENNA (2015)
KETCindy
supporting tool to convert students’ findings into knowledge
Masataka Kaneko Satoshi Yamashita Hideyo Makishita Yoshifumi Maeda Naoki Hamaguchi Shigeki Kobayashi Setsuo Takato
KAKENHI 15K01037
KETCindy supporting tool to convert students findings into - - PowerPoint PPT Presentation
IS4IS VIENNA (2015) KETCindy supporting tool to convert students findings into knowledge Masataka Kaneko Satoshi Yamashita Hideyo Makishita Yoshifumi Maeda Naoki Hamaguchi Shigeki Kobayashi Setsuo Takato KAKENHI 15K01037 CONTENTS
IS4IS VIENNA (2015)
Masataka Kaneko Satoshi Yamashita Hideyo Makishita Yoshifumi Maeda Naoki Hamaguchi Shigeki Kobayashi Setsuo Takato
KAKENHI 15K01037
Simulation, Observation, Conjecture
Simulation, Observation, Conjecture Calculation, Interpretation, Proof
Simulation, Observation, Conjecture Calculation, Interpretation, Proof Memorization, Exercise
Simulation, Observation, Conjecture Calculation, Interpretation, Proof Memorization, Exercise, Reflection Application to other situations
Paper and Pencil based learning is indispensable
Π 2
Π x 1 1 y
π 2 π 1 −1 x y O
x y
α − 2 α − 1 y = x2 y = x2 − 4 y = 2αx − α2 y = 2(α + 1)x − (α + 1)2 x y
x y
x · · · π 6 · · · 5π 6 · · · 2π y′ + − + y 2 ↗ π 6 + √ 3 ↘ 5π 6 − √ 3 ↗ 2 + 2π
x · · · π 6 · · · 5 6π · · · 2π y′ + − + y 2 ↗ π 6 + √ 3 ↘ 5 6π − √ 3 ↗ 2 + 2π
f(x) g(x) ↗ ↗ ↘ ↘ ↗ ↗ O x y π 2 π f(x) g(x)
x y
x y
x y
Crossing
Crossing
\input Compile Mod. CAS Plot Data Tpic code T EXfile PDF file K ETpic
dx dt = x(t) · (1 − y(t)) dy dt = 0.5 · y(t) · (x(t) − 1)
\input Compile Mod. CAS Plot Data Tpic code T EXfile PDF file K ETpic
S1=NDSolve[{x’(t)==x[t]*(1-y[t]),y’[t]==0.5*y[t]*(x[t]-1), x[0]==**,y[0]==**},{x,y},{t,10}]; PS1=ParametricPlot[Evaluate[{x[t],y[t]}/.S1],{t,0,10}];
\input Compile Mod. CAS Plot Data Tpic code T EXfile PDF file K ETpic
Openfile(’’fig.tex’’,’’1cm’’); Drwline(PS1); Closefile(’’1’’);
10 20 30 40 50 60 70 80 900 10 20 30 40 50 60 70 80 90 100 110 120 130 \usepackage{ketpic, ketlayer} \begin{layer}{160}{90} \end{layer}
10 20 30 40 50 60 70 80 900 10 20 30 40 50 60 70 80 90 100 110 120 130
\usepackage{ketpic, ketlayer} \begin{layer}{160}{90} \putnotese{5}{20}{\input{fig.tex}} \end{layer}
10 20 30 40 50 60 70 80 900 10 20 30 40 50 60 70 80 90 100 110 120 130
\usepackage{ketpic, ketlayer} \begin{layer}{160}{90} \putnotese{5}{20}{\input{fig.tex}} \arrowlineseg{40}{61}{40}{25} \end{layer}
\usepackage{ketpic, ketlayer} \begin{layer}{160}{0} \putnotese{5}{20}{\input{fig.tex}} \arrowlineseg{40}{61}{40}{25} \end{layer}
Plot Data Tpic code CAS KETCindy K ETpic TeX file DGS PDF file
Plot Data Tpic code CAS KETCindy K ETpic TeX file DGS PDF file batch processing
x y
Plot Data Tpic code CAS KETCindy K ETpic TeX file DGS PDF file
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End
Start End