manifestation_id	original_title	title_alternative	title_transcription	statement_of_responsibility	serial	manifestation_identifier	creator	contributor	publisher	pub_date	date_of_publication	year_of_publication	publication_place	manifestation_created_at	manifestation_updated_at	carrier_type	content_type	frequency	language	isbn	issn	volume_number	volume_number_string	edition	edition_string	issue_number	issue_number_string	serial_number	extent	start_page	end_page	dimensions	height	width	depth	manifestation_price	access_address	manifestation_required_role	abstract	description	note	identifier:iss_itemno	identifier:google_books_id	series_statement_id	series_statement_original_title	series_statement_title_subseries	series_statement_title_subseries_transcription	series_statement_title_transcription	series_statement_creator	series_statement_volume_number	series_statement_series_master	series_statement_root_manifestation_id	series_statement_manifestation_id	series_statement_position	series_statement_note	series_statement_created_at	series_statement_updated_at	subject:unknown	subject:ndlsh	subject:bsh	subject:lcsh	classification:ndc9	classification:ddc	classification:ndc8	classification:ndc10	doi	jpno	ncid	lccn	iss_itemno	item_id	item_identifier	binding_item_identifier	call_number	library	shelf	item_note	accepted_at	acquired_at	item_created_at	item_updated_at
527	Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化		コック エスエスリフレクト マス コンプ ニ ヨル テイリ ショウメイ : フリー ソフト デ ハジメル スウガク ノ ケイシキカ	萩原学, アフェルト・レナルド 共著	false	https://ndlsearch.ndl.go.jp/books/R100000002-I028927081	萩原, 学, 1974-//Affeldt, Reynald, 1976-	""	森北出版	2018	2018-01-01 00:00:00 +0900	2018	東京	2026-09-28 20:52:15 +0900	2026-10-01 13:03:59 +0900	volume	text	unknown	Japanese	9784627062412	""								211p	1	211	22cm	22			3200		Guest		コンピュータと協働して数学する！定理証明支援系Coq/SSReflect/MathComp，待望の入門書．（提供元: 出版情報登録センター（JPRO））		""	""	""	""	""	""	""	""	""	""	""	""	""	""	""	""	""	記号論理学	""	""	""	""	""	410.96		23055195			R100000002-I028927081	500	G00497		410.96|ハギワ	gorilla_eagle_lib	fox	""			2026-09-28 20:52:46 +0900	2026-10-01 13:03:59 +0900