数式処理と教育

RIMS 研究集会「数式処理と教育」
京都大学数理解析研究所の共同研究事業の一環として,下記のように研究集会を開催します
ので,ご案内申し上げます.
研究代表者 清水 克彦(東京理科大・理学研究科)
副代表者 高遠 節夫(東邦大・薬学部)
記
日時:2010 年 8 月 30 日(月)13:00 ∼ 9 月 1 日(水)12:00
場所:京大数理解析研究所 111 号室
プログラム
8 月 30 日(月)
13:00∼13:27 高校数学の指導における数式処理システムの活用方法
山名 一就(姫路飾西高校)
13:27∼13:54 Sage 上での KETpic の利用について
⃝深澤 謙次(呉高専),高遠 節夫 (東邦大)
13:54∼14:21 STACK と Moodle による数学eラーニング
中村 泰之(名古屋大・情報科学研究科)
14:21∼14:51 数学教育とネットツールの接点
阿原 一志(明治大・理工)
(休憩)
15:00∼15:30 GC を中心としたこれまでの作図ツールの問題点と今後の可能性
飯島 康之(愛知教育大)
15:30∼16:00 GeoGebra の教育利用
舟川 快(愛知教育大大学院)
16:00∼16:30 GeoGebra の利用と開発の現状
和地 輝仁(北海道教育大)
16:30∼17:00 Cinderella.2 を用いた授業と課題研究
⃝入谷 昭,阿部 晃大,伊藤 勝梧,大木 敬之(磐田南高校)
8 月 31 日(火)
9:00∼ 9:28
KETpic の利用と教材発掘
⃝金子 真隆(木更津高専),高遠 節夫(東邦大)
9:28∼ 9:56
数式処理をベースにした新しい制御情報カリキュラムの試み
杉野 隆三郎, 一ノ瀬 元喜, 田中 達治(阿南高専), 中道 義之(沼津高専)
9:56∼10:24
Scilab による都市発展問題のシミュレーション
三宅 修平(東京情報大),杉野 隆三郎(阿南高専)
(休憩)
10:34∼11:04 数式処理を用いた教育を想定したタッチタイピング能力の調査
⃝白井 詩沙香,福井 哲夫(武庫川女子大)
11:04∼11:34 Flash で動く関数グラフィングツールの開発
⃝讃岐 勝(筑波大教育開発国際協力研究センター)
礒田 正美(筑波大人間総合科学研究科/教育開発国際協力研究センター)
渡辺 央(株式会社ゼータ)
数式処理システムによる入試問題の解法
北本 卓也(山口大・教育)
(昼食休憩)
13:00∼13:28 DGS 環境における CAS ならびに関数グラフ機能の利用の可能性の検討
— GeoGebra を用いた関数の積に関する一考察—
清水 克彦,嶋村 元太郎(東京理科大・科学教育研究科)
13:28∼13:56 Wolfram Alpha と数学教育
大橋 真也(船橋旭高校)
13:56∼14:26 Mathematica を活用する数学教材とその検証
山本 修一(日本大)
14:26∼14:56 数式処理ソフトを用いた協同学習の試み
西谷 滋人(関西学院大・理工)
(休憩)
15:06∼15:36 Visualization of Möbius Transformation Using Mathematica
加藤 康一(愛知県立知立東高校)
15:36∼16:04 ミニ研究でのルービックキューブ3D表示プログラムのバージョンアップ
和賀 宗仙(福島高専)
16:04∼16:32 極値問題の図表示と線形代数への応用について
⃝北原 清志(工学院大),高遠 節夫(東邦大)
16:32∼17:00 KETpic の Risa/Asir への移植について (3)
近藤 祐史,石川啓輔(香川高専),高遠 節夫(東邦大)
11:34∼12:04
9 月 1 日(水)
9:00∼ 9:20
9:20∼ 9:50
9:50∼10:20
Making Materials and Mathematical Understanding Based on Symbolic
Thinking
⃝ Satoshi Yamashita(Kisarazu N.C.T), Setsuo Takato(Toho Univ.)
Finely-tuned Plots in LaTeX for Statistics Education utilizing an R-based
KETpic Plug-In
⃝ Shunji Ouchi(Shimonoseki City Univ.), Setsuo Takato(Toho Univ.)
Nonlinear regression curve for NDVI in Mathematica
⃝ Masao Igarashi,Haruka Siotani, Eiji Nunohiro, Jong Geol Park
(Nihon Univ.)
(Break)
10:30∼11:00 A Halo Current and Magnetic Field of a Permanent Nut-shaped Magnet
Haiduke Sarafian(Pennsylvania State Univ.)
11:00∼11:30 Can Petri Nets play a role in Computational Mathematics Education?
Akemi Gálvez(Univ. Cantabria)
11:30∼12:00 Functional Equations and CAS: a perfect match towards XXI century
Mathematics Education
Andrés Iglesias(Univ. Cantabria)
発表者が複数の場合,○が発表者を示す.