実数計算のGHCによる実現(<特集>プログラミング及びプログラミング言語)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 2001-03-15

著者

• 立木 秀樹

  京都大学総合人間学部

関連論文

• 整合的ドメインの極限要素集合の次元について (代数・論理・幾何と情報科学)
• 実数計算のGHCによる実現(プログラミング及びプログラミング言語)

スポンサーリンク