Association for Symbolic Logic
, The American Institute of Aeronautics and Astronautics
, Association for Computing Machinery
, THE JAPAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES
, Society for Industrial and Applied Mathematics
, THE MATHEMATICAL SOCIETY OF JAPAN
, American Mathematical Society