マルチプルレゾリューション / Multiple Resolution
■ DOI
:
10.15068/00156548
登録機関名 / Registration Institution Name
最終更新日 / Last Update
1
機関リポジトリ／Institutional Repository
2026/07/28
2
国立国会図書館／National Diet Library
2025/11/01
■ タイトル情報 / Title Information
タイトル / Title
:
Bidirectional Interplay between Mathematics and Computer Science: Safety and Extensibility in Computer Algebra and Haskell
言語 / Language
:
英語 /English
タイトル / Title
:
数学と計算機科学の相互作用：計算代数とHaskellにおける安全性と拡張性
言語 / Language
:
日本語 /Japanese
■ 筆頭著者名情報 / First Author Information
著者名(姓) / Surname
:
石井
著者名(名) / Given Name
:
大海
言語 / Language
:
日本語 /Japanese
著者名(姓) / Surname
:
ISHII
著者名(名) / Given Name
:
Hiromi
言語 / Language
:
英語 /English