検索この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(2016年1月)数学において、ウォリス積分とは、ジョン・ウォリスによって導入された積分である。{m}{m+1}}}が得られる。(m+1)I_{m+1}I_{m}=mI_{m}I_{m-1}}が成り立つ。}}}はウォリスの公式の拡張である。応用[編集]ウォリスの公式を用いてガウス積分を求めることができる。三井鉱山が三井三池炭鉱をロックアウト。