{"id":"https://openalex.org/W7161574657","doi":"https://doi.org/10.1007/978-3-032-26743-6_5","title":"Seven-Year Activity to\u00a0Introduce B-Method to\u00a0Japanese Technical College Students","display_name":"Seven-Year Activity to\u00a0Introduce B-Method to\u00a0Japanese Technical College Students","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7161574657","doi":"https://doi.org/10.1007/978-3-032-26743-6_5"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-26743-6_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-26743-6_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010380579","display_name":"Takaomi Ohnishi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210150622","display_name":"National Institute of Technology, Tomakomai College","ror":"https://ror.org/0415ygs14","country_code":"JP","type":"education","lineage":["https://openalex.org/I4210120810","https://openalex.org/I4210150622"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Takaomi Ohnishi","raw_affiliation_strings":["National Institute of Technology, Tomakomai College, Tomakomai, Hokkaido, Japan"],"raw_orcid":"https://orcid.org/0009-0003-6147-8251","affiliations":[{"raw_affiliation_string":"National Institute of Technology, Tomakomai College, Tomakomai, Hokkaido, Japan","institution_ids":["https://openalex.org/I4210150622"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040633710","display_name":"Yoshihiko Nakamura","orcid":"https://orcid.org/0000-0001-7162-5102"},"institutions":[{"id":"https://openalex.org/I4210150622","display_name":"National Institute of Technology, Tomakomai College","ror":"https://ror.org/0415ygs14","country_code":"JP","type":"education","lineage":["https://openalex.org/I4210120810","https://openalex.org/I4210150622"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshihiko Nakamura","raw_affiliation_strings":["National Institute of Technology, Tomakomai College, Tomakomai, Hokkaido, Japan"],"raw_orcid":"https://orcid.org/0000-0001-5729-5506","affiliations":[{"raw_affiliation_string":"National Institute of Technology, Tomakomai College, Tomakomai, Hokkaido, Japan","institution_ids":["https://openalex.org/I4210150622"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100556835","display_name":"Ryota Yamamoto","orcid":null},"institutions":[{"id":"https://openalex.org/I4210150622","display_name":"National Institute of Technology, Tomakomai College","ror":"https://ror.org/0415ygs14","country_code":"JP","type":"education","lineage":["https://openalex.org/I4210120810","https://openalex.org/I4210150622"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ryota Yamamoto","raw_affiliation_strings":["National Institute of Technology, Tomakomai College, Tomakomai, Hokkaido, Japan"],"raw_orcid":"https://orcid.org/0009-0009-3747-8140","affiliations":[{"raw_affiliation_string":"National Institute of Technology, Tomakomai College, Tomakomai, Hokkaido, Japan","institution_ids":["https://openalex.org/I4210150622"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5010380579"],"corresponding_institution_ids":["https://openalex.org/I4210150622"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"71","last_page":"89"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14335","display_name":"Educational Robotics and Engineering","score":0.7400000095367432,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T14335","display_name":"Educational Robotics and Engineering","score":0.7400000095367432,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.014600000344216824,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.6258000135421753},{"id":"https://openalex.org/keywords/obligation","display_name":"Obligation","score":0.5776000022888184},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5267000198364258},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.448199987411499},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.40220001339912415},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.37130001187324524},{"id":"https://openalex.org/keywords/upload","display_name":"Upload","score":0.36000001430511475}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8066999912261963},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.6258000135421753},{"id":"https://openalex.org/C2778447849","wikidata":"https://www.wikidata.org/wiki/Q2648051","display_name":"Obligation","level":2,"score":0.5776000022888184},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5267000198364258},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.448199987411499},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.4440000057220459},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.40220001339912415},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.37130001187324524},{"id":"https://openalex.org/C71901391","wikidata":"https://www.wikidata.org/wiki/Q7126699","display_name":"Upload","level":2,"score":0.36000001430511475},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.33180001378059387},{"id":"https://openalex.org/C2779561248","wikidata":"https://www.wikidata.org/wiki/Q743861","display_name":"Tacit knowledge","level":2,"score":0.3203999996185303},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.31709998846054077},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.28760001063346863},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.2556999921798706},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25369998812675476}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-26743-6_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-26743-6_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7595490217208862,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1555123745","https://openalex.org/W2031111226","https://openalex.org/W4233049285","https://openalex.org/W4367725863","https://openalex.org/W4402226729"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-05-19T00:00:00"}