AtCoder の新環境テストの問題を解いてみる
AtCoder が現在新環境のテストをしている: https://atcoder.jp/contests/language-test-202001
今までの環境では GHC 7.10.3 だったのが，新環境では 8.6.5 になるの …
続きを読む
CTMCP のために Mozart/Oz を動かす
ゼミの輪読で， Concepts, Techniques, and Models of Computer Programming (MIT Press) ，略称 CTM または CTMCP を読むことになった．その為の準備と，ちょっとだけ読んだのでそ …