2023年配属者のゼミ

2023年度 日程

• ガイダンス（横山研究室ガイダンス資料）
• 9月下旬〜10月上旬 卒業研究中間発表会：聴講してコメントを提出する
• 1月中旬 卒業研究発表会：聴講してコメントを提出する
• 1月下旬 修士論文 最終試験：大学院進学希望者や興味のある学部生は参加する

Q1 曜限 火2(S215) 輪読

• はじめに
• e-Learning
• 5/20(土)は各自課題

• 小林ら『プログラム意味論の基礎』を輪読する。担当者
  • 割り当てられたページに関連する前後の内容も予習をしておくこと．
  • 理解を深めるために演習問題を解いておくこと．
  • コラムは対象外とする．
• 書籍のサンプル（パスワード: 12345678）をダウンロードすること．この電子版を用いて輪読の準備を進めること．紙の書籍を配付予定である．

Q1 レポート課題

レポート課題は随時課す．学習効果を上げるために，締切の直前にのみ取り組むのではなく，早期から計画的に取り組むこと．

定期試験に代わるレポート

• 締切：5月28日(日)23:59 定期試験期間の前日
• 提出先：WebClass
• 提出者：全員
• 内容：ゼミ発表で用いたスライド・レジュメ。その他、取り組んだ課題のレポート（練習問題の解答、「プログラミングの基礎」のメトロネットワーク最短路問題のプログラムとその解説など）。ただし，既に提出したレポートは除く。