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

Posted on 月 17 2月 2020 in 学習 • Tagged with Haskell, GHC, AtCoder, 競技プログラミング

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

今までの環境では GHC 7.10.3 だったのが,新環境では 8.6.5 になるので,この機会に参加してみるかということで,テストで公開されてる問題を解いてみた.そのコードと解説.なお,当方 AtCoder の …


Continue reading

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

Posted on 月 08 4月 2019 in 学習 • Tagged with Mozart, Oz, Emacs, , 環境構築

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

Mozart/Oz

この本では, Oz というプログラミング言語を扱っている.と言っても, Oz の実装である …


Continue reading