※一部利用できない機能があります
- European Conferences on Theory and Practice of Software (28)
- Waseda University Global COE Program, Global Institute for Asian Regional Integration (GIARI) (26)
- 国際日本文化研究センター (19)
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (17)
- Waseda University Global COE Program, Global Institute for Asia Regional Integration (GIARI) (17)
- 広島大学高等教育研究開発センター (17)
- Shakespeare, William, 1564-1616 (14)
- Minjok Tʿongil Yŏnʾguwŏn (Korea) (13)
- 沖縄県文化振興会公文書館管理部史料編集室 (13)
- 沖縄県教育委員会 (12)
- ACM Special Interest Group on Algorithms and Computation Theory (10)
- European Conference on Object-Oriented Programming (10)
- Fister, Pat, 1953- (10)
- Symposium on Foundations of Computer Science (10)
- 大津, 由紀雄(1948-) (10)
- 早川, 聞多(1945-) (10)
- 東京大学社会科学研究所 (10)
- IEEE Power Electronics Specialists Conference (9)
- Symposium on Logic in Computer Science (9)
- 国際シンポジウム (9)
- 栗山, 茂久(1954-) (9)
- ACM Symposium on Theory of Computing (8)
- IEEE Industry Applications Society. Meeting (8)
- IPDPS (8)
- International Conference on Concurrency Theory (8)
- Symposium on Mathematical Foundations of Computer Science (8)
- Symposium on Theoretical Aspects of Computer Science (8)
- Tokyo Conference on Psycholinguistics (8)
- Voronkov, A. (Andreĭ), 1959- (8)
- ブリヂストン美術館 (8)
- 国立国語研究所 (8)
- 大阪産業大学産業研究所 (8)
- Baxter, James C. (7)
- Chomsky, Noam, 1928- (7)
- European Symposium on Programming (7)
- International Colloquium on Automata, Languages and Programming (7)
- International Workshop on Compiler Construction (7)
- Jansen, Klaus (7)
- Organisation for Economic Co-operation and Development (7)
- VMCAI (7)
- Wordell, Charles B. (7)
- Workshop on Languages and Compilers for Parallel Computing (7)
- アジア人口開発協会 (7)
- 国際交流基金 (7)
- 国際文化会館 (7)
- American Bar Association. Section of Administrative Law and Regulatory Practice (6)
- American Ceramic Society. Meeting (6)
- Bermann, George A. (6)
- CAV (Conference) (6)
- DISC (6)
- European Association for Computer Science Logic (6)
- IEEE Computer Society (6)
- IEEE Computer Society. Technical Committee on Parallel Processing (6)
- IEEE Industry Applications Society (6)
- IEEE International Conference on Robotics and Automation (6)
- IEEE Robotics and Automation Society (6)
- ISAAC (Conference) (6)
- International Conference on Automated Deduction (6)
- International Conference on O-cha (tea) Culture and Science (6)
- International Conference on Rewriting Techniques and Applications (6)
- International Conference on Theorem Proving in Higher Order Logics (6)
- JSSPP (6)
- Koch, Charles H. (6)
- O'Reilly, James T., 1947- (6)
- Rozenberg, Grzegorz (6)
- Workshop on Computer Science Logic (6)
- 三重大学 (6)
- 愛知県美術館 (6)
- Asian and Pacific Council. Food & Fertilizer Technology Center (5)
- Boeckx, Cedric (5)
- Conference on Foundations of Software Technology and Theoretical Computer Science (5)
- European PVM/MPI Users' Group Meeting (5)
- FASE (5)
- FOSSACS (5)
- Feitelson, Dror G. (5)
- IEEE Power Electronics Society (5)
- Institute of Electrical and Electronics Engineers (5)
- International Conference Studies for the Integrated Text Science (5)
- International Conference on Algebraic Methodology and Software Technology (5)
- International Conference on Integrated Formal Methods (5)
- International Conference on the Mathematics of Program Construction (5)
- International EURO-PAR Conference (5)
- International Workshop on Algorithms in Bioinformatics (5)
- International Workshop on Practical Aspects of Declarative Languages (5)
- Kuiter, Rudie H. (Rudie Herman), 1943- (5)
- LPAR (5)
- Leondes, Cornelius T. (5)
- Rawls, John, 1921- (5)
- Rolim, José D. P. (5)
- SAS (5)
- Scruggs, Thomas E., 1948- (5)
- Stopes, Marie Charlotte Carmichael, 1880-1958 (5)
- UML (5)
- Workshop on Approximation Algorithms for Combinatorial Optimization Problems (5)
- 名古屋大学大学院文学研究科 (5)
- 国際緑化推進センター (5)
- 放送番組国際交流センター (5)
- 東京パブリッシングハウス (5)
- 礒田, 正美 (5)
- ACM Special Interest Group on Design Automation (4)
- no value (36)