(Translated by https://www.hiragana.jp/)
[0904.2759] Span programs and quantum query complexity: The general adversary bound is nearly tight for every boolean function