初学者向けプログラミング演習における探索的プログラミングの実態調査

初学者向けプログラミング演習における探索的プロ
グラミングの実態調査と支援手法の提案
Support and Analysis for Exploratory Programming by Novice in
Programming Exercise
槇原絵里奈∗ 井垣宏† 藤原賢二‡ 上村恭平§ 吉田則裕¶
飯田元∥
あらまし開発者が不慣れな言語や API を利用する際等に，ソースコー
ドの編集，コンパイル，実行を繰り返しながらプログラミングを進める
ことが知られている．このようなプログラミング手法を探索的プログラ
ミングと呼び，インタラクティブデバッガ等の支援環境が提案されてい
る．一方で，初学者がプログラミング演習において，探索的プログラミ
ングをどのように行うかは必ずしも分析されていない．そこで本研究で
は，実際のプログラミング演習において初学者が行っている探索的プロ
グラミングの実態を調査した．さらに，調査結果にもとづいて，初学者
向け探索的プログラミング支援環境「Pockets」を提案した．
はじめに
1
社会におけるソフトウェアの必要性が高まるにつれ，優秀なソフトウェア開発者
の育成が望まれている．多くの情報系の大学において，与えられた課題にもとづい
て学生が実際にプログラミングを行う形式の実践的な授業が実施されている [1]．こ
のような形式の授業のことをプログラミング演習と呼ぶ [2]．
プログラミング演習では，通常まず教員が対象となるプログラミング言語の文法
やアルゴリズムの基礎知識を例を交えて学生に講義を行う．その後，教員によって
与えられる課題を解くために学生がプログラミングを行う．学生は，教員の解説に
含まれる例題を少し変更した簡単な課題や，複雑なアルゴリズムを必要とする発展
的な課題まで複数の課題を指定された時間内に解くことが求められる．これらの課
題は，最初の数問は教員による解説や解答例が示されることもあるが，基本的には
独力で解くことが望まれる．
初学者はプログラミング演習において，条件式の判定基準の変更や文法の確認と
いった多様な試行錯誤を行うことが多い．このような試行錯誤を伴うプログラミン
グのことを一般に探索的プログラミング [3] と呼ぶ．探索的プログラミングは，対象
の言語や利用する API に不慣れな開発者が行うことがよく知られている [4]．一方
で，実際に受講生がどのような試行錯誤を行い，探索的にプログラミングを進めて
いるかは明らかになっていない．そこで我々は実際のプログラミング演習における
受講生のプログラミング行動を観測し，探索的にプログラミングを行っていると考
えられる事例を 20 件収集し，分析を行った．さらに，分析結果にもとづき，初学者
による探索的プログラミングの実態に即した支援環境 Pockets の提案を行う．
∗
Erina Makihara, 奈良先端科学技術大学院大学
Hiroshi Igaki, 大阪大学
‡
Kenji Fujiwara, 奈良先端科学技術大学院大学
§
Kyohei Uemura, 奈良先端科学技術大学院大学
¶
Norihiro Yoshida, 名古屋大学
∥
Hajimu Iida, 奈良先端科学技術大学院大学
†
FOSE2014
探索的プログラミング
2
実装するプログラムの要求や要求の実現方法が曖昧であるときに，開発者がプロ
グラムの一部分を変更し，その実行結果を確認するというステップを繰り返すこと
で，プログラムを完成に近づけていくことができる．このようなプログラミング手
法のことを探索的プログラミング [3] と呼ぶ．開発者が不慣れな API の利用方法を
学習する際等に，探索的プログラミングを行うことが知られている [4]．
探索的プログラミングは Sheil ら [5] によって確認されたプログラミング手法であ
り，様々な分析・支援が行われている．Yoon ら [4] や Mackenzie ら [6] は，探索的プ
ログラミングの中で行われる手戻りに注目し，開発者がどのように手戻りを行って
いるかを分析している．
一方で，初学者を対象とした探索的プログラミングの分析はあまり行われていな
いのが現状である．そこで本研究では，実際の初学者を対象としたプログラミング
演習における探索的な振る舞いを収集・分析し，分析結果にもとづく初学者のため
の探索的プログラミング支援環境の提案を行う．
プログラミング演習における探索的プログラミングの分析
3
3.1
分析環境
探索的プログラミングの分析のために，41 名の学部 1 年生を対象とした Java の初
学者向けプログラミング演習 (2 コマ 180 分) において，学生のプログラミング行動
を観測した．プログラミング行動の観測には，C3PV [2] を利用した．C3PV はブラ
ウザ上でプログラミングにおいて必要なソースコードの編集，保存（Save），コンパ
イル（Compile），実行（Run）といった操作を行うことができるオンラインエディ
タで，学生は C3PV のみで課題の実装・提出を行うことができる．さらに，C3PV
には学生のプログラミング行動を観測する機能がついており，Save，Compile，Run
といった操作を学生が行った時刻とそのときのソースコードそのものがログとして
保存される．また，ソースコード編集中にも 1 分ごとにソースコードそのものが保
存されるようになっている．なお，Run 実行時には Compile も自動的に行われて
いる．
3.2 初学者における探索的プログラミング実態
今回の分析では学生が同一課題の同一行を 4 回以上連続して変更している場合に
探索的にプログラミングを行っているものとして抽出した．分析の結果，41 名のロ
グから 16 名が行っていた探索的プログラミング 20 件を特定した．そのうちの 1 件
について図 1 に示す．
.
.
4
5
6
7
8
9
.
.
.
String str = “148737438777432”;
str1 = str.substring(0,3); R1
str2 = str.substring(5,8);
x = “str1+str2”;
if(x % 3 == 0)
System.out.println(“OK”);
Int str1 = str.substring(0,3);
Int str2 = str.substring(5,8);
x = “str1+str2”;
R2
String str1 = str.substring(0,3); R3
String str2 = str.substring(5,8);
int x = “str1+str2”;
.
.
.
R4
String str1 = str.substring(0,3);
String str2 = str.substring(5,8);
int x = Integer.parseInt(str1+str2);
図1
初学者における探索的プログラミングプロセス
Support and Analysis for Exploratory Programming
by Novice in Programming Exercise
この例では，学生は subString と parseInt という API を利用して，文字列を数値
に変換した後に指定された計算を行う課題を解いている．R1 が今回特定した学生
の探索的な振る舞いの最初の状態である．この学生は R1，R2，R1，R3，R1，R4
という順でソースコードの編集を行った1 ．この例では，subString の返り値の型が
String 型であることや String 型の返り値をどうやって int 型の値に変化すれば良い
かを学生が理解しておらず，試行錯誤をしている状況が確認できた．この学生の場
合，最終的に R4 にたどり着くまでに 12 分間かけて 16 回 Run コマンドを実行し，
また，そのうち 5 回は過去のソースコードへの手戻り [4] を含んでいた．手戻りを
行っている事例はこの例を含めて 6 件観測された．
今回の分析では，探索的プログラミングを行っていると判断した複数の連続した
ソースコードのうち，最初のソースコードが保存された時刻から最後のソースコー
ドが保存されるまでにかかった時間を探索時間と定義する．今回の分析により得ら
れた探索時間のうち，最小は 3 分，最大は 38 分，平均は 12.1 分だった．今回の分
析では同一行に対する 4 回以上の連続した変更のみを対象としているため，実際に
はより多くの探索的プログラミングが実施されていた可能性が高い．実際に，6052
件のログのうち，既存研究 [5] で述べられている探索的プログラミングの基準の一つ
である編集，コンパイル（あるいは実行）を複数回繰り返している事例を調べたと
ころ，5 分以内に Compile あるいは run をやり直しているログが 1128 件存在した．
すなわち，探索的プログラミングは初学者によって非常に数多く行われている可能
性が高い．探索的プログラミングはプログラマの開発技術を向上させる手法の 1 つ
であると既存研究 [3] でも述べられており，その支援は重要であると考えられる．
学生がコンパイルや実行を短い時間の間に繰り返して行って結果を確認している
ことや，何回も手戻りを行っていることから，支援ツールには以下の要件が必要で
あると考える．
要件 1 過去のソースコードのコンパイルや実行結果が一覧で分かること．
要件 2 過去のソースコードと現在のソースコードの差分，つまり自分がソースコー
ドに加えた編集と，それによる過去と現在の結果の差分が分かること．
要件 3 過去の特定のソースコードへ簡単に戻ることができること．
これらの機能は Git や Subversion と言った版管理システムを用いることで解決で
きるが，このようなシステムは経験のある開発者向けであるため初学者は操作を行
うことが難しい．そこで，我々は以上のような実態にもとづいて初学者による探索
的プログラミングを支援するプログラミング環境 Pockets を提案する．
探索的プログラミング支援環境 Pockets
4
初学者が探索的にプログラミングを行う際，ソースコードが完成していない状態
でも Compile や Run を何回も実行し，必要に応じて手戻りをしつつその結果を確
認しながら，探索を進めていくということが分析によって分かった．そこで我々は
Pockets の機能として，ユーザによって Save，Compile，Run が実行されるたびに，
出力結果に関係なくソースコードの状態と出力結果両方に対する版管理を自動的に
行う仕組みを導入する．以降では Pockets の UI イメージを利用し，Pockets におい
て実現される版管理の仕組みを詳述する．
4.1 Pockets の UI イメージ
図 2 に Pockets の UI イメージを表示する．Pockets の UI は大きく左右に分かれ
ており，左が実際にプログラミングを行うエディタ領域，右が版管理されたソース
コード及び出力結果が管理される版管理領域となっている．エディタ領域の上部に
は Save，Compile，Run，Submit といったソースコードに関する各機能を実施する
ボタンが配置されており，下部には Compile，Run といったコマンドの実行結果を
1
実際には各状態の間に複数回の異なる変更が含まれている
FOSE2014
表示するコンソールが備わっている．
版管理領域は画面上部のリビジョン一覧表示領域とユーザが選択したリビジョン
のソースコード及び出力結果の差分を表示する差分表示領域から構成されている．
ここでリビジョンとは，Save，Compile，Run がユーザによって実行された際に保
存されたソースコード及び出力結果を指すものとする．以降では版管理領域の詳細
について述べる．
4.1.1 リビジョン一覧表示領域
リビジョン一覧表示領域には，ユーザが Save，Compile，Run のいずれかの操作
を行うたびに自動的に新たなリビジョンが追加される．この領域では，ユーザがい
つ，どのような操作を行ったのかを示すことができる．特に，Compile あるいは Run
が実行されたときには，Compile Error や Runtime Error の有無が確認できるよう
になっている．図 2 の場合，リビジョン番号と時刻が 1 つの四角の中に表示されて
いる．四角の枠線には実線と点線があり，実線はそのリビジョンが差分表示領域に
表示されていることを示している．枠線の色は Save，Compile，Run のいずれが実
行されたのかを示しており，それぞれ黄色，青，赤の色と対応している．四角内右
上に表示されている ◦ 及び × は Compile あるいは Run が実行された際に，Compile
error もしくは Runtime error が生じた（異常終了）か生じなかったかを示している．
すなわち，◦ の表示はプログラムが異常終了しなかったことのみを示しており，必
ずしも正しい結果が出力されたとは限らない．
4.1.2 差分表示領域
差分表示領域には，4 つ分のリビジョンを表示する領域があり，左上，右上，左下，
右下の順に新しいリビジョンが表示される．ユーザが任意のリビジョンをリビジョ
ン一覧表示領域から選択するか，ユーザの Save，Compile，Run 等の操作によって
新たなリビジョンが追加されるたびに，版管理領域内中央の差分表示領域内に対象
リビジョンの情報が表示される．なお，リビジョンは 4 つしか表示できないように
なっており，既に 4 つ表示されている場合には最も古いリビジョンが削除され，新し
図2
Pockets の UI イメージ
Support and Analysis for Exploratory Programming
by Novice in Programming Exercise
表1
ID
操作時刻
Compile，Run を伴う探索的プログラミングの例
操作種別
1
18:01
Compile
2
18:03
Run
3
18:05
Run
4
18:09
Run
5
18:12
Compile
ソースコード
出力結果
60:int i = this.Gas;
cannot find symbol
61:while(i < 0){
60:double i = getGas();
0km 走行しました。
61:while(i < 0){
60:double i = getGas();
incompatible types
61:while(i = 0){
60:double i = getGas();
（出力なし）
61:while(i > 0.0){
60:while(car.getGas() > 0.0){ 300km 走行しました。
いものが先頭に追加される．差分表示領域における各リビジョンの領域では，ソー
スコード・出力結果の差分あるいはオリジナルのソースコード・出力結果の表示切
り替え，エディタ領域に表示されているソースコードの対象リビジョンへの差し替
え（手戻り），特定のリビジョンの固定，を行うことが可能となっている．
5
ケーススタディ
本ケーススタディでは，Pockets を利用する際の一般的な流れについて説明した
後，3.2 節で述べたような既存の探索的プログラミング事例において Pockets がどの
ような点で有用かを検証する．
Pockets は 3.1 節で述べた C3PV がベースになっている．そのため，ユーザは図
2 に示す Pockets のページを開くだけで，対象課題のプログラミングを開始するこ
とが可能となる．つまり，ユーザは既存のエディタに対する操作と同様に開発を続
けるだけで，Pockets による版管理機能を利用することが可能となる．
表 1 に探索的プログラミングと判断した 1 件のログの一部を示す．この表では，
Compile，Run といった操作種別とその操作を実施した時刻，変更されたソースコー
ドの一部，その操作によって得られた出力結果が示されている．
この事例では，コンパイルエラーや異常値の出力を繰り返しながら探索を行い，
最終的に求められていた結果と同じ出力を行うソースコードを完成させている．こ
のような探索的プログラミングでは，Pockets を利用することで過去 4 リビジョンに
わたってどのような変更を行い，その結果がどうなったかを把握することが可能と
なる．特にこの事例のように条件判定の内容を順に探索しているようなケースでは，
自分が過去に実施した変更とその結果を容易に確認できるようになることで，探索
をより効率よく進められるようになる可能性がある．
また，探索的プログラミング中は 3.2 節で述べたように手戻りが発生する場合や，
変更とコンパイルや実行を繰り返すことによりソースコードが複雑になり学生が混
乱する可能性が存在する．しかし，Pockets では過去のソースコードの結果を一覧
することができ，また特定のソースコードへの手戻りも簡単に行うことができるた
め，学生は混乱することなくコーディングを行うことができると考える．
さらに，教員や TA は学生がそれまでどのような試行錯誤を行っていたか知るこ
とで，安易に解答を学生に教えるだけでなく，出力されたエラーメッセージと変更
内容の対応を説明したり，学生の変更内容が解答に近づいているかどうかを評価し
たりといったよりきめ細かいサポートを行うことが可能となると考えられる．
6
考察
初学者による探索的プログラミングの分析により，版管理の機能を組み込んだエ
ディタが有用であると判断し，主要機能として以下の 3 つを組み込んだオンライン
エディタ Pockets を提案した．
FOSE2014
F1: Save，Compile，Run といった操作に連動したソースコード及び出力の自動
保存
F2: 自動保存された各リビジョンと現在プログラミング中のソースコード及び出力
との差分表示
F3: 任意のリビジョンに戻ることができる Revert 機能
これらの機能の一部は既存の版管理システムにも導入されているが，初学者が利
用することは容易ではない．特別に意図せずに普段通りにプログラミングを行うだけ
で，リビジョンの保存や表示が行われる機能が初学者にとって重要であると考えられ
る．また分析によって，初学者はプログラムが必ずしも完成していなくても Compile
や Run を実行し，Compile Error 等の出力を確認することが観測された．そのため
通常の版管理機能だけでなく，プログラムの出力も含めてリビジョンとして保存し，
振り返ることができるようにすることで，わざわざ手戻りを手動で行った後に再度
実行して出力を確認するといった対応をとる必要がなくなると考えられる．
F1∼F3 の機能は学生だけでなく，教員にとっても有用である．通常，学生が教員
にサポートを求めた場合，教員は学生がサポートを求めた時点でのソースコードを
確認し，必要に応じて Compile，Run を行い，状況を把握する．その後，学生のそ
の時点におけるソースコード中の間違いを指摘し，解答あるいは解答に繋がるヒン
トを提示することでサポートを行う．一方，Pockets を用いた場合，教員は学生によ
る試行錯誤の変遷を容易に確認することが可能となる．具体的には，基礎的な文法
上の間違いなのか，アルゴリズムに関する間違い（条件文の間違い等）を繰り返し
ているのか，といった間違いの傾向や，過去のリビジョンでどのようなエラーメッ
セージを出力しているのかといった情報をサポートに用いることが可能となる．結
果として，過去のリビジョンにおけるエラーメッセージの説明や解答に近づくよう
な変更ができているかといった，学生個々人の理解度や開発の経緯に応じたサポー
トを教員が行えるようになると考えられる．
7
おわりに
本稿では，初学者による探索的プログラミング事例を分析し，初学者でも容易に
版管理機能を利用可能なオンラインエディタ「Pockets」を提案した．今後は実際の
プログラミング演習に Pockets を適用し，学生の探索的プログラミングをどの程度
支援できるかを定量的・定性的に評価していきたい．
謝辞本研究は日本学術振興会科学研究費補助金 24700030，26540182，26730036
の助成を受けている．
参考文献
[1] 独立行政法人情報処理推進機構. IT 人材白書 2012. 独立行政法人情報処理推進機構, 2012.
[2] 井垣宏, 齊藤俊, 井上亮文, 中村亮太, 楠本真二. プログラミング演習における進捗状況把握の
ためのコーディング過程可視化システム C3PV の提案. 情報処理学会論文誌, Vol. 54, No. 1, pp.
330–339, January 2013.
[3] David W. Sandberg. Smalltalk and exploratory programming. ACM SIGPLAN Notices,
Vol. 23, pp. 85–92, October 1988.
[4] YoungSeok Yoon and Brad A. Myers. An exploratory study of backtracking strategies used
by developers. In Proceedings of the 5th International Workshop on Cooperative and Human
Aspects of Software Engineering, pp. 138–144, June 2012.
[5] Beau. Sheil. Environments for exploratory programming. Datamation, Vol. 29, No. 7, pp.
131–144, July 1983.
[6] I. Scott MacKenzie and R. William Soukoreﬀ. Text entry for mobile computing: Models
and methods, theory and practice. Human computer interaction, Vol. 17, pp. 147–198, 2002.

Download Report