{"total_count":1,"results":[{"id":527,"original_title":"Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化","title_alternative":null,"title_transcription":"コック エスエスリフレクト マス コンプ ニ ヨル テイリ ショウメイ : フリー ソフト デ ハジメル スウガク ノ ケイシキカ","title_alternative_transcription":null,"pub_date":"2018","statement_of_responsibility":"萩原学, アフェルト・レナルド 共著","creators":[{"full_name":"萩原, 学, 1974-"},{"full_name":"Affeldt, Reynald, 1976-"}],"contributors":[],"publishers":[{"full_name":"森北出版"}],"publication_place":"東京","extent":"211p","dimensions":"22cm","identifiers":[],"subjects":[{"subject_heading_type":"ndlsh","term":"記号論理学"}],"classfifications":[{"classification_type":"ndc10","term":"410.96"}],"access_address":null,"items":[{"item_identifier":"G00497","shelf":"🦊フォックスラボ"}],"created_at":"2026-09-28T20:52:15.171+09:00","updated_at":"2026-10-01T13:03:59.250+09:00"}]}