Jump to main content

yr 〜
yr

Search results 6

代数系における書換えシステム(グレブナー基底)とその応用

代数系における書換えシステム(グレブナー基底)とその応用
Paper図書
小林ゆう治, 東邦大学 [著][小林ゆう治]2005-2007<Y151-H17540042>
National Diet Library
  • Subject Heading書換えシステム / Groebner基底 / 有限表示代数 / アルゴリズ...

組合せ半群論とその応用

組合せ半群論とその応用
Paper図書
庄司邦孝, 島根大学 [著][庄司邦孝]2003-2004<Y151-H15540029>
National Diet Library
  • Subject Heading半群 / 群 / 融合積 / 語の問題 / アルゴリズム / 書換えシステム / 岩沢不変 / 不値環

代数系のグレブナー基底とホモロジー・ホモトピーの研究

代数系のグレブナー基底とホモロジー・ホモトピーの研究
Paper図書
小林ゆう治, 東邦大学 [著][小林ゆう治]2002-2004<Y151-H14540046>
National Diet Library
  • Subject Heading代数系 / グレブナー基底 / 書換えシステム / 有限表示 / ホモロジー / モノイド / 決定不能問...

代数系の語の問題の書換え手法による研究

代数系の語の問題の書換え手法による研究
Paper図書
小林, ゆう治, 東邦大学1996-1998<Y151-H08640065>
National Diet Library
  • Subject Heading代数系 有限表示 決定問題 語の問題 書換えシステム モノイド 完備性 cross-section

モジュラー書換え理論に基づく代数型ソフトウェア開発言語の構築

モジュラー書換え理論に基づく代数型ソフトウェア開発言語の構築
Digital文書・図像類
中村, 正樹, Nakamura, Masaki2013-06-13平成24(2012)年度 科学研究費補助金 若手研究(B) 研究成果報告書 = 2012 Fiscal Year Final Research Report2010 – 2012p.4p.-
Other Libraries in Japan
  • Subject Heading項書換えシステム
  • Note (General)...を備えた代数仕様言語に適した項書換えシステムによる仕様実行に関する基礎的研......定手法を提案した.停止性は,項書換えシステムの最も重要な性質の1つで,任意の実行の有限時間内の停止性を保...

モジュラーな項書き換えシステムに基づく仕様検証システムの開発

モジュラーな項書き換えシステムに基づく仕様検証システムの開発
Digital文書・図像類
中村, 正樹, Nakamura, Masaki2009-04-23平成20(2008)年度 科学研究費補助金 若手研究(B) 研究成果報告書 = 2008 Fiscal Year Final Research Report2006 – 2008p.5p.-
Other Libraries in Japan
  • Subject Heading形式手法 検証システム 項書換えシステム 代数仕様 モジュールシステム 仕様変換 ソフトウェアテスト
  • Note (General)... 本研究では, モジュラーな項書換えシステムに基づく仕様検証システムの開発を行った. これにより, 特に...

Reached to the end of result.

RSS