数式処理と教育

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 による数学ｅラーニング
中村 泰之（名古屋大・情報科学研究科）
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 ミニ研究でのルービックキューブ３Ｄ表示プログラムのバージョンアップ
和賀 宗仙（福島高専）
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）
発表者が複数の場合，○が発表者を示す．