石井 忠夫 / Ishii Tadao

石井 忠夫

所 属

経営情報学部 情報システム学科

職 名

教授

連絡方法

学 歴

1980年 山形大学工学部電子工学科卒業

2000年 北陸先端科学技術大学院大学情報処理学専攻博士後期課程修了

学 位

工学修士(山形大学、1982年3月)

博士(情報科学 北陸先端科学技術大学院大学、2000年3月)

職 歴

1982年4月~1994年3月 日立製作所(株)入社、計測器事業部(旧、那珂工場)において、理化学分析装置のコンピュータソフトウェア設計開発に従事。主に、蛍光/分光光度計、液体クロマト分析装置等の製品を担当し、1989年に同社の技師、1994年に退社。
2000年4月~2001年3月 北陸先端科学技術大学院大学情報科学研究科教務補佐員
2015年9月~2016年8月 Łódź大学心理学部認知科学科客員教授

研究分野

1) 非標準論理、特にnon-Fregean logicの体系の研究

2) 構成的型理論に基づいたソフトウェア発展機構の研究

3) 量子計算の体系の研究

所属学会

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

担当科目

論理と数理、線形数学、プログラミング技術特論

主要業績

論文

①(2020)「論理における真理値の複素数表記」『新潟国際情報大学経営情報学部紀要』Vol.4, pp.1-13

②(2018)「The definition of sequential machine by PSC」, Bulletin of NUIS, Vol.4, pp.19-32

③(2018)「Modalities on pair sentential calculus PSC」,the 9th International Workshop on Logic and Cognition : Non-classical Modal and Predicate logics, Sun Yat-sen University(広州、中国), December 4-8, pp.1-3

④(2017)「Some syntactical and semantical properties for pain sentential calculus PSC」, Bulletin of NUIS, Vol.3, pp.12-26

⑤(2016)「SCI for pair-sentence and its completeness」, the Conference on Non-Classical Logics, Theory and Applications, University of Łódź, September 5-7, Poland, Vol.8, pp.61-65

⑥(2016)「A syntacitical comparison between pair sentential calculus PSC and Gupta’s definitional calculus Cn」, Bulletin of NUIS, Vol.2, pp.1-13

⑦(2015)「A system of pair sentential calculus that has a representation of the Liar sentence」, Bulletin of NUIS, Vol.1, pp.1-10

⑧(2014)「SCI for Pair-Sentence」, the 13th Studia Logica International Conference on Trends in Logic XIII,University of Łódź,Poland pp.10-12

⑨(2010)「構成的型理論に基づいた定理証明プログラムの試作」, Journal of NUIS, Vol.13, pp.71-84

⑩(2009)「ソフトウェア仕様とプログラムの導出」, Bulletin of NUIS, Vol.12, pp.141-150

⑪(2007)「ソフトウェア仕様の差分について」, Bulletin of NUIS, Vol.10, pp.147-154

⑫(2006)「A formal theory of the calculus of indication」, Bulletin of NUIS, Vol.9

⑬(2001)「An Extension of Martin-Lof’s Type Theory with an Evolution Relation」,Proceeding of the 34th MLG meeting at Echigo-Yuzawa, January 9-12, Japan, pp.33-37

⑭(1999)「Modality,implication and identity」,XLV History of Logic Conference, October 26-27, Jagiellonian University, Krakow, Poland

⑮(1999)「A note on varieties of PCI-algebras with EDPC」,Bulletin of the Section of Logic, University of Lodz, vol.28, Nr.2, pp.75-81

⑯(1998)「Propositional calculus with identity」,Bulletin of the Section of Logic, University of Lodz, vol.27, Nr.3, pp.96-104

⑰(1997)「Propositional calculus with identity」,Proceedings of the 31st MLG meeting at Miho, shimizu, November 24-26, Japan, pp.22-24