About SAKURAI KENJI
About 電通大 大学院情報理工学研究科
About NAKANO KEISUKE
About 電通大 大学院情報理工学研究科
About 情報処理学会プログラミング・シンポジウム予稿集
About functional programming
About functional language
About type inference
About reliability(property)
About debugging
About object-oriented language
About program transformation
About compiler
About function(mathematics)
About output
About improvement of efficiency
About Haskell
About Ruby
About OCaml
About 出力関数
About General-purpose programming language
About Computer system development
About Theory of computation
About Language processors
About デバッグ