KETCindy supporting tool to convert students findings into - - PowerPoint PPT Presentation

ketcindy
SMART_READER_LITE
LIVE PREVIEW

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


slide-1
SLIDE 1

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

slide-2
SLIDE 2

CONTENTS

  • 1. Activities in math classroom
  • 2. ICT support in math classroom
  • 3. Linkage to T

EX edition

  • 4. Problem of T

EX edition

  • 5. Approach using CAS (KETpic)
  • 6. Approach using DGS (KETCindy)
slide-3
SLIDE 3
  • 1. Activities in math classroom

Inductive Reasoning Deductive Reasoning Establishment of Knowledge Application of Knowledge

slide-4
SLIDE 4
  • 1. Activities in math classroom

Inductive Reasoning Deductive Reasoning Establishment of Knowledge Application of Knowledge

Simulation, Observation, Conjecture

slide-5
SLIDE 5
  • 1. Activities in math classroom

Inductive Reasoning Deductive Reasoning Establishment of Knowledge Application of Knowledge

Simulation, Observation, Conjecture Calculation, Interpretation, Proof

slide-6
SLIDE 6
  • 1. Activities in math classroom

Inductive Reasoning Deductive Reasoning Establishment of Knowledge Application of Knowledge

Simulation, Observation, Conjecture Calculation, Interpretation, Proof Memorization, Exercise

slide-7
SLIDE 7
  • 1. Activities in math classroom

Inductive Reasoning Deductive Reasoning Establishment of Knowledge Application of Knowledge

Simulation, Observation, Conjecture Calculation, Interpretation, Proof Memorization, Exercise, Reflection Application to other situations

slide-8
SLIDE 8
  • 2. ICT support in math classroom

Inductive Reasoning Deductive Reasoning Establishment of Knowledge Application of Knowledge Simulation with CAS/DGS

slide-9
SLIDE 9
  • 2. ICT support in math classroom

Inductive Reasoning Deductive Reasoning Establishment of Knowledge Application of Knowledge Calculation and Proof with the aid of CAS/DGS

slide-10
SLIDE 10
  • 2. ICT support in math classroom

Inductive Reasoning Deductive Reasoning Establishment of Knowledge Application of Knowledge Web based Training

slide-11
SLIDE 11
  • 2. ICT support in math classroom

Inductive Reasoning Deductive Reasoning Establishment of Knowledge Application of Knowledge Materials accumulated

  • n the Web
slide-12
SLIDE 12
  • 2. ICT support in math classroom

Inductive Reasoning Deductive Reasoning Establishment of Knowledge Application of Knowledge

Paper and Pencil based learning is indispensable

slide-13
SLIDE 13
  • 3. Linkage to T

EX edition

From CAS to T EX

Π 2

Π x 1 1 y

slide-14
SLIDE 14
  • 3. Linkage to T

EX edition

From CAS to T EX

π 2 π 1 −1 x y O

slide-15
SLIDE 15
  • 3. Linkage to T

EX edition

From DGS to T EX Simulation via DGS screen calculation via T EX document

slide-16
SLIDE 16
  • 3. Linkage to T

EX edition

x y

slide-17
SLIDE 17
  • 3. Linkage to T

EX edition

α − 2 α − 1 y = x2 y = x2 − 4 y = 2αx − α2 y = 2(α + 1)x − (α + 1)2 x y

slide-18
SLIDE 18
  • 3. Linkage to T

EX edition

x y

slide-19
SLIDE 19
  • 4. Problem of T

EX edition

Characteristics of edition via T EX

  • 1. high quality in graphics
  • 2. limitation in computing and programming

capability

  • 3. generated table tends to be inappropriate
  • 4. page layout can not be set flexibly
slide-20
SLIDE 20
  • 4. Problem of T

EX edition

Characteristics of edition via T EX

  • 1. high quality in graphics
  • 2. limitation in computing and programming

capability

  • 3. generated table tends to be inappropri-

ate

  • 4. page layout can not be set flexibly
slide-21
SLIDE 21
  • 4. Problem of T

EX edition

x · · · π 6 · · · 5π 6 · · · 2π y′ + − + y 2 ↗ π 6 + √ 3 ↘ 5π 6 − √ 3 ↗ 2 + 2π

slide-22
SLIDE 22
  • 4. Problem of T

EX edition

x · · · π 6 · · · 5 6π · · · 2π y′ + − + y 2 ↗ π 6 + √ 3 ↘ 5 6π − √ 3 ↗ 2 + 2π

slide-23
SLIDE 23
  • 4. Problem of T

EX edition

f(x) g(x) ↗ ↗ ↘ ↘ ↗ ↗ O x y π 2 π f(x) g(x)

slide-24
SLIDE 24
  • 4. Problem of T

EX edition

Characteristics of edition via T EX

  • 1. high quality in graphics
  • 2. limitation in computing and programming

capability

  • 3. generated table tends to be inappropriate
  • 4. page layout can not be set flexibly
slide-25
SLIDE 25
  • 4. Problem of T

EX edition

x y

slide-26
SLIDE 26
  • 4. Problem of T

EX edition

x y

slide-27
SLIDE 27
  • 4. Problem of T

EX edition

x y

slide-28
SLIDE 28
  • 4. Problem of T

EX edition

slide-29
SLIDE 29
  • 4. Problem of T

EX edition

Crossing

slide-30
SLIDE 30
  • 4. Problem of T

EX edition

Crossing

Bezier curves can be generated via KETCindy.

slide-31
SLIDE 31
  • 5. CAS+KETpic

\input Compile Mod. CAS Plot Data Tpic code T EXfile PDF file K ETpic

http://ketpic.com

slide-32
SLIDE 32
  • 5. CAS+KETpic

x y O

   dx dt = x(t) · (1 − y(t)) dy dt = 0.5 · y(t) · (x(t) − 1)

slide-33
SLIDE 33
  • 5. CAS+KETpic

\input Compile Mod. CAS Plot Data Tpic code T EXfile PDF file K ETpic

slide-34
SLIDE 34
  • 5. CAS+KETpic

x y O

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}];

slide-35
SLIDE 35
  • 5. CAS+KETpic

\input Compile Mod. CAS Plot Data Tpic code T EXfile PDF file K ETpic

slide-36
SLIDE 36
  • 5. CAS+KETpic

x y O

Openfile(’’fig.tex’’,’’1cm’’); Drwline(PS1); Closefile(’’1’’);

slide-37
SLIDE 37
  • 5. CAS+KETpic

x y O

ketlayer

slide-38
SLIDE 38
  • 5. CAS+KETpic

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}

slide-39
SLIDE 39
  • 5. CAS+KETpic

10 20 30 40 50 60 70 80 900 10 20 30 40 50 60 70 80 90 100 110 120 130

x y O

\usepackage{ketpic, ketlayer} \begin{layer}{160}{90} \putnotese{5}{20}{\input{fig.tex}} \end{layer}

slide-40
SLIDE 40
  • 5. CAS+KETpic

10 20 30 40 50 60 70 80 900 10 20 30 40 50 60 70 80 90 100 110 120 130

x y O

\usepackage{ketpic, ketlayer} \begin{layer}{160}{90} \putnotese{5}{20}{\input{fig.tex}} \arrowlineseg{40}{61}{40}{25} \end{layer}

slide-41
SLIDE 41
  • 5. CAS+KETpic

x y O

\usepackage{ketpic, ketlayer} \begin{layer}{160}{0} \putnotese{5}{20}{\input{fig.tex}} \arrowlineseg{40}{61}{40}{25} \end{layer}

slide-42
SLIDE 42
  • 6. DGS+KETCindy

From CAS to DGS

  • 1. DGS may be inferior to CAS in computation

and programming capability.

  • 2. Interactive drawing of T

EX graphics (while checking the final output) should be helpful.

  • 3. It is desirable that the burden of writing com-

mand is reduced.

slide-43
SLIDE 43
  • 6. DGS+KETCindy

Plot Data Tpic code CAS KETCindy K ETpic TeX file DGS PDF file

https://sites.google.com/sites/ketcindy/home

slide-44
SLIDE 44
  • 6. DGS+KETCindy

Plot Data Tpic code CAS KETCindy K ETpic TeX file DGS PDF file batch processing

slide-45
SLIDE 45
  • 6. DGS+KETCindy

x y

slide-46
SLIDE 46
  • 6. DGS+KETCindy

Animation

slide-47
SLIDE 47
  • 6. DGS+KETCindy

Plot Data Tpic code CAS KETCindy K ETpic TeX file DGS PDF file

slide-48
SLIDE 48

6.DGS+KETCindy

Start End

slide-49
SLIDE 49

6.DGS+KETCindy

Start End

slide-50
SLIDE 50

6.DGS+KETCindy

Start End

slide-51
SLIDE 51

6.DGS+KETCindy

Start End

slide-52
SLIDE 52

6.DGS+KETCindy

Start End

slide-53
SLIDE 53

6.DGS+KETCindy

Start End

slide-54
SLIDE 54

6.DGS+KETCindy

Start End

slide-55
SLIDE 55

6.DGS+KETCindy

Start End

slide-56
SLIDE 56

6.DGS+KETCindy

Start End

slide-57
SLIDE 57

6.DGS+KETCindy

Start End

slide-58
SLIDE 58

6.DGS+KETCindy

Start End

slide-59
SLIDE 59

6.DGS+KETCindy

Start End

slide-60
SLIDE 60

6.DGS+KETCindy

Start End

slide-61
SLIDE 61

6.DGS+KETCindy

Start End

slide-62
SLIDE 62

6.DGS+KETCindy

Start End

slide-63
SLIDE 63

6.DGS+KETCindy

Start End

slide-64
SLIDE 64

6.DGS+KETCindy

Start End

slide-65
SLIDE 65

6.DGS+KETCindy

Start End

slide-66
SLIDE 66

6.DGS+KETCindy

Start End

slide-67
SLIDE 67

6.DGS+KETCindy

Start End

slide-68
SLIDE 68

6.DGS+KETCindy

Start End

slide-69
SLIDE 69

Tnank you very much for your attentions!!