参考文献
参考文献
◎文部省、 「学習指導要領 算数科数学科（試案）」、日本書籍、1947
◎文部省、 「算数科数学科指導内容一覧表（算数数学科学習指導要領改 訂）」、日本書籍、1948
◎文部省、 「中学校高等学校学習指導要領 数学科編（試案）」、中部 図書、1951
◎文部省、 「高等学校学習指導要領 数学科編」、好学社、1955
◎文部省、 「高等学校学習指導要領」、大蔵省印刷局、pp．61−74、1960
◎文部省、 「高等学校学習指導要領」、大蔵省印刷局、pp．52−67、1970
◎福森信夫、 「高等学校新学習指導要領の解説」、学事出版、pp．144−2 15． 1978
◎文部省、 「高等学校学習指導要領解説 数学編」、実教出版、1979
◎文部省、 「高等学校学習指導要領解説 数学編」、ぎょうせい、1989
◎正田實、 「改訂高等学校学習指導要領の展開数学科編」、明治図書、
pp，337−73． 1990
◎文部省、 「中学校指導書 数学編」、大阪書籍、1989
◎福森信夫、 「中学校数学科 新旧学習指導要領の対比と考察」、明治 図書、pp．67−191、1989
◎文部省、 「情報教育に関する手引」、ぎょうせい、pp．39−51、1991
◎岩合一男、 「教職科学講座第20巻算数・数学教育学」、福村出版、
pp．87−90． 1985
◎沢田利夫、 「算数・数学のオープンエンドアプローチ 一授業改善へ の新しい提案一」、みずうみ書房、p．41、1977
＠Polya．G． FMathematics as a Subject for Learning Plausible Rea
160 一
参考文献
soningJ ． NCTM M．T．． pp．7一＆ January 1959
◎能田伸彦、 「算数・数学科 オープン アプローチによる指導の研究 一授業の構成と評価一」、東洋館出版、p．24、1983
◎那須俊夫、 「変換幾何入門」、共立出版、pp．20−24、1990
◎乾東一、 「図形の性質の研究 その発見と創造」、啓林館、pp．70−79、
1992
◎林昭、 「図形の指導」、岩合一男編「新数学教育の理論と実際く中学 校〉」、聖文社、pp．84−86、1993
◎重松敬一、 「数学教育におけるコンピュータの活用」、 「新数学教育 の理論と実際く中学校〉」、聖文社、pp．170−174、1993
◎J．T．Fey、 「数学教育とコンピュータ Comput ing＆Mathematics」、
東海大学出版会、pp．57−58、1984
◎本田成親、 「LOGOと学習思考」、JICC出版局、1992
◎佐々木棟明、「数学教育におけるコンピュータの機能 一ジオブロッ クによる三角形の外心の探索一」、学芸大数学教育研究 第 3号、p．95、1991
◎金子忠雄・知野敬慈・徳永袈裟一・大矢慎一・藤田一弥、 「数学科授 業におけるコンピュータ活用のあり方 一題材「平行四辺形」
を中心に一」、数学教育研究第28号、新潟大学教育学部数学 教室、pp．143−152、1991
◎清水克彦、 「コンピュータの利用によって具体化される新しい幾何教 育一幾何図形の変形を行うソフトCabri Geometry一」、日
本科学教育学会 第15回年会論文集、A125、1991
◎伊達和彦、 「汎用図形学習システムの開発と利用」、 「教育科学 数 学教育」7月号、明治図書、p．22、1994
161 一
参考文献
◎正田實、「コンピュータ教育の概論」、正田實・吉村啓編「教育用コ ンピュータハンドブック 89」、日本評論社、pp．6−26、1989
◎吉村啓、 「教育の場でのコンピュータ利用」、正田實・吉村啓編「教 育用コンピュータハンドブック 89」、日本評論社、pp．27−
46． 1989
◎正田實、「新学習指導要領におけるコンピュータ教育」、正田實・寺 田文行・吉村晶晶「教育用コンピュータハンドブック 90」
、日本評論社、pp．8−23、1990
◎正田實、「新しい数学教育とコンピュータ」、正田實・寺田文行・吉 村三編「コンピュータによる新しい高校数学」、日本評論社、
pp．12−17． 1991
◎清水克彦、 「コンピュータ利用によって具体化される新しい幾何学習」
、日本科学教育学会誌15回年会論文集、pp．17−20、1991
◎松田昇・岡本敏雄、 「知的CAIにおける幾何学図形入カインターフ エースと解法知識ベースの自動生成について」、電子情報通 信学会論文誌D一工【Vo1．J73−D−ll、 pp．88−99、1990
◎J．G．Greeno、 「問題解決の過程 幾何の課題による研究」、サイエン ス社、1978
◎中山茂、 「教育用 C言語のABC」、技報堂出版、1989
◎中山茂、 「Turbo C，Turbo C＋＋グラフィックスプログラミング入門」、
弘報堂出版、1991
◎梅垣壽春山、 「高等学校 探究 数学A」、数研出版、pp．102−110、
1994
◎那須俊夫他、「高等学校 新編 数学A」、第一学習社、pp．132−144、
1994
162 一
謝辞
謝辞
本研究を進めるにあたり、兵庫教育大学教育方法コースの正司和彦教 授、兵庫教育大学学校教育研究センターの長瀬久明助教授、森廣浩一郎 助手、兵庫教育大学の荒木紀幸教授をはじめ教育方法コースの諸先生方 から、終始懇切丁寧な御指導を賜りました。また、兵庫教育大学自然系 数学コースの福森信夫教授、崎谷真也助教授には、授業実践の指導案に ついて御助言を賜りました。先生方の温かい励ましがなければ、本研究 は完成をみることはありませんでした。ここに深く感謝申し上げます。
また、兵庫教育大学大学院正司研究室に、同時面上籍されました足立 利郎氏、緒方宏一氏、清水誠一氏、笹山邦夫氏、塚本俊行氏、上柿直人 氏、福山欣上記、三好利幸氏、横田学氏には、研究協議の場で数多くの 御助言をいただきました。ここに深く感謝申し上げます。
ソフトウェア開発の際には、澤田憲一氏の作成されたプログラムを参 考にさせていただきました。期限内になんとかソフトウェアを完成でき たのも澤田氏の御協力によるものであり、深く感謝申し上げます。
授業実践にあたりましては、京都府立桃山高等学校の吉本勉校長、山 本一成教諭、木谷健二教諭、大槻哲哉教諭をはじめ、教職員の皆様の全 面的な御協力をいただきました。ここに深く感謝申し上げます。
また、いろいろな面で2年間の研究を支えてくれた、妻・正美に深く 感謝いたします。
末筆ながら、2年間の研修の機会を与えていただきました京都府教育 委員会に深く感謝申し上げます。今後一層の前進で、学恩に応えていき たいと思います。
平成6年12月20日
163 一
資料 プログラムソース geo． h
＃define
＃define
＃define
＃define OFFSET Y DX DY CLICK
＃define BS 8
＃define CR OxOd
＃define L O
＃define R 1
＃define NAIN O
＃define SUB 1
一26 −7 −30
0xffff
＃define SAVE
＃define LOAD
＃define REVIEW
＃define END
＃define START
＃define REPEAT END
＃define REPEAT BREAK
＃define ALL
＃define BEFORE
＃define STEP
46 47 48 49 se 51 52 1 2 3
＃define DRAW
＃define POINT
＃define LINE
＃define TRI
＃define QUAD
＃define POLY
＃define CANCEL
＃define blEASURE
＃define ZUKEI
＃define IDOU
＃define FILES
＃define POINT ONSCREEN
＃define POINT ONLINE
＃deftne MID POINT
＃define INTERSECTION
＃define SUBDIVIDE
＃define REFLECT
＃define SENBUN
＃define SEGMENT
＃define LINE EXTEND
＃define PERPEND
＃define PERPEND BISECT
＃define ANGLE BISECT
＃define PARALLEL LINE
0 1 2 3 4 5 6 7 8 9
10
6 7 8 9
10 11 12 13 14 15 16 17 18
＃define SANKAKU 19
＃define SEISANKAKU 20
＃define NITOUHEN 21
＃define CHOKKAKU 22
＃define CHOKKAKUNITOUHEN 23
＃define
＃define
＃define
＃define
＃define
SIKAKU 24
SEIHOUKEI 25 CHOUHOUKEI 26
HEIKOUSIHENKEI 27
HISIGATA 28
＃define TAKAKUKEI
＃define SEITAKAKUKEI
＃define UNDO
＃define CLEAR
＃define
＃define
＃define
＃define
＃def量ne
＃define
＃define
＃def正ne
＃define
＃define
＃define
＃define
＃define
DISTANCE ANGLE AREA CALC TEN SEN SAN SIK HEIKOUIDOU KAITENIDOU TENTAISHOU SENTAISHOU SOUJIHENKAN
29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45
struct ver｛
int pl；
int p2；
int kankei；
double bai；
｝；
struct
｝；
ang｛
int pl；
int p2；
int p3；
int kankei；
double deg；
struct kaiten｛
int org；
int cen；
double deg；
int new；
｝；
struct rireki｛
｝；
int int int int int int char char
rnon；
day；
hour；
rnin；
sec；
job；
sousa［20］；
file［12］；
void makescreenO；
void rnessage（int xl，int yl，int x2，int y2，int mai n−cl，int d，int text−cl，char ＊rnsg）；
void flame（int xl， int yl， int x2， int y2， int c 1，int d）；
void highlightbar（int xl，int yl，int x2，int y2，in t g cl，int tmcl，char ＊rnsg）；
int s七art．．rnenu（）；
void sankakuO；
void sikakuO；
void clearO；
void efidO ；
void titleOi
int rnenu（int job−type，int xpos，int ypos）；
void rnain−menuO ； void draw」menuO；
void point−rnenuO i voiti 1 ine−menuO；
void tri7menuO；
ve id quad−menuO；
void poly−rnenuO ； void cancel−rnenuO ； void midTpointO；
void midpointmdispCdouble xl，double yl，double x2，
double y2）；
void intersectionO；
void intersection−disp（double xl，double yl，doubl
164 一
資料 プログラムソース geo． h
e x2，double y2，double x3，double y3，double x4，dou ble y4）；
void subdivideO；
void subdivide−disp（doubie xl，double yl，double x 2，double y2，int n，int rn）l
void ref1ectO；
void reflect−disp（double xl，double yl，double x2，
double y2，double x3，double y3）；
void point onlineO；
void get−point−online（double xl，double yl，double x2，double y2，char a，char b）；
void point−oncircleO；
void point−onlineNdispOi void potnt−onscreenO；
void point−onscreen dispO；
void anglerbisectO；
void angle−bisect−disp（double xl，double yl，doubl e x2，double y2，double x3，double y3）；
void perpendicularO；
void perpendicular−disp（doub｝e xl，double yl，doub le x2，double y2，double x3，double y3）；
void perpend−bisectO；
void perpend−bisect−disp（double xl，double yl，dou bLe x2，double y2）；
void segmentO；
void chokusen＿disp（doub正e xl，double y1，double x2，
double y2）；
void line−extendO；
void line−extend−disp（double xl，double yl，double x2，double y2，char a，char b）；
void drawcircleO；
void rneasure−menuO；
void angle−measureO；
void angle−disp（char a，char b，char c，double xl，d ouble yl，double x2，double y2，double x3，double y3）
；
void distance−measureO；
void distance−dtsp（char a，char b，double xl，doubl e yl，double x2，double y2）i
void area−rneasureO ；
void area−disp（char a，char b，char c，double xl，do uble yl，double x2，double y2，double x3，double y3）
；
void cu1一menuO；
void fi le−rnenuO ；
void write−fileO；
void read−fileO；
void repeat（int flag）；
void mouse−initO；
void mouse．cross−csr（int x，int y）；
void mouse−finger−csr（int x，int y）；
void piO；
void rnouse−onO；
void mouse−offO；
void c！ear mouse but七〇n（）；
void rnouse−window（int xl，int yl，int x2，int y2）i void get−point（double ＊x，double ＊y．int ＊btn，int
＊p） ；
void get−rnouse7position（double ＊x，double ＊y）；
void set−mouse−position（int x，int y）；
unsigned rnouse−left−buttonO ； unsigned rnouse−right−buttonO ； void noiseO；
unsigned shiftTkey−scanO；
uns igned capsTkey−scanO；
void getstr（double x，double y，int text−cl，char ＊ str）；
int gprintfxy（int x，int y，char ＊fmt，．．．）；
unsigned kakunin（double xl，double yl）；
void position（double x，double y）；
void save−cp（double x，double y）；
void save−ip（int p）；
int p−check（double x，double y）；
double angle（double xl，double yl，double x2，doubl
e y2，double x3，double y3）；
double distance（double xl，double yl，double x2，do ub正e y2）；
double area（double xl，double yl，double x2，double y2，double x3，double y3）l
void gridO；
void pset（double x，double y，int cl）；
void far ＊get−window（int xl，int yl，int x2，int y2）
void puLwindow（int xl，int yl，void far ＊ground−d ata）；
void window−open（int xl，int yl，int x2，int y2，int cl，int c2）；
yoid tekeiO；
void button（int x， int y， int x−d， int y−d， int d， int c）；
int seisankaku−disp（int pl，int p2）l void seihoukeiOl
int seihoukei−disp（int pl，int p2）；
void heikousihenkeiOl
int heikousihenkeiTdisp（int pl，int p2）；
void seisankakuO；
void mark（int x， int y，int c）；
void rotation（double xl，double yl，double x2，doub le y2，double t，double ＊x3，double ＊y3）；
void chokkakunitouhenO；
int chokkakunitouhen7disp（int pl，int p2）；
void chokkakusankakukeiO；
int chokkakusankakukei．disp（int pl，int p2）；
void hisigataO；
int hisigata−disp（int pl，int p2）；
void chouhoukeiO；
int chouhoukei−disp（int pl，int p2）；
void paralle正＿IineO；
void parallel−disp（double xl，double yl，double x2，
double y2，doilble x3，double y3）；
void nitouhenO；
int nitouhen−disp（int pl．int p2）；
void seitakakukeiO；
int seitakakukei一．disp（double xl，double yl，doubl e x2，double y2，int n）；
void takakukei O ； void senbunOl
void triLdisp（double xl，double yl，double x2，doub le y2，double x3，double y3）；
void quad−disp（double xl，double yl，double x2，dou ble y2，double x3，deuble y3，double x4，double y4）；
void undoO；
void clear−messageO；
void transformO；
int pointLselect（int ＊pl）；
int segrnent−select（int ＊pl，int ＊p2）；
int triangle−select（int ＊pl，int ＊p2，int ＊p3）；
int quad−select（int ＊pl，int ＊p2，int ＊p3，int ＊p4）
；
int heikouidou（int ＊cpl，int ＊cp2）；
int kaitenidou（int ＊cp1，double ＊deg）；
int tentaishou（int ＊cpl）．；
int sentaishou（int ＊cpl，int ＊cp2）；
int soujihenkan（int ＊cpl，double ＊bai）l void display（double xl，double yl，double x2，doubl e y2，double x3，double y3，double x4，double y4，int
zuket）；
void souji−anirn（int zukei，int pl，int p2，int p3，i nt p4，int cpl，double bai）；
void sen−anim（int zukei，int pl，int p2，int p3，int p4，int cpl，int cp2）；
void tenTanim（int zukei，int pl，int p2，int p3，int p4，int cpl）；
void kaiten−anim（int zukei，int pl，int p2，int p3，
tnt p4，int cpl，doubte deg）；
void heikou−anim（int zukei，int pl，int p2，int p3，
int p4，int cpl，int cp2）；
void tri−info（int tl，int t2，int t3，int opt）；
一 165 一
資料 プログラムソース geo． h
void quad−info（int tl，int t2，int t3，int t4，int o
pt）；
int hen−search（int tl，int t2）；
double kaku−search（int tl，int t2，int t3）；
int point−search（double xl，double yl）；
void newpoint−check（dollble x，double y，int piint cp，double deg）；
void icchi−msg（int p，int cp，double deg，int rp）；
void kaiten−kekka．msg（void）；
void calculator（int xpos C int ypos）；
void disp−num（double value，double xpos，double yp os）i
int suuti−input（int xpos，int ypos，int ＊bot，int o
pt）；
double valueminput（int xpos，int ypos，int opt，int
＊bot）；
void kana−key−disp（int xpos，int ypDs）；
void tenLkey−disp（int xpos，int ypos）i int file ．view O；
void idou−undo（int zukei，int pl，int p2，int p3，in t p4，int ＊p）；
void keika−fileO；
void rireki touroku（int opt）；
void rirekimwriteO；
void chousaO；