一言日記 2020/10/16 今日は2限に演習Cがあった. ようやくSML/NJの再入門が終わり,春1期に習った完備化手続きに必要な項書き換え系の実装に入った. 慣れてないので関数型言語での実装がとてもやりにくいが,分からない箇所は担当の先生にメールすると爆速で返信が来るので何とかなってる(今日は1分で返信が来たので驚いた). 107日目