WEKO3
アイテム
等式の両辺の単位が等しいかチェックするプログラムの実装
https://ipsj.ixsq.nii.ac.jp/records/229623
https://ipsj.ixsq.nii.ac.jp/records/22962360e52819-545d-4672-95ed-66abdf1f9640
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z85-1B-03.pdf (185.2 kB)
|
Copyright (c) 2023 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2023-02-16 | |||||||||
| タイトル | ||||||||||
| タイトル | 等式の両辺の単位が等しいかチェックするプログラムの実装 | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 島根大 | ||||||||||
| 著者所属 | ||||||||||
| 島根情報処理センター | ||||||||||
| 著者名 |
岩見, 宗弘
× 岩見, 宗弘
× 奥原, 智史
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 高校で物理学の計算をする際，立式は正しくても途中の計算を間違え，F = vのような明らかに間違った等式を得ることがある．等式F = vにおいて，Fは力，vは速度を意図している．力は速度にはなりえないので，この等式は明らかに間違っている．このときに，どこで間違えたかを調べるため，最初の等式から1行ずつ改めて式変形を確認する必要がある．ここで，間違いを発見するために，等式の単位を使う方法がある．両辺の単位が異なっていれば明らかにその等式は誤りであり，同じであれば誤りはないかもしれないと推測できる．そのため，単位の計算を自動で行うソフトウェアがあればよいと考え，この研究を行うことにした．本研究では，LaTeXで書かれた等式とその中に含まれる変数の単位から，その等式の両辺の単位が等しいかを調べるプログラムをJavaを用いて作成する．このプログラムでは，四則演算および平方根と整数乗に対応することができた．なお，本研究のプログラムは三角関数とベクトルを含む等式は対象としていない． | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN00349328 | |||||||||
| 書誌情報 |
第85回全国大会講演論文集 巻 2023, 号 1, p. 185-186, 発行日 2023-02-16 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
