2005 年度 プログラミング言語各論
第一回レポートに対するコメント

採点基準

	項目	点数
a	指定されたディレクトリ構成になっていない	-10
b	提出遅れ	-5
c	「(d) そのプログラムが正しく動くことをどのように確かめたか（根拠と結果）」 に対して、以下のいずれかに該当するとき (レポート全体に対する減点) 実行結果のみしか表示していない。 十分な根拠が示されていない。	-10
d	各設問についてのプログラム上の不備 (不備1つにつき)	-5
e	各設問について、題意を満たしていない場合 (その設問に対しては 0 点、すなわち、-10 点)	-10

コメント

• 一部の人は、課題用のディレクトリを正しく設置できていませんでした。
• 参考文献に関しては、ちゃんとした書誌情報を記載しましょう。
• 動作確認については、根拠の記述ができていない人が多いです。
  どういう理由でそのように動作確認をしたのかを記載しましょう。
• 設問 1 については、pop した結果は Object 型なので、使用する際は、 本来の型へのダウンキャストを行ないましょう。
• 設問 4 について、 try 〜 catch は適切な位置で使いましょう。
  例えば hoge が例外を投げるメソッドだとします。
  以下のプログラムを見てみましょう。
  

  for(i=0; i<a.length; i++){
    a.hoge();
  }
  

  
  実際には try, catch を入れなければなりません。このとき、 for 文全体を括るよりは、hoge の行のみを括る方が良いです。
• 設問 6 について、 この問題では、抽象クラスを用いることで、 スタックというものの本質を定義し、 それはいくつもの実装の方法があって、 用途に応じてユーザがそれらを変えられることを示している。
  一例として、 stack パッケージの中に抽象クラス Stack を用意し、 ここで要求されている push, pop, isEmpty のシグネチャを定義する。
  具象クラスとして、配列を使ったクラス (ArrayStack) と LinkedList を利用したクラス (ListStack) を定義する。
  これにより、stack パッケージを使う側では、Stack 型の変数に具体的なオブジェクト (ArrayStack もしくは ListStack のインスタンス) を与えることで、 スタックを使う部分は一元的に書くことができる。
  以下にこの疑似コードを挙げておく。
  

  import stack;
  
  class StackTest {
    public static void main(String args[]){
      Stack s;
  
      if (第一引数が 1 ){
        s = new ArrayStack();
      }
      else if (第一引数が 1 ){
        s = new ListStack();
      }
  
      以下、s を使って、スタックの操作
    }
  }
  

• 「そのプログラムが正しく動くことをどのように確かめたか(根拠と結果)」 について
  これが書けていない人が多い。 実行結果のみの人、文のみの人。
  レポート(報告文書)として書くべきは次のことになる。
  
  1. プログラムに要求される論理的な境界点と実行を確認すべきパターンの列挙
     例えば、「要求される引数の個数が1つなので、 引数なし、引数が1つ、引数が2つ以上について調べてみる必要がある。」 のようにどういう理由で何を確認しなければならないかを記載する。
  2. 1. に基づいた実行結果
  3. 実行結果についての説明
  4. 必要であれば、実行結果についての考察。
  単に「…を確認した」と書いても、第三者は納得できない。 実行結果を見れば明らかといいたくなるかも知れないが、 「根拠」を示す必要性を意識しよう。
  「きちんと」、「ちゃんと」という言葉も論理的に根拠を示せてこそ、 生きるということに注意しよう。

• 次のような if 文は冗長
  

  boolean check(boolean a){
    if (a == true){
      return true;
    }
    else {
      return false;
    }
  }
  

  
  引数は何でも良く、if 文の条件を満たしている時に true を返し、 そうでないときに false を返すようなメソッドを定義する時は、 単に return (a == true) のような文のみで済む。

2005.11.11 作成
2005.11.23 更新