AtCoder の新環境テストの問題を解いてみる

2020年02月17日に投稿 • カテゴリ:学習 • タグ:HaskellGHCAtCoder競技プログラミング

AtCoder が現在新環境のテストをしている: https://atcoder.jp/contests/language-test-202001

今までの環境では GHC 7.10.3 だったのが,新環境では 8.6.5 になるの …

続きを読む

CTMCP のために Mozart/Oz を動かす

2019年04月08日に投稿 • カテゴリ:学習 • タグ:MozartOzEmacs環境構築

ゼミの輪読で, Concepts, Techniques, and Models of Computer Programming (MIT Press) ,略称 CTM または CTMCP を読むことになった.その為の準備と,ちょっとだけ読んだのでそ …

続きを読む