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

多値論理における有限体上の極小クローンの分類

研究課題

研究課題/領域番号 20540111
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 数学一般(含確率論・統計数学)
研究機関一橋大学

研究代表者

町田 元  一橋大学, 大学院・アーツ・サイエンス研究科, 研究員 (40090534)

研究分担者 山崎 秀記  一橋大学, 大学院・商学研究科, 教授 (30108188)
連携研究者 ポゴシャン グラント  国際基督教大学, 教養学部, 教授 (90234640)
研究期間 (年度) 2008 – 2010
研究課題ステータス 完了 (2010年度)
配分額 *注記
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2010年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2009年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2008年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
キーワード離散数学 / 普遍代数 / 多値論理
研究概要

集合A上の多変数関数の集合で,射影関数をすべて含み,関数合成に関して閉じているものをクローンという。A上のクローンの全体は束の構造をもつ。クローン束のうち射影関数のみからなるクローンを除いた部分での極小元を極小クローンという。本研究では,集合Aに有限体の構造を導入し,極小クローンの生成元となる関数を有限体上の多項式として捉えるという新しい視点から,極小クローンの分類を目指す研究を行った。
極小クローンの生成元となる関数が2変数idempotent関数の場合や3変数多数決関数の場合について,要素数が任意の素数ベキのAに対して,極小クローンの生成関数の多項式表現を求めるという成果をあげた。

報告書

(4件)
  • 2010 実績報告書   研究成果報告書 ( PDF )
  • 2009 実績報告書
  • 2008 実績報告書
  • 研究成果

    (56件)

すべて 2011 2010 2009 2008 その他

すべて 雑誌論文 (28件) (うち査読あり 23件) 学会発表 (28件)

  • [雑誌論文] Completeness of order algebras2011

    • 著者名/発表者名
      I. Chajda, R. Halas, H. Machida
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing Vol. 17

      ページ: 93-98

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] Completeness of order algebras2011

    • 著者名/発表者名
      I.Chajda, H.Machida
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing

      巻: 17 ページ: 93-98

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Commutation and centralizers in clone theory2010

    • 著者名/発表者名
      H. Machida
    • 雑誌名

      京都大学数理解析研究所 講究録 Vol. 1712

      ページ: 101-110

    • 関連する報告書
      2010 研究成果報告書
  • [雑誌論文] Endoprimal monoids and witness lemma in clone theory2010

    • 著者名/発表者名
      H. Machida, I. G. Rosenberg
    • 雑誌名

      Proceedings 40th International Symposium on Multiple--Valued Logic, IEEE 40

      ページ: 195-200

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] Endoprimal monoids and witness lemma in clone theory2010

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      Proceedings 40th International Symposium on Multiple-Valued Logic

      巻: 40 ページ: 195-200

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Galois connections for hyperclones2010

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      Proceedings 40th International Symposium on Multiple-Valued Logic

      巻: 40 ページ: 201-204

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Commutation and centralizers in clone theory2010

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      京都大学数理解析研究所 講究録

      巻: 1712 ページ: 101-110

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] Completeness of order algebras2010

    • 著者名/発表者名
      I.Chajda
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing (掲載決定)

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Three classes of maximal hyperclones2010

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing (掲載決定)

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Galois connections for hyperclones2010

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      Proceedings 40th International Symposium on Multiple-Valued Logic 40(掲載決定)

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Endoprimal monoids and witness lemma in clone theory2010

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      Proceedings 40th International Symposium on Multiple-Valued Logic 40(掲載決定)

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Maximal hyperclones on E_2 as hypercores2009

    • 著者名/発表者名
      H. Machida, J. Pantovic
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing Vol. 15

      ページ: 315-328

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] Proceedings 39th International Symposium on Multiple-Valued Logic, IEEE2009

    • 著者名/発表者名
      H. Machida, J. Pantovic, Hyperclones determined by total parts of hyperrelations
    • 雑誌名

      39 161-166

      ページ: 1-1

    • 関連する報告書
      2010 研究成果報告書
  • [雑誌論文] On endoprimal monoids in clone theory2009

    • 著者名/発表者名
      H. Machida, I. G. Rosenberg
    • 雑誌名

      Proceedings 39th International Symposium on Multiple-Valued Logic, IEEE 39

      ページ: 167-172

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] Maximal hyperclones on E_2 as hypercores2009

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing Vol. 15

      ページ: 315-328

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Hyperclones determined by total-parts of hyper-relations2009

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      Proceedings 39th International Symposium on Multiple-Valued Logic 39

      ページ: 161-166

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] On endoprimal monoids in clone theory2009

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      Proceedings 39th International Symposium on Multiple-Valued Logic 39

      ページ: 167-172

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Majority and other polynomials in minimal clones2008

    • 著者名/発表者名
      H. Machida, T. Waldhauser
    • 雑誌名

      Proceedings 38th International Symposium on Multiple-Valued Logic, IEEE 38

      ページ: 38-43

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] On the isomorphism problem of concept algebras2008

    • 著者名/発表者名
      L. Kwuida, H. Machida
    • 雑誌名

      Proceedings of the 6th International Conference on Concept Lattices and Their Applications, Palacky University(Czech Republic) 6

      ページ: 217-228

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] On minimal clones and generating polynomials2008

    • 著者名/発表者名
      H. Machida
    • 雑誌名

      京都大学数理解析研究所 講究録 Vol. 1599

      ページ: 35-41

    • 関連する報告書
      2010 研究成果報告書
  • [雑誌論文] On maximal hyperclones on {0, 1} -- A new approach --2008

    • 著者名/発表者名
      H. Machida
    • 雑誌名

      Proceedings 38th International Symposium on Multiple-Valued Logic 38

      ページ: 32-37

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Majority and Other Polynomials in Minimal Clones2008

    • 著者名/発表者名
      H. Machida
    • 雑誌名

      Proceedings 38th International Symposium on Multiple-Valued Logic 38

      ページ: 38-43

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] On the isomorphism problem of concept algebras2008

    • 著者名/発表者名
      L. Kwuida
    • 雑誌名

      Proceedings of the 6th International Conference on Concept Lattices and Their Applications (CLA 2008) 6

      ページ: 217-228

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] On Minimal Clones and Generating Polynomials2008

    • 著者名/発表者名
      H. Machida
    • 雑誌名

      京都大学数理解析研究所 講究録 1599

      ページ: 35-41

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] Some centralizing monoids in clone theory

    • 著者名/発表者名
      H. Machida, I. G. Rosenberg
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing (掲載決定)

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] Three classes of maximal hyperclones

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing

      巻: (掲載決定)

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Some centralizing monoids in clone theory

    • 著者名/発表者名
      H.Machida
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing

      巻: (掲載決定)

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Maximal hyperclones on E_2 as hypercores(掲載決定)

    • 著者名/発表者名
      H. Machida
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing (掲載決定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [学会発表] Centralizing monoids and minimal clones2011

    • 著者名/発表者名
      H. Machida
    • 学会等名
      京都大学数理解析研究所 RIMS研究集会"Algorithm and Computation Theory in Algebras and Languages"
    • 発表場所
      京都大学
    • 年月日
      2011-02-23
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Centralizing monoids and minimal clones2011

    • 著者名/発表者名
      H.Machida
    • 学会等名
      RIMS 研究集会 "Algorithm and Computation Theory in Algebras and Languages"
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2011-02-23
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Centralizing monoids, witnesses and minimal clones2010

    • 著者名/発表者名
      H. Machida
    • 学会等名
      Summer School on General Algebra and Ordered Sets
    • 発表場所
      Malenovice (チェコ共和国)(招待講演)
    • 年月日
      2010-09-05
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Centralizing monoids, witnesses and minimal clones2010

    • 著者名/発表者名
      H.Machida
    • 学会等名
      Summer School on General Algebra and Ordered Sets
    • 発表場所
      Malenovice(チェコ共和国)(招待講演)
    • 年月日
      2010-09-05
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Galois connections for hyperclones2010

    • 著者名/発表者名
      H. Machida, J. Pantovic, I. G. Rosenberg
    • 学会等名
      The Fortieth International Symposium on Multiple-Valued Logic
    • 発表場所
      Balcelona (スペイン)
    • 年月日
      2010-05-27
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Endoprimal monoids and witness lemma in clone theory2010

    • 著者名/発表者名
      H. Machida, I. G. Rosenberg
    • 学会等名
      The Fortieth International Symposium on Multiple-Valued Logic
    • 発表場所
      Balcelona (スペイン)
    • 年月日
      2010-05-27
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Endoprimal monoids and witness lemma in clone theory2010

    • 著者名/発表者名
      H.Machida
    • 学会等名
      The Fortieth International Symposium on Multiple-Valued Logic
    • 発表場所
      Barcelona (スペイン)
    • 年月日
      2010-05-27
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Galois connections for hyperclones2010

    • 著者名/発表者名
      H.Machida
    • 学会等名
      The Fortieth International Symposium on Multiple-Valued Logic
    • 発表場所
      Barcelona (スペイン)
    • 年月日
      2010-05-27
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Centralizers of monoids and monoids of centralizers2010

    • 著者名/発表者名
      H.Machida
    • 学会等名
      Wiener Algebra Seminar
    • 発表場所
      ウィーン工科大学
    • 年月日
      2010-03-19
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Commutation and centralizers in clone theory2010

    • 著者名/発表者名
      H. Machida
    • 学会等名
      京都大学数理解析研究所 RIMS 研究集会"Algorithm and Computation Theory inAlgebras and Languages"
    • 発表場所
      京都大学(招待講演)
    • 年月日
      2010-02-18
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Commutation and centralizers in clone theory(招待講演)2010

    • 著者名/発表者名
      H.Machida
    • 学会等名
      RIMS研究集会"Algorithm and Computation Theory in Algebras and Languages"
    • 発表場所
      京都大学
    • 年月日
      2010-02-18
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Essentially minimal clones : Retrospective and prospective2009

    • 著者名/発表者名
      H. Machida
    • 学会等名
      京都大学数理解析研究所 RIMS 研究集会"Algebra and Logic Related to Computer Science"
    • 発表場所
      京都大学
    • 年月日
      2009-10-23
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Essentially minimal clones : Retrospective and prospective2009

    • 著者名/発表者名
      H.Machida
    • 学会等名
      RIMS研究集会"Algebra and Logic Related to Computer Science"
    • 発表場所
      京都大学
    • 年月日
      2009-10-23
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Endoprimal monoids, commutation and witness2009

    • 著者名/発表者名
      H. Machida
    • 学会等名
      Summer School on General Algebra and Ordered Sets
    • 発表場所
      Stara Lesna (スロバキア)
    • 年月日
      2009-09-06
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Endoprimal monoids, commutation and witness2009

    • 著者名/発表者名
      H.Machida
    • 学会等名
      Summer School on General Algebra and Ordered Sets
    • 発表場所
      スロバキア Stars Lesna 市
    • 年月日
      2009-09-06
    • 関連する報告書
      2009 実績報告書
  • [学会発表] On endoprimal monoids in clone theory2009

    • 著者名/発表者名
      H. Machida, I. G. Rosenberg
    • 学会等名
      The Thirty Ninth International Symposium on Multiple-Valued Logic
    • 発表場所
      沖縄県那覇市
    • 年月日
      2009-05-22
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] On endoprimal monoids in clone theory2009

    • 著者名/発表者名
      H.Machida
    • 学会等名
      39th International Symposium on Multiple-Valued Logic
    • 発表場所
      沖縄県 那覇市
    • 年月日
      2009-05-22
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Some endoprimal monoids over a three-element set2009

    • 著者名/発表者名
      H. Machida
    • 学会等名
      77th Workshop on General Algebra (AAA77)
    • 発表場所
      Potsdam (ドイツ)
    • 年月日
      2009-03-20
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Some endoprimal monoids over a three-element set2009

    • 著者名/発表者名
      H. Machida
    • 学会等名
      77th Workshop on General Algebra(AAA77)
    • 発表場所
      ドイツPotsdam市Potsdam大学
    • 年月日
      2009-03-20
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Some endoprimal monoids of 3-valued unary functions2009

    • 著者名/発表者名
      H. Machida
    • 学会等名
      第22回多値論理とその応用研究会
    • 発表場所
      群馬大学 工学部
    • 年月日
      2009-01-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] On minimal clones and polynomials over GF(k)2008

    • 著者名/発表者名
      H. Machida
    • 学会等名
      Summer School on General Algebra and Ordered Sets
    • 発表場所
      Trest (チェコ共和国)
    • 年月日
      2008-09-01
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] On minimal clones and polynomials over GF (k)2008

    • 著者名/発表者名
      H. Machida
    • 学会等名
      Summer School on General Algebra and Ordered Sets (SSAOS-2008)
    • 発表場所
      チェコ共和国Trest市Castle Hotel
    • 年月日
      2008-09-01
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Minimal clones on finite fields2008

    • 著者名/発表者名
      H. Machida
    • 学会等名
      京都大学数理解析研究所 RIMS研究集会"Clone Theory and Discrete Mathematics"
    • 発表場所
      京都大学
    • 年月日
      2008-07-30
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Minimal clones on finite fields2008

    • 著者名/発表者名
      H. Machida
    • 学会等名
      京都大学数理解析研究所RIMS研究集会
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2008-07-30
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Majority and other polynomials in minimal clones2008

    • 著者名/発表者名
      H. Machida, T. Waldhauser
    • 学会等名
      The Thirty Eighth International Symposium on Multiple-Valued Logic
    • 発表場所
      Dallas (アメリカ合衆国)
    • 年月日
      2008-05-22
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] On maximal hyperclones on {0,1} -- A new approach--2008

    • 著者名/発表者名
      H. Machida, J. Pantovic
    • 学会等名
      The Thirty Eighth International Symposium on Multiple-Valued Logic
    • 発表場所
      Dallas (アメリカ合衆国)("Outstanding Paper Award" 受賞)
    • 年月日
      2008-05-22
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] On maximal hyperclones on {0, 1} -- A new approach --2008

    • 著者名/発表者名
      H. Machida
    • 学会等名
      Thirty Eighth International Symposium on Multiple-Valued Logic (ISMVL-2008)
    • 発表場所
      米国Dallas市Southern Methodist大学
    • 年月日
      2008-05-22
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Majority and Other Polynonmials in Minimal Clones2008

    • 著者名/発表者名
      H. Machida
    • 学会等名
      Thirty Eighth International Symposium on Multiple-Valued Logic (ISMVL-2008)
    • 発表場所
      米国Dallas市Southern Methodist大学
    • 年月日
      2008-05-22
    • 関連する報告書
      2008 実績報告書

URL: 

公開日: 2008-04-01   更新日: 2016-04-21  

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

Powered by NII kakenhi