今回は参考文献の9.4節を元にしています。
【動画08-01】を参考にして、下の画像【演習08-01】と同じ入力をしてみましょう。

【動画08-02】を参考にして、下の画像【演習08-02】と同じ入力をしてみましょう。

それではここでレポート課題を提示します。
回答をLEAN Web Editor上で作成したら、
テキストエディタにコピー&ペーストして、
文字コード UTF-8 の txt形式で保存して下さい。
そのtxtファイルをMoodleを通じて提出して下さい。
他の文字コードを使うと \forall などが消えてしまう恐れがあります。注意して下さい。
課題の内容と締め切りは下をご覧下さい。
Moodleのコースコードは
2020-W20102001
です。
課題:参考文献9.5節のExerciseのうち、
3番、6番、8番、9番、11番
を解きなさい。
締切:6月5日(金)17:00