AlgoKajya

学生の頃， プログラム処理系か数理論理学を本格的に勉強したいと思っていたのですが， 希望は叶わず， 他分野（数理系）の研究室で勉強しました（勉強は真面目にしたつもりです）． 卒業後はしばらく忙しかったのですが，このところ時間的に余裕ができてきたので， 学生の頃に叶わなかったプログラム処理系や数理論理学について勉強しています． 手始めにLispを学び直そうと思って，Schemeについて勉強しています． 処理系はGuileを使っています． あれこれと勉強したことをまとめて， 勉強ノートを趣味として作っています． 一応読み物にしています．