自習に適したプログラミング教育用例題自動生成システム
全文
(2) Vol.2015-CE-132 No.13 Vol.2015-CLE-17 No.13 2015/12/5. ऴإϼྸ˟ܖᄂᆮإԓ IPSJ SIG Technical Report. (a) Initial view. (b) Program with errors. (c) Debug completion. (d) Next program 1. ࣉࣟࢢ࣒ࣛࢹࣂࢵࢢၥ㢟. Fig. 1 Syntax practice. 2.1 ȗȭǰȩȠȇȐȃǰբ᫆. ࠸ࣉࣟࢢ࣒ࣛ࡞ࡿ (ᅗ 1 (c)). ࡉࡽᏛ⩦ࢆ⥆ࡅࡿሙྜࡣ,. 2.1.1 ಒᙲ. “next program” ࣎ࢱࣥࢆࢡࣜࢵࢡࡍࡿ, ᪂ࡋ࠸ࣂࢢ࠶ࡾࣉ. ࣉࣟࢢ࣒ࣛࢹࣂࢵࢢၥ㢟ࡢ⿵ຓᩍᮦࡣ, ᩥἲ⌮ゎࡢᐃ╔. ࣟࢢ࣒ࣛࡀ⾲♧ࡉࢀࡿ (ᅗ 1 (d)). ࡞࠾, ᪂ࡋ࠸ၥ㢟ࢆᥦ♧. ࢆᅗࡿࡓࡵࣂࢢࢆྵࡴࣉࣟࢢ࣒ࣛࡢࢹࣂࢵࢢࢆ⧞ࡾ㏉ࡋ. ࡍࡿ㝿, ࣂࢢ⋡ (ratio of bugs) ࢆኚ࠼ࡿࡇࡼࡾ, ࣂࢢ. ⾜࠸, ᩥἲ⌮ゎࡢ㛫㐪࠸ࢆಟṇࡍࡿࡇࢆ┠ⓗࡍࡿ. ᅗ 1. ࡢྵ᭷⋡ࢆኚ࠼ࡿࡇࡀ࡛ࡁࡿ. ࣂࢢ⋡ࢆ 0 ࡍࡿࣂࢢ. ᮏ⿵ຓᩍᮦࡢᐇ⾜⏬㠃ࢆ♧ࡍ.. ࡢ↓࠸ࣉࣟࢢ࣒ࣛࡀᥦ♧ࡉࢀ, 100 ࡍࡿ, ௨㝆࡛㏙ࡿ. ᮏ⿵ຓᩍᮦ࡛ࡣ, ࡲࡎ, ୰ኸࡢᯟෆࣂࢢࢆྵࡴࣉࣟࢢࣛ. ࣂࢢࡢࡍ࡚ࡣྵࡲࢀࡿࣉࣟࢢ࣒ࣛ࡞ࡿ. ࡋࡋ, ࣂࢢ⋡. ࣒ࡀ⾲♧ࡉࢀࡿ (ᅗ 1 (a)). ࡇࡢࡲࡲ “compile check” ࣎. ࡀ㧗㐣ࡂࡿࣉࣟࢢ࣒࡛ࣛ࠶ࢀࡤ, ᮏ᮶ࡢṇࡋ࠸ࣉࣟࢢ࣒ࣛ. ࢱࣥࢆࢡࣜࢵࢡࡍࡿ, ࢥࣥࣃ࢚࣮ࣝࣛࡀ⾲♧ࡉࢀࡿ (ᅗ. ࡀぢ࠼࡙ࡽࡃ࡞ࡿࡢ࡛㸪ࢹࣇ࢛ࣝࢺࡣ 8 タᐃࡋ࡚࠸ࡿ.. 1 (b)). Ꮫ⩦⪅ࡣ, ⌮ゎࡋ࡚࠸ࡿᩥἲ▱㆑࢚࣮࣓ࣛࢵࢭ࣮. 2.1.2 Ꮛјௐ. ࢪࢆཧ↷ࡋ࡚ࣉࣟࢢ࣒ࣛࢆಟṇࡋ, ࢚࣮ࣛࡀ࡞ࡃ࡞ࡿࡲ࡛. ࢹࣂࢵࢢ࠾࠸࡚ࡣ, ࢥࣥࣃࣛࡢ࢚࣮࣓ࣛࢵࢭ࣮ࢪࢆ. ࢳ࢙ࢵࢡࢆ⥆ࡅ, ᭱⤊ⓗࣂࢢࡀ↓ࡃ࡞ࡿᩥἲⓗṇࡋ. ⏝ࡍࡿ. ᩥἲࡢ⌮ゎࡣ࢚࣮࣓ࣛࢵࢭ࣮ࢪ㢗ࡽ࡞ࡃ࡚ࡍ. ⓒ 2015 Information Processing Society of Japan. 2.
(3) Vol.2015-CE-132 No.13 Vol.2015-CLE-17 No.13 2015/12/5. ऴإϼྸ˟ܖᄂᆮإԓ IPSJ SIG Technical Report. $vn=array(”i0”,”j0”,”asum”,”bmax”,”cmin”,. $p[$i]= ”#include <stdio.h>. ”dx”,”ex”,”fy”,”cmax”,”height”,”k”,”bmin”,. int main(void){. ”bsum”,”num”,”ok”,”p1”,”q1”,”r0”,”s”,”t”,. float v0;. ”uu”,”vv”,”width”,”x”,”y”,”z”);. int v1, v2, a0[20];. $an=array(”zz”,”yy”,”xx”,”wvec”,”vvec”,. v0= v1+ v2+ a0[2];. ”uvec”,”t”,”s”,”r”,”q”,”p”,”o”,”n”,”m”,”l”,. return 0; }”;. ”k”,”j”,”i”,”h”,”g”,”f”,”e”,”d”,”c”,”b”,”a”); (b) Name list #include <stdio.h>. (a) Program template. $sp[$i][0]=”stdio.h”;. int main(void){. $rp[$i][0][0]=”float”;. single y;. $rp[$i][0][1]=”single”;. int z,dx,d[20];. $rp[$i][1][0]=”;”;. y=k+dx+g[2]:. $rp[$i][1][1]=”:”;. return 0; (c) Bug information. } (d) Generated program 2. ࣉࣟࢢ࣒ࣛࢹࣂࢵࢢၥ㢟ࡢ PHP ࢫࢡࣜࣉࢺ. Fig. 2 PHP script for syntax practice. ࡁ࠸࠺⪃࠼᪉ࡶ࠶ࡿࡀ, ᐇ㊶ⓗሙ㠃࠾࠸࡚ࡣ, ࣉࣟࢢ. 㛫㐪࠼ࢆ⾜࠺ᩥᏐิࡢ୍ぴࢆグ㍕ࡍࡿ. ࠼ࡤ, stdio.h ࡛. ࣑ࣛࣥࢢࡣࢥࣥࣃࣛࢆ⏝ࡍࡿࡇࡀᬑ㏻࡛࠶ࡿ. ࡋࡓ. ࠶ࢀࡤ, 㐺ᙜᩥᏐࢆ๐㝖ࡋࡓࡾᤄධࡋࡓࡾࡋ࡚, stdi.h ࡸ. ࡀࡗ࡚, ࢚࣮࣓ࣛࢵࢭ࣮ࢪࢆཧ⪃, ṇࡋ࠸ᩥἲኚ᭦ࡍࡿ. stdiio.h ࡢࡼ࠺࡞᭩ࡁ㛫㐪࠼ࣃࢱ࣮ࣥࢆ⏕ᡂࡍࡿ. ୍᪉, “rp”. ࡇࡼࡾ, ⌮ゎࡋ㛫㐪࠼࡚࠸ࡓᩥἲࢆṇࡋࡃ⌮ゎ࡛ࡁࡿ. ࡛㛤ጞࡍࡿ㓄ิࡣᩥᏐࡢ᭩ࡁ㛫㐪࠼ࡢࣃࢱ࣮ࣥࢆᣦᐃࡋ. ࡼ࠺࡞ࡿ. ࡲࡓ, ࣂࢢ⋡ࢆኚ᭦࡛ࡁࡿࡢ࡛, ࡼࡾ῝࠸⌮ゎ. ࡚࠸ࡿࡶࡢ࡛࠶ࡿ. ࡇࢀࡣ, ࡼࡃ࠶ࡿ᭩ࡁ㛫㐪࠼ࣃࢱ࣮ࣥࢆ. ࢆࡋࡓ࠸ሙྜࡣ, ࣂࢢ⋡ࢆ࠶ࡆ࡚ᩍ⫱ຠᯝࡢຠ⋡ࢆྥୖࡍ. ᣦᐃࡍࡿࡶࡢ࡛, ࠼ࡤ, ࢥࣟࣥࢭ࣑ࢥࣟࣥࡢ᭩ࡁ㛫㐪࠼. ࡿࡇࡶྍ⬟࡛࠶ࡿ. ௨ୖࡢࡇࡼࡾ, ᩍᮦࢆㄞࡴࡔࡅ࡛ᩥ. ࡸ, float single ࡢぬ࠼㛫㐪࠼, ࡢࡼ࠺࡞࢚࣮ࣛᑐᛂࡋࡓ. ἲࢆ⌮ゎࡍࡿࡢ࡛ࡣ࡞ࡃ, ୍ᐃࡢᐇ㊶ⓗ࡞㢟ࣉࣟࢢ࣑ࣛ. ࡶࡢ࡞ࡗ࡚࠸ࡿ.. ࣥࢢࢆㄢ㢟ࡋ࡚⾜࠺ࡇࡀ࡛ࡁ, ᩥἲࡢᐃ╔ࡀᅗࢀࡿ. Ꮫ⩦⪅ࡀᥦ♧ࡉࢀࡓࣂࢢ࠶ࡾࣉࣟࢢ࣒ࣛࢆಟṇࡋࡓᚋ,. ᮇᚅ࡛ࡁࡿ.. ࢫࢡࣜࣉࢺࡣಟṇᚋࣉࣟࢢ࣒ࣛࢆࣘࢽ࣮ࢡ࡞ࣇࣝྡ࡛. 2.1.3 ܱᘺ૾ඥ. ಖᏑࡋ, ࢧ࣮ࣂෆࡢࢥࣥࣃ࡛ࣛࢥࣥࣃࣝࡋ, ࡑࡢࢥࣥࣃ. ᇶᮏⓗࡣ PHP ゝㄒࢆ⏝࠸ࡓ web ࣉࣜࢣ࣮ࢩ࡛ࣙࣥ. ࣛࡽࡢ࣓ࢵࢭ࣮ࢪࢆᏛ⩦⪅ࡢࣈࣛ࢘ࢨ㏉ಙࡍࡿ. ࢥ. ࠶ࡿࡀ, ࡚ࡢၥ㢟ࢆணࡵ⏝ពࡋ࡚࠾ࡃࡢ࡛ࡣ࡞ࡃ, ඖ࡞. ࣥࣃࣛࡽࡢ࣓ࢵࢭ࣮ࢪࡀ࡞ࡅࢀࡤಟṇࡀ⤊ࡋࡓࡋ. ࡿࢸࣥࣉ࣮ࣞࢺࣉࣟࢢ࣒ࣛࡑࡢࣉࣟࢢ࣒ࣛࢆࣂࢢࢆྵࡴ. ࡚, “OK” ࡢᩥᏐิࢆ㏉ࡍ. ࡞࠾, ⏝ࡍࡿࢥࣥࣃࣛࡣ C. ࡼ࠺ࡍࡿࡓࡵࡢᣦ♧ࡢࢹ࣮ࢱࢆ⏝ពࡋ, Ꮫ⩦⪅ࡽせồ. ࢥࣥࣃ࡛ࣛ࠶ࡿࡀ, ࢥࣥࣃࣛࢆኚ᭦ࡋ, ࢸࣥࣉ࣮ࣞࢺࣉ. ᚑ࠸, ᐇ⾜ࣂࢢ࠶ࡾࣉࣟࢢ࣒ࣛࢆ⏕ᡂࡍࡿ.. ࣟࢢ࣒ࣛ࡞ࢆኚ᭦ࡍࡿ, C ゝㄒ௨እࡢᛂ⏝ࡶᐜ࡛᫆,. ᅗ 2 PHP ࢫࢡࣜࣉࢺࡢ୍㒊⏕ᡂࡉࢀࡓࣉࣟࢢ࣒ࣛ. ᖜᗈ࠸ࣉࣟࢢ࣑ࣛࣥࢢᩍ⫱⏝ྍ⬟࡛࠶ࡿ.. ࢆ♧ࡍ. ࡲࡎ, ࢸࣥࣉ࣮ࣞࢺ࡞ࡿࣉࣟࢢ࣒ࣛࡣ, ኚᩘྡ ཬࡧ㓄ิྡࢆ “ ” ࡛㛤ጞࡍࡿྡ๓࡛グ㍕ࡋ, ᐇ⾜ name. 2.2 Јщਖ਼ܭբ᫆. list ࠶ࡿྡ๓ೃ⿵ࡽࣛࣥࢲ࣒ᙜ࡚ࡣࡵࡀ⾜ࢃࢀࡿ (ᅗ. 2.2.1 ಒᙲ. 2 (a), (b)). ࡇࢀࡼࡾ, Ꮫ⩦⪅ࡣྠࡌࢸࣥࣉ࣮ࣞࢺ࡛࠶ࡗ࡚. ฟຊ᥎ᐃၥ㢟ࡢ⿵ຓᩍᮦࡣ, ࣉࣟࢢ࣒ࣛࡢព⌮ゎࢆᅗ. ࡶྠࡌࣉࣟࢢ࣒࡛ࣛ࠶ࡿࡇẼ࡙ࡁࡃࡃ, ⧞ࡾ㏉ࡋᏛ. ࡿࡓࡵ⤖ᯝฟຊࡢண ࢆ⾜࠸, ṇࡋ࠸ពࢆ⌮ゎࡍࡿࡇ. ⩦㐺ࡋࡓࣉࣟࢢ࣒ࣛ࡞ࡿ. ࡞࠾, ࢸࣥࣉ࣮ࣞࢺࡣᩥἲ. ࢆ┠ⓗࡍࡿ. ᅗ 3 ᮏ⿵ຓᩍᮦࡢᐇ⾜⏬㠃ࢆ♧ࡍ.. ⌮ゎࡢ㐍ᗘྜࢃࡏ࡚సᡂࡋ, ࡑࢀࡒࢀࡢ㢟ࡢࣂ࢚࣮ࣜ. ᮏ⿵ຓᩍᮦ࡛ࡣ, ࡲࡎ, ୰ኸࡢᯟෆࣉࣟࢢ࣒ࣛࡀ⾲♧ࡉ. ࢩࣙࣥࡢࡓࡵ, 10 ࡽ 20 ಶ⛬ᗘࡢ」ᩘࡢࢸࣥࣉ࣮ࣞࢺ. ࢀࡿ (ᅗ 3 (a)). Ꮫ⩦⪅ࡣࡇࡢࣉࣟࢢ࣒ࣛࢆㄞࡳ, ࡑࡢពࢆ. ࢆ⏝ពࡍࡿ.. ⌮ゎࡋࡓୖ࡛ printf 㛵ᩘࡢฟຊࢆ᥎ᐃࡍࡿ. ᥎ᐃࡋࡓ್ࢆ. ࡲࡓ, ࣂࢢࡢ⏕ᡂ᪉ἲࡣ 3 ✀㢮ᑐᛂࡋ࡚࠸ࡿ. ࡲࡎ, ๓. ᅇ⟅ḍグධᚋ, “check” ࣎ࢱࣥࢆࢡࣜࢵࢡࡍࡿ, ᐇ⾜⤖. ㏙ࡢ㏻ࡾ, ኚᩘྡཬࡧ㓄ิྡࡣᐇ⾜ᙜ࡚ࡣࡵࡀ⾜ࢃࢀ. ᯝࡢẚ㍑ࡀ⾲♧ࡉࢀࡿ (ᅗ 3 (b)). ⾲♧ࡉࢀࡿࣉࣟࢢ࣒ࣛ. ࡿࡀ, ࡇࡢᙜ࡚ࡣࡵࢆࣛࣥࢲ࣒ኚ᭦ࡍࡿࡇ࡛, ᮍᐉゝኚ. ࡣ, 㛵ᩘࡢᖐࡧฟࡋࢆྵࡴࡶࡢࡶ࠶ࡿࡢ࡛ᬯ⟬࡛ࡢ. ᩘ࡞ࡢ࢚࣮ࣛࢆ⏕ᡂࡍࡿ. ᅗ 2 (a) ࡣ 2 ✀㢮ࡢࣃࢱ࣮. ᅇ⟅ࡀ㞴ࡋ࠸ࡶࡢࡀ࠶ࡿࡀ, ࣉࣟࢢ࣒ࣛࡢពࢆ⌮ゎࡍࡿ. ࣥࡀグ㍕ࡉࢀ࡚࠸ࡿ. “sp” ࡛㛤ጞࡍࡿ㓄ิࡣᩥᏐࡢ᭩ࡁ. ⬟ຊࡢᾰ㣴ࢆᅗࡿࡇࡀ࡛ࡁࡿࡶࡢ࡞ࡗ࡚࠸ࡿ.. ⓒ 2015 Information Processing Society of Japan. 3.
(4) Vol.2015-CE-132 No.13 Vol.2015-CLE-17 No.13 2015/12/5. ऴإϼྸ˟ܖᄂᆮإԓ IPSJ SIG Technical Report. (a) Initial view. (b) Result guess 3. ฟຊ᥎ᐃၥ㢟. Fig. 3 Semantic practice. ࡞࠾, ၥ㢟ࡢࣃ࣓࣮ࣛࢱタᐃࡼࢀࡤ, ࢮࣟ⟬ࡸ࣓ࣔࣜ. ࣉࢺࡣࣉࣟࢢ࣒ࣛࢆࣘࢽ࣮ࢡ࡞ࣇࣝྡ࡛ಖᏑࡋ, ࢧ࣮. ࢡࢭࢫ࢚࣮ࣛ࡞ࢆⓎ⏕ࡉࡏࡿྍ⬟ᛶࡀ࠶ࡿࡢ࡛, ᐇ⾜. ࣂෆࡢࢥࣥࣃ࡛ࣛࢥࣥࣃࣝࡋ࡚ᐇ⾜ࡋࡓࡢࡕ, ᐇ⾜⤖. ࡢ࢚࣮ࣛࡀ⏕ࡌ࡞࠸ࡼ࠺␃ពࡍࡿᚲせࡀ࠶ࡿ.. ᯝᏛ⩦⪅ࡢ᥎ᐃ್ࡢẚ㍑ࢆᏛ⩦⪅ࡢࣈࣛ࢘ࢨ㏉ಙࡍࡿ.. 2.2.2 Ꮛјௐ. ࡞࠾, ⏝ࡍࡿࢥࣥࣃࣛࡣ C ࢥࣥࣃ࡛ࣛ࠶ࡿࡀ, ࢥࣥࣃ. ⧞ࡾ㏉ࡋࡸ᮲௳ศᒱ, 㛵ᩘࡧฟࡋࡼࡿࣉࣟࢢ࣒ࣛࡢ. ࣛࢆኚ᭦ࡋ, ࢸࣥࣉ࣮ࣞࢺࣉࣟࢢ࣒ࣛ࡞ࢆኚ᭦ࡍࡿ,. ືసࢆᢕᥱࡋ, ពࢆ⌮ゎࡍࡿࡇࡣṇࡋ࠸ࣉࣟࢢ࣒ࣛస. ࣉࣟࢢ࣒ࣛࢹࣂࢵࢢၥ㢟ྠᵝ, C ゝㄒ௨እࡢᛂ⏝ࡶ. ᡂḞࡏ࡞࠸せ⣲࡛࠶ࡿ. ࡇࡢ㢟ṇࡋ࠸ᅇ⟅ࢆ࠼. ᐜ࡛᫆, ᮏ⿵ຓᩍᮦࡶᖜᗈ࠸ࣉࣟࢢ࣑ࣛࣥࢢᩍ⫱⏝ྍ. ࡿࡓࡵࡣ, Ꮫ⩦⪅ࡣࣉࣟࢢ࣒ࣛࡢືసࢆ⪃࠼ࡿᚲせࡀ࠶. ⬟࡛࠶ࡿ.. ࡾ, ព⌮ゎࢆྥୖࡍࡿࡇࡀ࡛ࡁࡿ. ࡲࡓ, ኚᩘྡࡸᐃᩘ. ࡞࠾, ๓㏙ࡢ㏻ࡾ, ᩥᏐิࡢ⨨ࡁ࠼ࡼࡾࢮࣟ⟬ࡸ࣓. ࡞ࢆ㝶ኚ᭦ࡋ, ᬯ⟬࡛ࡶィ⟬ྍ⬟࡞ࢥࣥࣃࢡࢺ࡞ࡿ. ࣔࣜࢡࢭࢫ࢚࣮ࣛ࡞ࡢᐇ⾜࢚࣮ࣛࡀⓎ⏕ࡍࡿྍ⬟ᛶ. ࡼ࠺࡞㢟ࢆ⏝ពࡍࡿࡇࡼࡾ, ⧞ࡾ㏉ࡋ㢟ࢆ⾜࠼, ᩍ. ࡀ࠶ࡿࡢ࡛, ࢫࢡࣜࣉࢺࢆసᡂࡍࡿ㝿ࡑࡢࡼ࠺࡞ၥ㢟ࢆ. ⫱ຠᯝࡶྥୖࡍࡿ⪃࠼ࡽࢀࡿ.. ⏕ࡌࡉࡏ࡞࠸ࡼ࠺࡞ࣃ࣓࣮ࣛࢱ㑅ᢥࡍࡿࡇ␃ពࡍࡿ. 2.2.3 ܱᘺ૾ඥ. ᚲせࡀ࠶ࡿ.. ᇶᮏⓗࡣ PHP ゝㄒࢆ⏝࠸ࡓ web ࣉࣜࢣ࣮ࢩ࡛ࣙࣥ, ࣉࣟࢢ࣒ࣛࢹࣂࢵࢢၥ㢟ྠᵝࡢసᡂ᪉ἲ࡛࠶ࡾ, ࡚ࡢ ၥ㢟ࢆணࡵ⏝ពࡋ࡚࠾ࡃࡢ࡛ࡣ࡞ࡃ, ࣂ࢚࣮ࣜࢩࣙࣥࡢ࠶. 3. ᬴ܱƱᎋݑ 3.1 ᬴ܱ૾ඥ. ࡿၥ㢟ࢆ⏕ᡂࡍࡿࡓࡵ, ඖ࡞ࡿࢸࣥࣉ࣮ࣞࢺࣉࣟࢢࣛ ࣒⨨ࡁ࠼ࡿࣃࢱ࣮ࣥࢆ⏝ពࡋ, Ꮫ⩦⪅ࡽせồᚑ࠸, ᐇ⾜ၥ㢟࡞ࡿࣉࣟࢢ࣒ࣛࢆ⏕ᡂࡍࡿ. ࣉࣟࢢ࣒ࣛࢹࣂࢵࢢၥ㢟ྠᵝ, ኚᩘྡࡸ㓄ิྡࡣ. name list ࡢ୰ࡽࣛࣥࢲ࣒㑅ࡤࢀࡿ. ࠼ࡤ, val1 ࡣ 1, 2, 3, 4, 5 , val2 ࡣ 4, 5, 6 ᐇ⾜⨨ࡁ࠼ࡽࢀ, 」ᩘࡢࣃ ࢱ࣮ࣥࡢၥ㢟ࡀ⏕ᡂ࡛ࡁࡿ. ࡲࡓ. ₇⟬Ꮚࡸ if ᩥࡢ᮲௳࡞ ࡶ⨨ࡁ࠼ࡿࡼ࠺ࡍࡿ. ࡇࢀࡼࡾ, Ꮫ⩦⪅ࡣྠࡌࢸࣥ ࣉ࣮ࣞࢺ࡛࠶ࡗ࡚ࡶྠࡌࣉࣟࢢ࣒࡛ࣛ࠶ࡿࡇẼ࡙ࡁ ࡃࡃ, ⧞ࡾ㏉ࡋᏛ⩦㐺ࡋࡓࣉࣟࢢ࣒ࣛ࡞ࡿ. ᥦ♧ࡉࢀࡓࣉࣟࢢ࣒ࣛࡢฟຊࢆᏛ⩦⪅ࡀ᥎ᐃᚋ, ࢫࢡࣜ. ⓒ 2015 Information Processing Society of Japan. 4. ᐇ㦂⎔ቃ. Fig. 4 Evaluation environment. 4.
(5) Vol.2015-CE-132 No.13 Vol.2015-CLE-17 No.13 2015/12/5. ऴإϼྸ˟ܖᄂᆮإԓ IPSJ SIG Technical Report ᘙ1. ホ౯ᐇ㦂࡛ࡣ, ၥ㢟ࡢᑐ㇟ࢆỴࡵ, 1) ๓Ꮫ⩦ (⣙ 12 ศ),. ホ౯⤖ᯝ. Table 1 Evaluation results. 2) ๓ࢸࢫࢺ (10 ศ), 3) 㢟ࡼࡿᏛ⩦ (8 ศ (ᩥἲ⌮ゎ)+7 ศ (ࣉࣟࢢ࣒ࣛព⌮ゎ)), 4) ᚋࢸࢫࢺ (10 ศ) ࡋ, ๓. Syntax post. pre. post. 1. 44.4%. 55.6%. 0.0%. 0.0%. 2. 33.3%. 44.4%. 0.0%. 0.0%. 3. 33.3%. 44.4%. 0.0%. 25.0%. 4. 44.4%. 55.6%. 25.0%. 25.0% 50.0%. ࢸࢫࢺᚋࢸࢫࢺࡢ⤖ᯝࢆẚ㍑ࡋ࡚, 㢟ࡼࡿᏛ⩦ࡢ ຠᯝࢆホ౯ࡍࡿࡶࡢ࡛࠶ࡿ. ホ౯ᐇ㦂࡛ᑐ㇟ࡍࡿၥ㢟ࡣᩘ್✚ศࡢ C ゝㄒࣉࣟࢢࣛ 1 ࣒࡛, ๓ࢸࢫࢺࡣ f (x) = n ࡢᩘ್✚ศࡢ C ࣉࣟࢢ࣒ࣛ x ᚋ㏙ࡢ࠸ࡃࡘࡢࣂࢢࢆྵࢇࡔࡶࡢࡋ, ᚋࢸࢫࢺࡣ๓ ࢸࢫࢺࡼࡾࡶ」㞧ࡉࡀⱝᖸቑࡍࡼ࠺, f (x) = xn (n = 1...10) 1 n+1 ࡢᩘ್✚ศ F(x) = (n = 1...10) ࡢᐃ✚ศࢆ x n+1 ⏝࠸ࡓ✚ศィ⟬ࢆ⾜࠺ C ࣉࣟࢢ࣒ࣛࡋ࡚࠸ࡿ. ᚋࢸࢫ. Semantics. pre. 5. 0.0%. 22.2%. 50.0%. 6. 44.4%. 55.6%. 0.0%. 0.0%. 7. 88.9%. 88.9%. 25.0%. 25.0%. total. 41.3%. 50.8%. 14.3%. 20.8%. ࢺࢆⱝᖸ」㞧ࡋࡓࡢࡣ, ๓ࢸࢫࢺ࡛ᩘ್✚ศࡢࣉࣟࢢ ࣒ࣛࡢ⌮ゎࡀ㐍ࢇ࡛࠸ࡿ⪃࠼ࡽࢀ, ྠ⛬ᗘࡢ㞴ࡋࡉ࡛࠶. (syntax) ࡢࣂࢢࡢ࢝ࢸࢦ࣮ࣜ 9 ಶࡢ୰ࡽṇࡋࡃಟṇ᪉ἲ. ࢀࡤᚋࢸࢫࢺࡢ᪉ࡀ⡆༢ぢ࠼ࡿྍ⬟ᛶࡀ࠶ࡿࡽ࡛࠶. ࢆ♧ࡉࢀࡓྜ, ࣉࣟࢢ࣒ࣛព⌮ゎ (semantics) ࡢࣂࢢࡢ. ࡿ. ๓ࢸࢫࢺ࡛⏝࠸ࡿࣉࣟࢢ࣒ࣛࡣ 40 ⾜࡛, ᚋࢸࢫࢺ. ࢝ࢸࢦ࣮ࣜ 4 ಶࡢ୰ࡽṇࡋࡃಟṇ᪉ἲࢆ♧ࡉࢀࡓྜࢆ. ࡣ 50 ⾜࡛࠶ࡿ.. ♧ࡍ.. ࡑࢀࡒࢀࡢࢸࢫࢺࡣᩥἲ⌮ゎ (syntax) ࣉࣟࢢ࣒ࣛព. ࡲࡎ, ᩥἲ⌮ゎ (syntax) ཬࡧࣉࣟࢢ࣒ࣛព⌮ゎ (seman-. ⌮ゎ (semantics) 㛵ࡋ࡚࠸ࡃࡘࡢࣂࢢࢆຍࡋ࡚࠾ࡾ,. tics) ࡢ࠸ࡎࢀࡶ, యⓗࡣ๓ࢸࢫࢺ (pre) ࡼࡾࡶᚋ. ࡑࡢᣦಟṇ᪉ἲࢆၥ࠺ࡶࡢ࡞ࡗ࡚࠸ࡿ. syntax ࡢࣂ. ࢸࢫࢺ (post) ࡢ᪉ࡀᡂ⦼ࡀࢵࣉࡋ࡚࠾ࡾ, 㢟ࢆ⏝࠸ࡓ. ࢢࡘ࠸࡚ࡣ, 1) stdio.h ࡢ⥛ࡾ㛫㐪࠸, 2) define ᩥࡢࢭ࣑ࢥ. Ꮫ⩦ࡢຠᯝࡣ☜ㄆ࡛ࡁࡿ. ṇゎ⋡ࡣ semantics ࡼࡾࡶ syn-. ࣟࣥ, 3) 㛵ᩘࡢ௬ᘬᩘ୪ࡧࢭ࣑ࢥࣟࣥຍ, 4) 」ᩘࡢኚᩘ. tax ࡢ᪉ࡀ㧗࠸. syntax ࡢ㛫㐪࠸ࡣᩥᏐࣃࢱ࣮ࣥࢆぢࡿࡔ. ᐉゝࡢ࣐࢝ࣥᛀࢀ, 5) integer ࣮࣮࢟࣡ࢻ, 6) for ᩥࡢ᮲௳ࡢ. ࡅ࡛Ẽ࡙ࡃࡶࡢࡀከ࠸. ࠼ࡤ, “int main (void;)” ࡸ. ୰ࡢ᭱ᚋࢭ࣑ࢥࣟࣥຍ, 7) ᩥᮎࢥࣟࣥຍ, 8) ᩥᮎࡢ. “for(i=0;i<DIV NUM+1;i++;)” ࡣ, ⥅⥆ⓗ C ゝㄒࣉࣟ. ࢭ࣑ࢥࣟࣥᛀࢀ, 9) ᮍᐃ⩏₇⟬Ꮚࡢ⏝ࡢ㛫㐪࠸ࢆຍࡋ. ࢢ࣑ࣛࣥࢢࢆࡋ࡚࠸ࡿேࡣࡍࡄẼ࡙ࡃࡶࡢ࡛࠶ࡿ. ࡲ. ࡚࠸ࡿ. ࡲࡓ, semantics ࡘ࠸࡚ࡣ, 1) 㛵ᩘࡢ௬ᘬᩘ㛵ᩘ. ࡓ, “integer i;” ࡢࡼ࠺࡞ࡶࡢࡣ, ࡢゝㄒ (࠼ࡤ FOR-. ෆࡢኚᩘྡࡢ࣑ࢫ࣐ࢵࢳ, 2) printf ᩥࡢ᭩ᘧࡢ࣑ࢫ࣐ࢵࢳ,. TRAN) ࡞ࡶ▱㆑ࡀ࠶ࡿሙྜࡣ, ࠼ࡗ࡚ぢⴠࡍሙྜ. 3) for ᩥࡢ᮲௳ࡢ࣑ࢫ࣐ࢵࢳ 1(< <= ), 4) for ᩥࡢ᮲௳. ࡀ࠶ࡿ. ࡰ࡚ࡢ⿕㦂⪅࠾࠸࡚, ๓ࢸࢫࢺࡼࡾࡶ. ࡢ࣑ࢫ࣐ࢵࢳ 2(+1 ࡍࡿྰ) ࡢ㛫㐪࠸ࢆຍࡋ࡚࠸ࡿ.. ᚋࢸࢫࢺࡢ᪉ࡀᡂ⦼ࡀ࠶ࡀࡗ࡚࠾ࡾ, ࣉࣟࢢ࣒ࣛࢹࣂࢵࢢ. ๓Ꮫ⩦ࡢࢥࣥࢸࣥࢶࡣ powerpoint ࢆ⏝࠸࡚సᡂࡍࡿ. ෆᐜࡣᩘ್✚ศࡢㄝ᫂ C ゝㄒࣉࣟࢢ࣑ࣛࣥࢢࡢᴫせ, ≉. ၥ㢟ࢆ⏝࠸ࡓᩥἲ⌮ゎࡢᏛ⩦ࡣ▷㛫 (8 ศ) ࡛࠶ࡗ࡚ࡶ㧗 ࡲࡗ࡚࠸ࡿ⪃࠼ࡽࢀࡿ.. ๓ࢸࢫࢺཬࡧᚋࢸࢫࢺ࡛ၥࢃࢀࡿෆᐜ㛵ࡍࡿ㒊ศ. ୍᪉, semantics ࡢሙྜࡣ, ῝ࡃࣉࣟࢢ࣒ࣛࢆ⌮ゎࡋ࡞࠸. ࢆᙉㄪࡋࡓࡶࡢࡍࡿ. powerpoint ࡢࣀ࣮ࢺ㒊ศႅࡿᩥ. ࣂࢢࡣぢࡘࡅࡃ࠸. ࠼ࡤ, ᩘ್✚ศࢆࡍࡿ⠊ᅖࢆ. ゝࢆグ㏙ࡋ, STORM Maker ࢆ⏝࠸࡚⮬ືⓗ㡢ኌྜᡂࡋࡓ. DIV NUM ಶศࡋ, ࡑࡢྜィࢆィ⟬ࡍࡿ㒊ศࡢ⧞ࡾ㏉ࡋ. web ࢥࣥࢸࣥࢶࢆ⏕ᡂࡍࡿ. ࡲࡓ, ๓Ꮫ⩦, ๓ࢸࢫࢺ, . “for(i=0;i<DIV NUM+1;i++;)” グ㍕ࡋ࡚࠸ࡿࡀ, ᐇ. 㢟Ꮫ⩦ཬࡧᚋࢸࢫࢺࡽ࡞ࡿᐇ㦂ࢩࢼࣜ࢜ࢆ Javascript. 㝿ࡣ “for(i=0;i<DIV NUM;i++)” ಟṇࡍࡁ࡛࠶ࡿ. ࡋ. ࡛グ㏙ࡋ, Chrome ෆⶶࡢ㡢ኌྜᡂᶵ⬟ࡼࡾ࢞ࢲࣥࢫ. ࡋ, ࢸࢫࢺ㛫ࡀ 10 ศ࡛࠶ࡿࡢ࡛ࡑࡇࡲ࡛ࡢ⌮ゎ⮳ࡿ. ࡀ㡢ኌྜᡂࡉࢀࡿࡼ࠺ࡋࡓ web ࢥࣥࢸࣥࢶࢆ⏝ࡍࡿ.. ๓㛫ษࢀ࡞ࡗࡓྍ⬟ᛶࡀ࠶ࡿ. ᚋࢸࢫࢺ࡛ᡂ⦼ࡀ. ᅗ 4 ๓Ꮫ⩦ࢆ⾲♧ࡋ࡚࠸ࡿ web ࣮࣌ࢪࡢࢆ♧ࡍ.. ୖࡀࡗࡓ⿕㦂⪅ࡣ୍ே࡛࠶ࡾ, ᪂ࡓぢࡘࡅࡽࢀࡓࣂࢢࡣ. ⿕㦂⪅ࡣ, C ゝㄒࡣ୍㏻ࡾᏛࢇࡔ⏨ᏊᏛ⏕ (21 ᡯࡶࡋࡃ. printf ᩥࡢ᭩ᘧࡢࣂࢢ࡛࠶ࡗࡓ. యࢆ㏻ࡋ࡚, for ᩥࡢ᮲௳. ࡣ 22 ᡯ)7 ྡࡍࡿ. ⿕㦂⪅ࡣ᪤ C ゝㄒࡣᒚಟࡋ࡚࠸ࡿ. ࡢ࣑ࢫ࣐ࢵࢳࡢࣂࢢࢆぢࡘࡅࡓ⿕㦂⪅ࡣ࠸࡞ࡗࡓ. ῝࠸. ࡀ, ᒚಟᚋࡢ C ゝㄒࡢ⏝㢖ᗘࡣ㧗ࡃ࡞࠸ࡢ࡛, ᅇࡢᐇ㦂. ࣉࣟࢢ࣒ࣛ⌮ゎࢆ㐍ࡵࡿࡓࡵࡢ㢟ࣉࣟࢢ࣒ࣛࡢ⏕ᡂ᪉ἲ. ࡢ㛤ጞⅬ࡛ࡣᚲࡎࡋࡶᩥἲ⌮ゎࡀᐃ╔ࡋ࡚࠸࡞࠸࠸࠺. ࡣᚋࡉࡽ࡞ࡿᕤኵࢆᚲせࡋ, syntax semantics ࡢᏛ. ≧ἣ࡛࠶ࡿ.. ⩦ࡢ㛫ࡢ㓄ศࡶᚋࡢ᳨ウ㡯⪃࠼ࡽࢀࡿ.. 3.2 ኽௐƱᎋݑ. 4. ƓǘǓƴ. ⾲ 1 ホ౯ᐇ㦂ࡼࡿ๓ࢸࢫࢺ (pre) ᚋࢸࢫࢺ. ᮏㄽᩥ࡛ࡣ, ࣉࣟࢢ࣑ࣛࣥࢢᩍ⫱࠾ࡅࡿ㢟ࣉࣟࢢࣛ. (post) ࡛ࡢṇ⟅⋡ࡢ⤖ᯝࢆ♧ࡍ. ࡞࠾, ṇ⟅⋡ࡣ, ᩥἲ⌮ゎ. ࣑ࣥࢢࢆ, 1) ᩥἲ⌮ゎࡢࡓࡵࡢࣉࣟࢢ࣒ࣛࢹࣂࢵࢢၥ㢟, 2) ࣉࣟࢢ࣒ࣛព⌮ゎࡢࡓࡵࡢฟຊ᥎ᐃၥ㢟, ࡢ 2 せ⣲㞟. ⓒ 2015 Information Processing Society of Japan. 5.
(6) ऴإϼྸ˟ܖᄂᆮإԓ IPSJ SIG Technical Report. Vol.2015-CE-132 No.13 Vol.2015-CLE-17 No.13 2015/12/5. ⣙ࡋ, ࡑࢀࢆ PHP ゝㄒࢆ⏝࠸ࡓ web ࣉࣜࢣ࣮ࢩࣙࣥࡋ ࡚㛤Ⓨࡋ, ࡑࡢணഛホ౯ࡼࡾ୍ᐃࡢຠᯝࢆ☜ㄆࡋࡓ. ᚋࡣ, ࣉࣟࢢ࣑ࣛࣥࢢព⌮ゎࡢ㢟ࡢ࠶ࡾ᪉ࡘ࠸ ࡚⪃ࡍࡿࡶ, ᩥἲ⌮ゎࣉࣟࢢ࣑ࣛࣥࢢព⌮ゎ ࡢ㛫㓄ศࡢ᳨ウࢆ⾜࠺. ࡲࡓ, MOOC ࡢ⤌ࡳྜࢃࡏ ࡼࡿᐇ⏝ⓗ࡞ࢩࢫࢸ࣒ࡋ࡚ᵓ⠏ࡋ, ᐇ㝿ࡢࣉࣟࢢ࣑ࣛࣥ ࢢᩍ⫱࠾ࡅࡿᐇドⓗ࡞ᐇ㦂ࢆࡋ࡚࠸ࡁ, ࡉࡽ, C ゝㄒ௨ እࡢゝㄒࡶ㐺⏝⠊ᅖࢆᗈࡆ, ࣉࣟࢢ࣑ࣛࣥࢢᩍ⫱㈉⊩ ࡋ࡚࠸ࡃ.. ᜓᠴ ᮏ◊✲ࡢ୍㒊ࡣ JSPS ⛉Ꮫ◊✲㈝ (ᇶ┙◊✲ (C) 15K00501,. 2015-2017) ཬࡧ⚾❧Ꮫ➼⤒ᖖ㈝⿵ຓ㔠≉ู⿵ຓࠕᏛ㛫 㐃ᦠ➼ࡼࡿඹྠ◊✲ࠖࡼࡿ㸬 Ӌᎋ૨ྂ [1]. [2]. [3]. [4]. [5]. J. Wesley Baker, “The “Classroom Flip”: using web course management tools to become the guide by the side,” in Proc. 11th International Conference on College Teaching and Learning, pp. 9-17, 2000. M. Maher, H. Lipford and V. Singh, “Flipped classroom strategies using online videos,” http://maryloumaher.net/Pubs/2013pdf/Flipped-StrategiesCEI-Report.pdf, 2013. D. Radoˇsevi´c, T. Orehovaˇcki and Z. Stapi´c, “Automatic online generation of student’s exercises in teaching programming,” in Proc. Central European Conference on Information and Intelligent Systems, CD-ROM, 7 pages, 2010. S. Gupta and S. Dubey, “Automatic assessment of programming assignment,” Computer Science & Engineering: An International Journal, vol. 2, no. 1, pp. 315-322, 2012. R. Queir´os, J. Leal, S. Gupta and S. Dubey, “Programming exercises evaluation systems: an interoperability survey,” in Proc. 4th International Conference on Computer Supported Education, pp. 83-94, 2012.. ⓒ 2015 Information Processing Society of Japan. 6.
(7)
関連したドキュメント
Keywords: homology representation, permutation module, Andre permutations, simsun permutation, tangent and Genocchi
"A matroid generalization of the stable matching polytope." International Conference on Integer Programming and Combinatorial Optimization (IPCO 2001). "An extension of
These abstract machines are inspired by Girard’s Geometry of Interaction, and model program execution as dynamic rewriting of graph representation of a pro- gram, guided and
[4] , Recent applications of fractional calculus to science and engineering, International Journal of Mathematics and Mathematical Sciences 2003 (2003), no.. Bhatta, Solutions to
VDE-REG 8789 EVC 07BZ5-F 3x2,5+1x0,5 450/750 V EN 50620 EVC1234 (manufacturing order no.). LEONI
More precisely, suppose that we want to solve a certain optimization problem, for example, minimization of a convex function under constraints (for an approach which considers
この項目の内容と「4環境の把 握」、「6コミュニケーション」等 の区分に示されている項目の
[2])) and will not be repeated here. As had been mentioned there, the only feasible way in which the problem of a system of charged particles and, in particular, of ionic solutions