Ishii Tadao

イシイタダオ | Ishii Tadao

Affiliation and department：
Job title： associate professor

Research field (5)： Applied mathematics and statistics , Basic mathematics , Intelligent informatics , Software , Information theory

Research keywords (2)：数理論理学 , Mathematical Logic

Research theme for competitive and other funds (7)：

Show all

MISC (10)：

石井忠夫. 構成的型理論に基づいた定理証明プログラムの試作. 新潟国際情報大学情報文化学部紀要. 2010. 13
ISHII Tadao. Software specification and program derivation. Bulletin of Niigata University of International and Information Studies Department of Information Culture. 2009. 12. 141-150
石井忠夫. ソフトウェア仕様の差分について. 新潟国際情報大学情報文化学部紀要. 2007. 10. 147-154
発展関係を備えたマーチン・レフ型理論の一拡張. 第34回MLG会合(越後湯沢)論文誌. 2001. 33-37
An Extension of Martin-L(]E88D8[)f's Type Theory with an Evolution Relation. Proceeding of the 34th MLG meeting at Echigo-Yuzawa. 2001. 33-37

ｍore...

Education (4)：

- 2000 Japan Advanced Institute of Science and Technology
- 2000 Japan Advanced Institute of Science and Technology Graduate School, Division of Information Science
- 1980 Yamagata University Faculty of Engineering
- 1980 Yamagata University Faculty of Engineering

Professional career (2)：

Work history (2)：

2000 - 2001 Japan Advanced Institute of Science and Technology
2000 - 2001 Japan Advanced Institute of Science and Technology, assistant school affairs

Association Membership(s) (3)：

情報システム学会 , 日本ソフトウェア科学会 , 日本数学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page