{"created":"2025-01-19T01:28:53.425218+00:00","updated":"2025-01-19T11:29:09.631667+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00229623","sets":["6504:11436:11438"]},"path":["11438"],"owner":"44499","recid":"229623","title":["等式の両辺の単位が等しいかチェックするプログラムの実装"],"pubdate":{"attribute_name":"公開日","attribute_value":"2023-02-16"},"_buckets":{"deposit":"c37b1017-eb92-4278-9108-878490efde14"},"_deposit":{"id":"229623","pid":{"type":"depid","value":"229623","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"等式の両辺の単位が等しいかチェックするプログラムの実装","author_link":["617656","617657"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"等式の両辺の単位が等しいかチェックするプログラムの実装"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"ソフトウェア科学・工学","subitem_subject_scheme":"Other"}]},"item_type_id":"22","publish_date":"2023-02-16","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_22_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"島根大"},{"subitem_text_value":"島根情報処理センター"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/229623/files/IPSJ-Z85-1B-03.pdf","label":"IPSJ-Z85-1B-03.pdf"},"date":[{"dateType":"Available","dateValue":"2023-11-17"}],"format":"application/pdf","filename":"IPSJ-Z85-1B-03.pdf","filesize":[{"value":"185.2 kB"}],"mimetype":"application/pdf","accessrole":"open_date","version_id":"0645b847-22f5-4973-8e4e-f8bb0e7e19c3","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2023 by the Information Processing Society of Japan"}]},"item_22_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"岩見, 宗弘"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"奥原, 智史"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_22_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00349328","subitem_source_identifier_type":"NCID"}]},"item_22_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"高校で物理学の計算をする際，立式は正しくても途中の計算を間違え，F = vのような明らかに間違った等式を得ることがある．等式F = vにおいて，Fは力，vは速度を意図している．力は速度にはなりえないので，この等式は明らかに間違っている．このときに，どこで間違えたかを調べるため，最初の等式から1行ずつ改めて式変形を確認する必要がある．ここで，間違いを発見するために，等式の単位を使う方法がある．両辺の単位が異なっていれば明らかにその等式は誤りであり，同じであれば誤りはないかもしれないと推測できる．そのため，単位の計算を自動で行うソフトウェアがあればよいと考え，この研究を行うことにした．本研究では，LaTeXで書かれた等式とその中に含まれる変数の単位から，その等式の両辺の単位が等しいかを調べるプログラムをJavaを用いて作成する．このプログラムでは，四則演算および平方根と整数乗に対応することができた．なお，本研究のプログラムは三角関数とベクトルを含む等式は対象としていない．","subitem_description_type":"Other"}]},"item_22_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"186","bibliographic_titles":[{"bibliographic_title":"第85回全国大会講演論文集"}],"bibliographicPageStart":"185","bibliographicIssueDates":{"bibliographicIssueDate":"2023-02-16","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicVolumeNumber":"2023"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":229623,"links":{}}