香川研究室・ゼミナール（2023 年度配属生）

リンク

各週の内容

第 1 回 11/02（木）5 コマ

顔合わせ・自己紹介
連絡先の交換
招待（Slack, GitHub, Teams）
各種パスワード（Wi-Fi、Web ページ、サーバー ⦅ymir, woden, loki⦆、PC）
各種ソフトウェアのインストール
その他の推奨ソフトウェア

WinSCP, ssh (Cygwin?), git
卒論・修論など
輪講の担当決め
- 輪講資料（Haskell, Turing Omnibus）の印刷
  
  Haskell の 1 章, 2.1–2.2, 2.6, 2.11, 3.2, 3.6–3.11, 4.1–4.3, 5 章は香川が説明します。
  
  5人で分担するときの目安
  
  1 人目 2.3〜2.4
  2 人目 2.5, 2.7〜2.10
  3 人目 2.12〜2.13, A
  4 人目 3.1 3.3〜3.5
  5 人目 4.4〜4.6,
  
  今年度は Turing Omnibus は 1 (Algorithms), 18 (Spline Curves), 24 (Recursion), 55 (Iteration and Recursion), 58 (Predicate Calculus), 64 (Logic Programming), 章を読みます。
OpenCampus の説明
進路希望調査

第 2 回 11/09（木）5 コマ

第 1 章プログラミング言語の意味とは
第 2 章関数型言語 Haskell とは（〜 § 2.2 GHCi のコマンド）

第 3 回 11/17（金）3 コマ

第 2 章関数型言語 Haskell とは (§ 2.3 〜)

第 4 回 11/24（金）3 コマ

第 2 章関数型言語 Haskell とは（§ 2.4 の途中「箱ポインター記法」〜§「パターンマッチング」）

第 5 回 12/01（金）3 コマ

JavaScript, Node.js（大山君作成）
- JavaScript
- API とライブラリー

第 6 回 12/08（金）3 コマ

第 7 回 12/15（金）3 コマ

第 2 章関数型言語 Haskell とは（§ 2.6 「帰納法による証明」〜§ 2.10「局所的定義」）

宿題 Q 2.10.2 repeatList

第 8 回 12/21（木）5 コマ

第 2 章関数型言語 Haskell とは（§ 2.11 「Haskell の評価戦略」〜§ 2.12「リストの内包表記」）

宿題問 2.11.1 fib,

第 9 回 01/09（火・金曜振替）3 コマ

第 2 章関数型言語 Haskell とは（§ 2.13「エイトクイーンの問題」〜）、第 A 章 Haskell のレイアウトルール、第 3 章代数的データ型と型クラス（〜§ 3.2「型クラスとは」）

宿題問 2.13.4 (ナイト巡回)、問 2.13.5（アガり判定）、問 3.1.4 (depth, preorder, inorder, postorder, reflect)、問 3.1.5 (RoseTree)

第 10 回 01/19（金）3 コマ

§ 3.3「Haskell の型クラス」〜 § 4.3「モナドと型クラス」
第 4 章モナド

第 11 回 01/25（木）5コマ

§ 4.4「IO モナド」〜 § 4.6「続・有用なリスト処理関数」
4 年生の卒業研究の手伝い

第 12 回 02/01（木）5コマ

4 年生の卒業研究の手伝い（アンケート）

第 13 回 02/08（木）5コマ

5 章「モナドと命令型言語の意味」
6 章「接続 (continuation)」
4 年生の卒業研究の手伝い（アンケート）

第 14 回 02/15（木）4 コマ

4 年生の卒業研究の手伝い（発表練習を聞く）

（任意参加）02/19 (月) 4 コマ

4 年生の卒業研究の手伝い（発表練習を聞く）（都合のつく人だけ）

第 15 回 02/20-21 (火-水)

修論発表会・卒論発表会を聞く

香川研の時間は、以下のような予定になっています。

修論発表 2/20（火） 14:20–14:40

卒論発表 2/21（水） 11:30–12:00

第 16 回 02/29 (木) 14:40-

研究引き継ぎ会

第 17 回 04/04 (木) 4 コマ

今後のスケジュール
研究テーマの話し合い
席ぎめ
雑談

第 18 回 04/11 (木) 14:00-

春休みに調べたことの概要と卒論でやりたいことの発表、または、 Turing Omnibus (Chap. 1, Algorithms)

✓宿題: Problems 2 (Wall Paper)

第 19 回 04/18（木）14:00-

春休みに調べたことの概要と卒論でやりたいことの発表（続き）、 Turing Omnibus (Chap. 18, Spline Curves)

宿題: Problems 3

第 20 回 04/25（木）14:00-

Turing Omnibus, Chap. 24, Recursion (Sierpinski Curve)

✓^?宿題: Problems 3 (iterative Sierpinski)

第 21 回 05/02（木）14:00-

The New Turing Omnibus, Chap. 55, Iteration and Recursion

宿題: Buneman & Levy と Walsh を実装する。

第 22 回 05/16（木）14:00-

研究テーマに関する雑談

第 23 回 05/23（木）14:00-

Haskell & Cabal チュートリアル

第 24 回 05/30（木）14:00-

The New Turing Omnibus, 64. Logic Programming

宿題: ✓niece（姪）, ✓great-uncle（大伯（叔）父）, ✓second-cousin（はとこ、再従兄弟（姉妹））を実装する。
?- niece(X, george)., ?- niece(X, susan)., ?- great-uncle(X, melissa)., … など

Koji Kagawa

修論発表	2/20（火）	14:20–14:40
卒論発表	2/21（水）	11:30–12:00