> 【今週行ったこと】
> ・コンピュータサイエンス14章の復習

復習するだけで無く「計画」に書かれている以下の点について自分の言葉でまとめてください．
・[TaNH99]1章序論を読んでプログラム意味論の初歩についてまとめる
・[OhGN99]14章プログラム実行のモデルを読んでコンパイラの初歩についてまとめる．水野君と宮本君Q3のレポートとプログラムの内容も加筆して用いること

> ・卒業予稿の作成

継続して下さい．

「はじめに」に背景を加筆して下さい．可逆言語の翻訳器の意義を説明して下さい．
CCという翻訳器に関する世界最高峰の会議で発表された論文を紹介します．
Axelsen H.B. (2011) Clean Translation of an Imperative Reversible Programming Language. In: Knoop J. (eds) Compiler Construction. CC 2011. Lecture Notes in Computer Science, vol 6601. Springer, Berlin, Heidelberg
https://link-springer-com.leyline.nanzan-u.ac.jp/chapter/10.1007/978-3-642-19861-8_9

基本的に前から順に読んでいって分かるように書いて下さい．未定義語を使わないようにしてください．

> ・Janusの文献調査をして読んで予稿にまとめる。
> ・R,PISA,Bob,SyReCの文献を読む。

これらは参考にしておいても良いでしょう．

> 【来週行う予定のもの】
> ・R,PISA,Bob,SyReCについて予稿にまとめる。
> ・Haskellの復習

上記のまとめも行って下さい．自分のことばで書いたところがまだ少ないです．必要な引用はするべきですが，自分のことばで書くところをこそ頑張って進めて下さい．

> 【教授への質問】
> ①下の図の文字はタウτで合っていますか？

これは \mathcal{T} です。数式(math)の筆記体(calligraphy)です。

> ②Haskellを本で学習する際にお勧めの本はありますか？

以下がお勧めです。必要と思いますので1と2を3人分、出版社か販売店から送付しますので，住所をDMやメールで教えてください。
（出版社や販売店に皆さんの住所を伝える必要があり，この点が気になる場合はお知らせ下さい。）

1. プログラミングHaskell 第2版
https://www.lambdanote.com/products/haskell

2. Haskellによる関数プログラミングの思考法
https://store.kadokawa.co.jp/shop/g/g301701000339/

3. プログラミング言語【絶版】
https://www.amazon.co.jp/dp/400010344X

以上