{"total_count":1,"results":[{"id":528,"original_title":"ゼロから始めるLean言語入門 : 手を動かして学ぶ形式数学ライブラリ開発","title_alternative":null,"title_transcription":"ゼロ カラ ハジメル Lean ゲンゴ ニュウモン : テ オ ウゴカシテ マナブ ケイシキ スウガク ライブラリ カイハツ","title_alternative_transcription":null,"pub_date":"2025","statement_of_responsibility":"井上亜星 著","creators":[{"full_name":"井上, 亜星, 1997-"}],"contributors":[],"publishers":[{"full_name":"ラムダノート"}],"publication_place":"東京","extent":"215 p","dimensions":"21 cm","identifiers":[],"subjects":[{"subject_heading_type":"ndlsh","term":"プログラミング用言語"}],"classfifications":[{"classification_type":"ndc10","term":"007.64"}],"access_address":null,"items":[{"item_identifier":"G00498","shelf":"🦊フォックスラボ"}],"created_at":"2026-09-28T20:54:33.816+09:00","updated_at":"2026-10-01T13:03:22.659+09:00"}]}