2023-02-08

対策

やったこと

月曜日のプレゼンで大失敗をやらかしたので、しっかりと対策をとって発表できた。プレゼンは得意だと思いこんでいたけど、全くそうではないことが分かったので話すことを整理して練習するのは大事だと思った。

型と型クラスの章。再起型と構成子が面白い。木の表現が明快でわかりやすかった。演習で恒真式を評価するための型を定義するのが難しかったのでしっかり理解できるようにしたい。