テスト付きクリーニ代数の準代数構造

Kozen とSmith は，有限集合B，Σ の対が自由生成するテスト付クリーニ代数を構成する方法を与えた．我々は，有限性の仮定をはずし，任意の集合の対B，Σ について，それらが自由生成するテスト付きクリーニ代数の存在を示した．さらに，Kozen とSmith が要素を明示することによって構成したテスト付きクリーニ代数が，クリーニ代数や羃等半環，ブール代数に加えて単位クォンテールなどの圏の間の随伴函手や単位クォンテールの直和構成を用いて得られることを明らかにする．...

Full description

Saved in:
Bibliographic Details
Published in日本ソフトウェア科学会大会講演論文集 p. 2E3
Main Authors 古澤, 仁, 木下, 佳樹
Format Journal Article
LanguageJapanese
Published 日本ソフトウェア科学会 2002
Online AccessGet full text
ISSN1349-3515
DOI10.11309/jssstconference.19.0.2E3.0

Cover

Abstract Kozen とSmith は，有限集合B，Σ の対が自由生成するテスト付クリーニ代数を構成する方法を与えた．我々は，有限性の仮定をはずし，任意の集合の対B，Σ について，それらが自由生成するテスト付きクリーニ代数の存在を示した．さらに，Kozen とSmith が要素を明示することによって構成したテスト付きクリーニ代数が，クリーニ代数や羃等半環，ブール代数に加えて単位クォンテールなどの圏の間の随伴函手や単位クォンテールの直和構成を用いて得られることを明らかにする．
AbstractList Kozen とSmith は，有限集合B，Σ の対が自由生成するテスト付クリーニ代数を構成する方法を与えた．我々は，有限性の仮定をはずし，任意の集合の対B，Σ について，それらが自由生成するテスト付きクリーニ代数の存在を示した．さらに，Kozen とSmith が要素を明示することによって構成したテスト付きクリーニ代数が，クリーニ代数や羃等半環，ブール代数に加えて単位クォンテールなどの圏の間の随伴函手や単位クォンテールの直和構成を用いて得られることを明らかにする．
Author 木下, 佳樹
古澤, 仁
Author_xml – sequence: 1
  fullname: 古澤, 仁
  organization: 独立行政法人産業技術総合研究所情報科学連携研究体
– sequence: 1
  fullname: 木下, 佳樹
  organization: 独立行政法人産業技術総合研究所情報科学連携研究体
BookMark eNpdj71KA0EUhQdRMMY8hfWu9-7dn0wpIf5gwEbrYXZ2VrPEjexsY2eyIEKwVCwFC8FCbTW-zYQF38LAioXNOac4nMO3wVbzca4Z20JwEQn4dmaMKdU4T3Whc6Vd5C64Xp9cWGEtJJ87FGCwzjrGZABABKHv-y1Gtrq20w9b3SzmD3Zya6dvtnqx1ZetZov5U333biev9ed9k-vn2ffV4yZbS-XI6M6vt9nJbv-4t-8MjvYOejsDJ0OO0kmTOPCS5ZPiieQ-gp9AnHQ9rlSEOlRdiEFHEjGISIcpp8CjMIojkNIj5Cm12WGzm5lSnmpxUQzPZXEpZFEO1UiLf8wCuYBGluB_LXUmC5FJ-gHlaWyb
ContentType Journal Article
Copyright 2002 日本ソフトウェア科学会
Copyright_xml – notice: 2002 日本ソフトウェア科学会
DOI 10.11309/jssstconference.19.0.2E3.0
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
EISSN 1349-3515
EndPage 2E3
ExternalDocumentID article_jssstconference_19_0_19_0_2E3_article_char_ja
GroupedDBID ALMA_UNASSIGNED_HOLDINGS
JSF
KQ8
RJT
ID FETCH-LOGICAL-j191a-fdb52d330c9da94104d0bd829cc71e6c80b0e7a11573e6f9352367b70aa2319f3
IngestDate Wed Sep 03 06:29:43 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language Japanese
LinkModel OpenURL
MeetingName 日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第19回大会
MergedId FETCHMERGED-LOGICAL-j191a-fdb52d330c9da94104d0bd829cc71e6c80b0e7a11573e6f9352367b70aa2319f3
Notes 2E-3
OpenAccessLink https://www.jstage.jst.go.jp/article/jssstconference/19/0/19_0_2E3/_article/-char/ja
ParticipantIDs jstage_primary_article_jssstconference_19_0_19_0_2E3_article_char_ja
PublicationCentury 2000
PublicationDate 2002
PublicationDateYYYYMMDD 2002-01-01
PublicationDate_xml – year: 2002
  text: 2002
PublicationDecade 2000
PublicationTitle 日本ソフトウェア科学会大会講演論文集
PublicationYear 2002
Publisher 日本ソフトウェア科学会
Publisher_xml – name: 日本ソフトウェア科学会
SSID ssj0003306444
ssib018194627
ssib002670979
Score 1.3732249
Snippet Kozen とSmith は，有限集合B，Σ の対が自由生成するテスト付クリーニ代数を構成する方法を与えた．我々は，有限性の仮定をはずし，任意の集合の対B，Σ について，それらが...
SourceID jstage
SourceType Publisher
StartPage 2E3
Title テスト付きクリーニ代数の準代数構造
URI https://www.jstage.jst.go.jp/article/jssstconference/19/0/19_0_2E3/_article/-char/ja
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
ispartofPNX 日本ソフトウェア科学会大会講演論文集, 2002/09/11, pp.2E3-2E3
journalDatabaseRights – providerCode: PRVAFT
  databaseName: Colorado Digital library
  databaseCode: KQ8
  dateStart: 20020101
  customDbUrl:
  isFulltext: true
  eissn: 1349-3515
  dateEnd: 20051231
  titleUrlDefault: http://grweb.coalliance.org/oadl/oadl.html
  omitProxy: true
  ssIdentifier: ssj0003306444
  providerName: Colorado Alliance of Research Libraries
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwvR3LihNBsFlXEC-iqPhmQfs4sSfdM9N17EkmLIKCsAt7G-aVQw6rmOzFk7sBERaPKx4FD4IH9arr38wS8C-s6ulJoq6giwihqalU1VR3TaiqTlcNY3cK5ed5ST-kAApPZRo8gCD3MHKlTTdfZLbC-_6DcH1T3dsKtlZOHSydWtqZ5J3i6bF1JSexKuLQrlQl-xeWnQtFBMJoXxzRwjj-kY15IrnGT2iBLo-hxWieKB7HHLTF-Fz3HY0ZOBpjHBD3Wq7YcRnJk5BDwGPh2E1CmNhwCI-jCbmJLDvQyQkjlkNeSxZxE1igx02v1bbv7otCFmo3SrYzQrEO6PIkokvweRJw07c0ipQHYzHKEs8xmm4EsVUbAWUxsdU_pFFHpC0S6PneJInRA5JETAkB-AC6-Wp_QdbMo1ljTfNuyfo8tsuC38Xww4bKIvH-D-vReN3G1UgFVEcRLLuPRC5FIu7qVycnbZPY0Xg8nhTzutCODx3RQZ6OWPj2-YlL94ymPzGlPqSiGZAzbamo4i8dYdpxukvbXHTW4eFSVko9_xZ_7mKMCCp0zWQpAJKU1Sp1ht1utb37e10x8hthHtSeobRh3cZ5ds7lY2umUekCWxllF5msp8_rvc_19MXR4et692W997Gevq-nX-vp_tHh29nBp3r3w-zLqwaevdv_9uzNJbY5SDZ66557u4g38sHPvGGZB90SdS2gzED5QpUiL3UXiiLyq7DQIhdVlFEzKlmFQ8BMRYZRHoksw5wIhvIyW91-tF1dYWtaFrhMUgXlMFQYdOpcZpWKIk3dDUVRXWX9Zo7p46aFTHoic1z7N2Kus7P2lUZ2H_EGW5082aluYmQ9yW9ZO38HuiCk1w
linkProvider Colorado Alliance of Research Libraries
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=%E3%83%86%E3%82%B9%E3%83%88%E4%BB%98%E3%81%8D%E3%82%AF%E3%83%AA%E3%83%BC%E3%83%8B%E4%BB%A3%E6%95%B0%E3%81%AE%E6%BA%96%E4%BB%A3%E6%95%B0%E6%A7%8B%E9%80%A0&rft.jtitle=%E6%97%A5%E6%9C%AC%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E7%A7%91%E5%AD%A6%E4%BC%9A%E5%A4%A7%E4%BC%9A%E8%AC%9B%E6%BC%94%E8%AB%96%E6%96%87%E9%9B%86&rft.au=%E5%8F%A4%E6%BE%A4%2C+%E4%BB%81&rft.au=%E6%9C%A8%E4%B8%8B%2C+%E4%BD%B3%E6%A8%B9&rft.date=2002&rft.pub=%E6%97%A5%E6%9C%AC%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E7%A7%91%E5%AD%A6%E4%BC%9A&rft.eissn=1349-3515&rft.spage=2E3&rft.epage=2E3&rft_id=info:doi/10.11309%2Fjssstconference.19.0.2E3.0&rft.externalDocID=article_jssstconference_19_0_19_0_2E3_article_char_ja