skill-net（MILESTONE CAI，笈川他，1982)［Fortranの課題選択など］ 2019/8/19
2019/8/19
PROUST （Johnson, W.L. & Soloway, E. ,1987) 初級ﾌﾟﾛｸﾞﾗﾏが書いたPascalﾌﾟﾛｸﾞﾗﾑを， 課題記述ﾗｲﾌﾞﾗﾘやﾌﾟﾛｸﾞﾗﾐﾝｸﾞ知識を用いて理解し， バグ（誤り）があればバグ知識を用いてバグの発生箇所やバグの説明を行う 2019/8/19
課題の例 正の実数値を入力し，入力した値の平均値を計算するPascalプログラムを作成しなさい。 但し，データの入力は「99999」が入力されたら終了すること。また，この「99999」は平均値の計算には含めないこと。 2019/8/19
平均値を求めるプログラムのgoalの例 値を入力する，但し，終了値99999が入力されたら終了する。 入力値が０以下ならば，再入力 平均値を計算 計算した平均値を出力 2019/8/19
5 –5 99999が入力されると， 終了値である99999がデータとして計算されてしまうプログラム 2019/8/19
平均値を求めるプログラムのゴールを用いた表現 2019/8/19
goal：値を入力する，但し，終了値99999が入力されたら終了する。 2019/8/19
plan： 値を入力する，但し，終了値99999が入力されたら終了する planの一例 2019/8/19
システム側のplanと一致するかを検査し，一致すればそのplanが使用されたと判断する。 （使用されたplanとその構成が作成者の考え） 2019/8/19
Error-Pattern (IF WHILE) ←IFをWHILEで置き換えると Planが正しく動作する Bugルールの例 (Defile WHILE-for-IF Statement-Type IF Error-Pattern (IF WHILE) ←IFをWHILEで置き換えると Planが正しく動作する Bug (WHILE-for-IF-Confusion (FoundStmt, *MRet*) (Histlnst, *HistoryNode*))) ← HistoryNode：どういう状態で発生したか 2019/8/19
学習者作成のプログラムを理解するために (a) プログラミング言語の文法（構文） (b)技能： プログラムの概念と文との関係（構造） プログラムの概念と文との関係（構造） ［構成要素，従属，困難さ・複雑さ（複合度）） (c)プログラムの構成や誤り 求めるプログラムを構成するサブ・ゴールとその実現方法，誤りのルール 実現方法は，例えば， 「終了値制御の入力」の方法（手続きのパターンと考えると良いかも） (d) ??? 2019/8/19
次のプログラムは どの様な知識が使われているか 考えて下さい。 #include <stdio.h> Void main(){ int a,b; scanf(“%d”, &a); b=a+2; printf(“b=%d\n”, b); } 2019/8/19
文字式での誤り原因系の階層構造 2019/8/19