• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

1997 年度 実績報告書

非可換な関数代数の計算における関数型言語的手法の研究

研究課題

研究課題/領域番号 09878060
研究機関京都大学

研究代表者

GARRIGUE J.  京都大学, 数理解析研究所, 助手 (80273530)

研究分担者 丁 津秦  京都大学, 数理解析研究所, 講師 (50273529)
キーワード関数型言語 / 代数解析 / 多相性 / 代数学算
研究概要

数学者の仕事は大きく分けて新しい概念の発明や証明の構築という創造的なものと、計算や確認という手続的なものとに分けられる。後者によって新しいアイディアが生まれることもあるが、一般的には繰り返しが多く、面白みの少ない作業と思われる。自動化が進み、数値計算のほとんどと数式計算の一部が計算機で行われるようになったが、いまだに手作業しかない分野も多い。例えば、代数解析では基本演算は可換性を持たないので普通の代数演算ソフトウェアでは扱えない。
そういう問題を解決するために、新しい演算を型体系をもった関数型言語で書けるという枠組を作った。計算の概念は代数演算と同様に書き換えを仕様したが,型情報に依存する計算もできる。同時に、定義の汎用性を上げるために、言語における多相性(同じ定義で違う対象が扱える性質)に注目した。そのために言語に二種類の多相性を持たせた。
・オーバーロ-ディング 数学の演算子は様々な領域の上に定義されている。オーバーロ-ディングによって同じ演算子で複数の意味が表現できる。
・一様な多相性 上記のオーバーロ-ディングでは領域の数と同じ数の定義をしなければならないが、一様(パラメトリック)な多相性を使うと、領域に関係しない定義も行える。例えば行列の積算は要素の積算と無関係に定義できる。
さらに、数式の扱いに理論的な基礎を与えるために、自由変換の役割を明確にした。従来の関数型言語だと自由変換はないが、数式には必要なので、変数の導入、代入が書けるようにした。
当言語処理系が現在開発中で、完成すればライブラリとツールの作成に移る。

  • 研究成果

    (2件)

すべて その他

すべて 文献書誌 (2件)

  • [文献書誌] Jacques GARRIGUE I Didic REMY: "Extending ML with Semi-Expliit High-Order Polymorphism" Springer-Verlag LNCS-TACS 97. 1281. 20-46 (1997)

  • [文献書誌] Jintai DING & Kenji IOHARA: "Drinfield comnltiplication and vertex opcators" Journal of Geometry and Physics. 23. 1-13 (1997)

URL: 

公開日: 1999-03-15   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi