wikipedia の sequent calculus のページを一生読んでる (そして一生読み終わらない)