About ISHII TADAO
About 新潟国際情報大 情報文化
About 新潟国際情報大学情報文化学部紀要
About software development
About computer programming
About type theory
About theorem proving
About data structure
About tree structure
About command system
About software specification
About specification description
About object-oriented language
About Ruby
About logic formula
About Computer system development
About 型理論
About 定理証明
About 試作