一言日記 2020/10/16 今日は2限に演習Cがあった． ようやくSML/NJの再入門が終わり，春1期に習った完備化手続きに必要な項書き換え系の実装に入った． 慣れてないので関数型言語での実装がとてもやりにくいが，分からない箇所は担当の先生にメールすると爆速で返信が来るので何とかなってる（今日は1分で返信が来たので驚いた）． 107日目 投稿者: mkt 徳島の高専から名古屋の大学にやってきた．趣味は将棋で，石田流が好きな振り飛車党．スパコンを使ってやべーシミュレーションをしたいと思ってる． mkt の投稿をすべて表示
