課題1 回答方法について

（注意）合格ラインについては別途講義サイトを確認せよ．

提出ファイル

単独の .ml ファイルを含むフォルダを zip で固めたもの ステータスが「確認中」になるまでTAは確認しないので注意せよ．

回答方法

全ての回答をひとつの .ml ファイルに記述する．必ず問題番号をコメントで 記述した後に回答すること．問題中で明示的に要求されていなくとも，一見し て動作が明らかではないプログラムには適宜コメントで説明をつけるのが望ま しい．

関数を記述する問題の場合

講義サイトに置かれている task1.mli に関数名と型が記述されているのでその通りに実装せよ． 実装すると自動採点システムでテストが行われる．関数名や型が間違っている とビルドに失敗するのでよく確認すること．テストケースは隠されているが， テストが失敗する場合の具体的な値を考えるところまでが演習なので頑張るこ と．

何問か，関数を記述する問題であるにも関わらず task1.mli にシグネチャが ないものがある．そのような問題は，シグネチャを考えるところまで課題であ るので，自分で型を考えて関数を定義せよ．

自動採点の都合上，問題の仕様を変更している場合がある． 必ずこのテキストの下部にある「補足」を確認すること．

論述問題の場合

以下に列挙する論述問題については，同じファイルにコメントで回答すること． 一応全ての問題を取り扱うが，序盤の簡単な論述など解いても仕方がない問題 もいくつかあるので，そのあたりは適宜判断すること．

• Ex.2.1 ~ Ex.2.5
• Ex.3.1
• Ex.3.2
• Ex.3.4
  • 型の定義について述べよ
• Ex.3.5
• Ex.3.6
• Ex.3.9
• Ex.3.10
• Ex.4.2（部分的に論述が必要）
• Ex.4.6
• Ex.4.7
• Ex.4.8
• Ex.5.1
• Ex.5.2（部分的に論述が必要）
• Ex.5.4
• Ex.6.6（部分的に論述が必要）
• Ex.6.8
• Ex.7.1
• Ex.7.3
• Ex.7.6
• Ex.7.7

補足

条件が不足している問題や，仕様が変更された問題について補足する．

• Ex.6.1
  • 図形の座標が表すのは以下の座標である
    • 点ならば点の座標
    • 円ならば中心の座標
    • 正方形・長方形ならば左下の頂点の座標
  • 点や辺を共有する場合は重なっているとみなす
• Ex.6.9
  • sift 関数を定義せよと書かれているが，sift ではなく primes を実装せよ
  • なお，primes は sift を使って実装するので，結果として sift は実装することになる