経営情報学部

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

職　名

教授

連絡方法

学　歴

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