No.1166
代数系，形式言語および計算理論
Algebraic Systems, Formal Languages and Computations
研究集会報告集
 　
2000/03/21〜2000/03/23
伊藤　 正美
Masami Ito
　
目　次
　
1. Parallelization of Restricted Quantum Circuits using Ancillae (Algebraic Systems, Formal Languages and Computations)--------------1
　　　　北陸先端科学技術大学院大学/北陸先端科学技術大学院大学　　　安倍 秀明/宋 少秋　(Abe,Hideaki/Sung,Shao Chin)
　
2. TAMENESS OF PSEUDOVARIETIES OF SEMIGROUPS (Algebraic Systems, Formal Languages and Computations)----------------------------------8
　　　　Centro de Matematica da Universidade do Porto　　　Almeida,Jorge
　
3. JACOBI-TRUDI-TYPE IDENTITIES FOR IDEAL-TABLEAUX (Algebraic Systems, Formal Languages and Computations)---------------------------17
　　　　会津大学総合数理科学センター　　　浅井 和人　(Asai,Kazuto)
　
4. A Word Length Controlled DT0L System with a Periodic Control Function (Algebraic Systems, Formal Languages and Computations)-----27
　　　　富山県立大学工学部/富山県立大学工学部　　　朝山 隆志/西田 泰伸　(Asayama,Takashi/Nishida,Taishin Yasunobu)
　
5. Regular Frequency Computations (Algebraic Systems, Formal Languages and Computations)--------------------------------------------35
　　　　Institut fur Informatik, Universitat Stuttgart/Institut fur Informatik, Universitat Stuttgart/Institut fur Informatik, Universitat Stuttgart/Institut fur Informatik, Universitat Stuttgart　　　Austinat,Holger/Diekert,Volker/Hertrampf,Ulrich/Petersen,Holger
　
6. Computing by networks of standard Watson-Crick $D0L$ systems (Algebraic Systems, Formal Languages and Computations)--------------43
　　　　Computer and Automation Research Institute, Hungarian Academy of Sciences　　　Csuhaj-Varju,Erzsebet
　
7. Free algebras for generalized automata and language theory (Algebraic Systems, Formal Languages and Computations)----------------52
　　　　Dept. of Computer Science, University of Szeged　　　Esik,Zoltan
　
8. Symbolic computation of Appell systems on the Schrodinger algebra (Algebraic Systems, Formal Languages and Computations)---------59
　　　　Department of Mathematics, Southern Illinois University/IECN and LORIA, Universite Henri Poincare-Nancy 1　　　Feinsilver,Philip/Schott,Rene
　
9. Multiple-Conclusion System as Communication Calculus : Informal meaning of proofs as communication terms (Algebraic Systems, Formal Languages and Computations)---67
　　　　島根大学総合理工学部　　　藤田 憲悦　(Fujita,Ken-etsu)
　
10. QUANTUM MODELS AND MODES OF COMPUTATION AND COMMUNICATION (Algebraic Systems, Formal Languages and Computations)----------------76
　　　　Faculty of Informatics, Masaryk University/Fakultat fur Informatik, Universitat Karlsruhe　　　Gruska,Jozef/Vollmar,Roland
　
11. Agreeing theorem in an S-4 logic model (Algebraic Systems, Formal Languages and Computations)-----------------------------------86
　　　　慶應義塾大学経済学研究科　　　平瀬 和基　(Hirase,Kazuki)
　
12. A note on the languages recognized by commutative asynchronous automata (Algebraic Systems, Formal Languages and Computations)---95
　　　　Department of Informatics, University of Szeged/Department of Mathematics, Faculty of Science, Kyoto Sangyo University/Department of Computer Science, Istvan Szechenyi College　　　/伊藤 正美　(Imreh,Balazs/Ito,Masami/Pukler,Antal)
　
13. Some problems of BCk, BCI algebras (Algebraic Systems, Formal Languages and Computations)--------------------------------------100
　　　　　　　井関 清志　(Iseki,Kiyoshi)
　
14. On the Shapes of Vertex Subsets of Hypercubes That Minimize Their Boundary (Algebraic Systems, Formal Languages and Computations)---109
　　　　岡山大学工学部/岡山大学工学部/(株)両備システムズ　　　神保 秀司/橋口 攻三郎/山本 治　(Jimbo,Shuji/Hashiguchi,Kosaburo/Yamamoto,Osamu)
　
15. Some open problems in combinatorics of words and related areas (Algebraic Systems, Formal Languages and Computations)----------118
　　　　Department of Mathematics and Turku Centre for Computer Science, University of Turku　　　Karhumaki,Juhani
　
16. Iteration Lemmata for Normed Semirings (Algebraic Systems, Formal Languages and Computations)----------------------------------131
　　　　Fachbereich Informatik, Universitat Hamburg　　　Kudlek,Manfred
　
17. The Weierstrass semigroup of a pair and moduli in $\mathcal{M}_3$ (Algebraic Systems, Formal Languages and Computations)-------138
　　　　神奈川工科大学工学部　　　米田 二良　(Komeda,Jiryo)
　
18. On an Extension of Semigroup (Algebraic Systems, Formal Languages and Computations)--------------------------------------------144
　　　　玉川大学工学部　　　小林 由紀男　(Kobayashi,Yukio)
　
19. ON $k$-p-INFIX CODES (Algebraic Systems, Formal Languages and Computations)----------------------------------------------------152
　　　　Department of Computer Science, City University of Hong Kong/Department of Computer Science, City University of HongKong　　　Long,Dongyang/Jia,Weijia
　
20. String-Objects in P Systems (Algebraic Systems, Formal Languages and Computations)---------------------------------------------161
　　　　Mathematical Linguistics and Language Engineering, Rovira i Virgili University/Institute of Mathematics of the Romanian Academy　　　Martin-Vide,Carlos/Paun,Gheorghe
　
21. Knowledge Structure in Decision Theory (Algebraic Systems, Formal Languages and Computations)----------------------------------170
　　　　茨城工業高等専門学校　　　松久 隆　(Matsuhisa,Takashi)
　
22. Parallel Communicating Finite Automata Systems (Algebraic Systems, Formal Languages and Computations)--------------------------178
　　　　University of Bucharest, Faculty of Mathematics　　　Mitrana,Victor
　
23. Syntactic Congruences of some Codes (Algebraic Systems, Formal Languages and Computations)-------------------------------------191
　　　　国士舘大学工学部　　　守谷 哲夫　(Moriya,Tetsuo)
　
24. Global Dynamics of 1-D Extended Cellular Automata (Algebraic Systems, Formal Languages and Computations)-----------------------200
　　　　　　　西尾 英之助　(Nishio,Hidenosuke)
　
25. Quantum Oracles and Computational Complexity (Algebraic Systems, Formal Languages and Computations)----------------------------207
　　　　名古屋大学人間情報学研究科/名古屋大学情報文化学部　　　西村 治道/小澤 正直　(Nishimura,Harumichi/Ozawa,Masanao)
　
26. 根系に付随する2次のイニシャルイデアル (代数系,形式言語および計算理論)----------------------------------------------------------216
　　　　大阪大学理学部/大阪大学理学部　　　大杉 英史/日比 孝之　(Ohsugi,Hidefumi/Hibi,Takayuki)
　
27. The Area of Figures Representable by Buchi Automata (Algebraic Systems, Formal Languages and Computations)---------------------222
　　　　京都大学情報学研究科　　　竹内 泉　(Takeuti,Izumi)
　
28. "Forbidden divisor" characterizations of epigroups with certain properties of group elements (Algebraic Systems, Formal Languages and Computations)---226
　　　　Ural State University　　　Volkov,M.V.
　
29. Quantum cryptanalysis of block ciphers (Algebraic Systems, Formal Languages and Computations)----------------------------------235
　　　　郵政省通信総合研究所/三菱電機(株)　　　山村 明弘/石塚 裕一　(Yamamura,Akihiro/Ishizuka,Hirokazu)
　
30. 1方向確率的可逆および1方向量子1カウンタオートマトン (代数系,形式言語および計算理論)--------------------------------------------244
　　　　東京大学理学系研究科情報科学専攻/東京大学理学系研究科情報科学専攻/東京大学理学系研究科情報科学専攻/東京大学理学系研究科情報科学専攻　　　山崎 智弘/小林 弘忠/徳永 裕己/今井 浩　(Yamasaki,Tomohiro/Kobayashi,Hirotada/Tokunaga,Yuuki/Imai,Hiroshi)