機関誌名は『bulletin』。