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)