PMAN - Paper management system: 林大輝, 山本晋一郎, 大久保弘崇, 粕谷英人, Haskellの型システムを用いた単位付き計算システムに関する研究, 2021年11月.
Detail of a work
| Tweet | |
| 林大輝, 山本晋一郎, 大久保弘崇, 粕谷英人, "Haskellの型システムを用いた単位付き計算システムに関する研究," 第19回情報学ワークショップ, 2021年11月. | |
| ID | 268 |
| 分類 | 研究会・全国大会等 |
| タグ | |
| 表題 (title) |
Haskellの型システムを用いた単位付き計算システムに関する研究 |
| 表題 (英文) |
|
| 著者名 (author) |
林大輝,山本晋一郎,大久保弘崇,粕谷英人 |
| 英文著者名 (author) |
,Shinichiro Yamamoto,Hirotaka Ohkubo,Hideto Kasuya |
| 編者名 (editor) |
|
| 編者名 (英文) |
|
| キー (key) |
,Shinichiro Yamamoto,Hirotaka Ohkubo,Hideto Kasuya |
| 書籍・会議録表題 (booktitle) |
第19回情報学ワークショップ |
| 書籍・会議録表題(英文) |
|
| 巻数 (volume) |
|
| 号数 (number) |
|
| ページ範囲 (pages) |
|
| 組織名 (organization) |
|
| 出版元 (publisher) |
|
| 出版元 (英文) |
|
| 出版社住所 (address) |
|
| 刊行月 (month) |
11 |
| 出版年 (year) |
2021 |
| 採択率 (acceptance) |
|
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
自然科学における数値をプログラミング言語で記述する場合，次元や単位などの情報が欠落し，単なる数値として扱われることが多い．そのため，不適切な計算や開発者の意図と異なる計算を行ってしまう恐れがあり，それらが時に重大な事故を引き起こす危険性がある．このような問題の解決策の一つとして，単位付き計算を行うプログラムの記述が挙げられる．プログラミング言語Haskellでは，単位付き計算を行うパッケージが複数公開されているが，安全性，対応する次元，煩雑さなどの面から，一長一短がある．そこで，本研究では，既存のパッケージを分析し，各パッケージの利点を取り入れた単位付き計算システムを開発することを目的とする． |
| 論文電子ファイル | 利用できません． |
| BiBTeXエントリ |
@inproceedings{id268,
title = {Haskellの型システムを用いた単位付き計算システムに関する研究},
author = {林大輝 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
booktitle = {第19回情報学ワークショップ},
month = {11},
year = {2021},
}
|