- Logic Circuits Group (old website)
- Large-Scale Knowledge Processing Lab (Hokkaido University)
- Informatics Seminar (Kyoto University)
- ACM Special Interest Group on Algorithms and Computation Theory (SIGACT)
- IEEE Technical Committee on Mathematical Foundations of Computing (TCMF)
- European Association for Theoretical Computer Science (EATCS)
- Asian Association for Algorithms and Computation (AAAC)
- Institute of Electronics, Information and Communication Engineers (IEICE)
- Information Processing Society of Japan (IPSJ)
- Japanese Society for Artificial Intelligence (JSAI)
- KAKENHI (S) Discrete Structure Manipulation System Project
- Foundations of Innovative Algorithms for Big Data
- Exploring the Limits of Computation