私はなにがしたいのか

いまの興味はプログラム言語そのものと処理系に向いています．

近頃はそのために，数理論理学序説や最新コンパイラ構成技法，Types and Programming Languagesなんかを読みながら勉強してます．

ここらは滅びはしないだろう分野だし，改善が貢献する範囲が広いだろうとの考えもあります．

そんなわけで色々とよろしくおねがいします．