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
528	ゼロから始めるLean言語入門 : 手を動かして学ぶ形式数学ライブラリ開発		ゼロ カラ ハジメル Lean ゲンゴ ニュウモン : テ オ ウゴカシテ マナブ ケイシキ スウガク ライブラリ カイハツ	井上亜星 著	false	https://ndlsearch.ndl.go.jp/books/R100000002-I034296611	井上, 亜星, 1997-	""	ラムダノート	2025	2025-01-01 00:00:00 +0900	2025	東京	2026-09-28 20:54:33 +0900	2026-10-01 13:03:22 +0900	volume	text	unknown	Japanese	9784908686214	""								215 p			21 cm				3200		Guest		プログラミングと数学をつなぐ（提供元: 出版情報登録センター（JPRO））		""	""	""	""	""	""	""	""	""	""	""	""	""	""	""	""	""	プログラミング用言語	""	""	""	""	""	007.64		24285926			R100000002-I034296611	501	G00498		007.64|イノウ	gorilla_eagle_lib	fox	""			2026-09-28 20:55:31 +0900	2026-10-01 13:03:22 +0900