Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化 </titleInfo> <name type="personal"> <namePart>萩原, 学, 1974-</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <name type="personal"> <namePart>Affeldt, Reynald, 1976-</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <typeOfResource>text</typeOfResource> <originInfo> <publisher>森北出版</publisher> <dateIssued>2018-01-01 00:00:00 +0900</dateIssued> <frequency>unknown</frequency> </originInfo> <language> <languageTerm authority="iso639-2b" type="code">jpn</languageTerm> </language> <physicalDescription> <form authority="marcform">volume</form> <extent>211p</extent> </physicalDescription> <subject> <topic>記号論理学</topic> </subject> <classification authority="ndc10">410.96</classification> <abstract>コンピュータと協働して数学する！定理証明支援系Coq/SSReflect/MathComp，待望の入門書．（提供元: 出版情報登録センター（JPRO））</abstract> <note/> <identifier type="isbn">9784627062412</identifier> <recordInfo> <recordCreationDate>2026-09-28 20:52:15 +0900</recordCreationDate> <recordChangeDate>2026-10-01 13:03:59 +0900</recordChangeDate> <recordIdentifier>https://eagle.gorilla-zone.org/manifestations/527</recordIdentifier> </recordInfo> </modsCollection>