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 language
About modification
About Ruby
About OCaml
About 出力関数
About General-purpose programming language
About Computer system development
About Theory of computation
About Language processors
About デバッグ