石井忠夫

イシイタダオ | Ishii Tadao

所属機関・部署：
職名：助教授,准教授

研究分野 (5件)：応用数学、統計数学 , 数学基礎 , 知能情報学 , ソフトウェア , 情報学基礎論

研究キーワード (2件)：数理論理学 , Mathematical Logic

競争的資金等の研究課題 (7件)：

全件表示

MISC (10件)：

石井忠夫. 構成的型理論に基づいた定理証明プログラムの試作. 新潟国際情報大学情報文化学部紀要. 2010. 13
石井忠夫. ソフトウェア仕様とプログラムの導出. 新潟国際情報大学情報文化学部紀要. 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

学歴 (4件)：

学位 (2件)：

経歴 (2件)：

所属学会 (3件)：

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

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

石井 忠夫