※このページに掲載している原稿は 速報ファイル です。
No.1846
クローン理論と離散数学
計算機科学をめぐる代数と論理
Clone Theory and Discrete Mathematics
Algebra and Logic Related to Computer Science
RIMS 研究集会報告集
 
2005/06/13〜2005/6/15
2009/10/23 〜 2009/10/22
町田 元
Hajime Machida
 
目 次
 
1. Basic algebras (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)-----------------------------1
    Palacky U. Olomouc / Palacky U. Olomouc   Chajda,Ivan / Kuhr,Jan
 
2. 一様遅れ演算の完全性 (クローン理論と離散数学・計算機科学をめぐる代数と論理)------------------------------------------------------14
    明治大学理工学部   疋田 輝雄 (Hikita,Teruo)
 
3. Homomorphism on Triple-semilattice (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)--------19
    甲南大学理工学部   堀内 清光 (Horiuchi,Kiyomitsu )
 
4. Degree of Nondeterminism for Pushdown Automata (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)---27
    一橋大学商学部 / 一橋大学社会学部   茨木 辰也 / 窪澤 駿平 (Ibaraki,Tatsuya / Kubosawa,Shumpei)
 
5. To BCI from Subtractive Algebra (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)-----------35
       井関 清志 (Iseki,Kiyoshi)
 
6. Logic characterized by Boolean algebras with conjugate (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)---46
    東京電機大学情報環境学部   近藤 通朗 (Kondo,Michiro)
 
7. Report on Centralizing Monoids on a Three-Element Set (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)---53
    国際基督教大学アーツ・サイエンス研究科 / U. Montreal    町田 元 / Rosenberg Ivo G. (Machida,Hajime / Rosenberg,Ivo G.)
 
8. Graphical Compositions of Semirigid Equivalence Relations (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)---66
    筑波技術大学保健科学部 / U. Claude-Bernard / U. Montreal / 筑波技術大学保健科学部   宮川 正弘 / Pouzet Maurice / Rosenberg Ivo G. /巽 久行 (Miyakawa,Masahiro / Pouzet,Maurice / Rosenberg,Ivo G. / Tatsumi,Hisayuki)
 
9. Hyperalgebras and hyperclones-different approaches (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)---80
    U. Novi Sad / U. Novi Sad    Pantovic,Jovanka / Vojvodic,Gradimir
 
10. $T_2$ (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)------------------------------------87
    Technische U. Wien    Pinsker,Michael
 
11. A Consideration on Functions Preserving Set Inclusion Relation (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)---94
    富山県立大学工学部   高木 昇 (Takagi,Noboru)
 
12. Upper and Lower Bounds on the Number of Disjunctive Forms (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science)---113
    筑波技術大学保健科学部 / 筑波技術大学保健科学部 / 明治大学理工学部   巽 久行 / 宮川 正弘 / 向殿 政男 (Tatsumi,Hisayuki / Miyakawa,Masahiro / Mukaidono,Masao)