タンパク質構造予測 （たんぱくしつこうぞうよそく） は、タンパク質についてそのアミノ酸配列をもとに3次元構造（立体配座）を予測することをいい、バイオインフォマティクスおよび計算化学における研究分野の一つである。専門的な言葉では「タンパク質の一次構造をもとに三次構造を予測すること」と表現できる。タンパク質のアミノ酸配列は一次構造と呼ばれる。タンパク質のアミノ酸配列は、その遺伝子が記録されたDNAの塩基配列から、遺伝コード（コドン）の対応表に基づいて、導出することができる。生体内において、ほとんどのタンパク質の一次構造は一意的に3次元構造（三次構造、コンフォメーション）をとる（タンパク質が折りたたまれる）。タンパク質の3次元構造を知ることは、そのタンパク質の機能を理解する上で有力な手がかりとなる。創薬などのように公益性が高いさまざまな分野において応用されている。タンパク質の3次元構造を解明する手段としては、実験による方法と予測による方法がある。この項目では予測による方法を説明する。タンパク質構造予測においては多くの手法が考案されている。それぞれの手法の有効性は、2年ごとにCASP（Critical Assessment of Techniques for Protein Structure Prediction）により、評価されている。
本作は水島新司の本格野球漫画の、実質的な第一作である（この後水島は『男どアホウ甲子園』でヒットを飛ばす）。原作が下町人情劇の名手・花登筐ということもあり、長屋住まいの貧乏高校生を主人公に据えた本作は、多少の喜劇性などを入れてはあるものの、陰湿で執拗なイジメ、父親の犯罪、富裕層と貧困層の越えられない壁、借金をネタとした罠にはめられた主人公が野球協約に違反して選手生命を奪われそうになるなど、スポ根ものの爽快感やカタルシスよりも、野球チームのエースとなる為の茨の道と苦悩が強調されて描かれた作品となった。それは、別の高校に転校した広部の投げる野球チームと甲子園で対戦し、怪我をした腕で完投した主人公が敗北するという、苦さの残る最終回で結実しているといえるだろう。その後本作の主人公・堂島剛がプロ野球を断念し、田舎の私塾の野球部の指導者として招かれる続編が、『アパッチ野球軍』である。
ここで判断 "A true" について述べる。論理結合子を結論として導入する推論規則を導入規則（introduction rules）と呼ぶ。論理積を導入するとは、命題 A と B について "A and B true" を結論とすることに他ならない。このとき、"A true" と "B true" の証拠が必要である。これを推論規則で表すと、次のようになる。\frac{A\hbox{ true} \qquad B\hbox{ true}}{A \wedge B\hbox{ true}}\ \wedge_Iこのような規則において、各オブジェクトが命題であることは自明とされる。すなわち、この規則を正確に記すと次のようになる。\frac{A\hbox{ prop} \qquad B\hbox{ prop} \qquad A\hbox{ true} \qquad B\hbox{ true}}{A \wedge B\hbox{ true}}\ \wedge_Iこれを次のようにも書き表せる。\frac{A \wedge B\hbox{ prop} \qquad A\hbox{ true} \qquad B\hbox{ true}}{A \wedge B\hbox{ true}}\ \wedge_Iこの形式では、第一の前提は構成規則 \wedge_F に従って得られたものである。以下では判断 "prop" は自明として省略する。なお、真は前提が全くないところからも導かれる。\frac{\ }{\top\hbox{ true}}\ \top_I命題の真理値が決まる過程が1つでない場合、その結合子には複数の推論規則が対応することになる。\frac{A\hbox{ true}}{A \vee B\hbox{ true}}\ \vee_{I1}\qquad\frac{B\hbox{ true}}{A \vee B\hbox{ true}}\ \vee_{I2}なお、何の前提もなく偽を導入する導入規則は存在しない。従って、単純な判断から偽であることを推論することはできない。導入規則と対になる除去規則（elimination rules）がある（削除規則とも）。すなわち、複合型の命題を解体するものである。例えば、"A ∧ B true" から "A true" と "B true" を結論とすることができる。\frac{A \wedge B\hbox{ true}}{A\hbox{ true}}\ \wedge_{E1}\qquad\frac{A \wedge B\hbox{ true}}{B\hbox{ true}}\ \wedge_{E2}推論規則の適用例として、論理積の交換法則の例を示す。A ∧ B が真なら、B ∧ A も真である。その導出過程は、下にある推論の前提が前の推論の結論となるような記法で表される。 \cfrac{\cfrac{A \wedge B\hbox{ true}}{B\hbox{ true}}\ \wedge_{E2}  \qquad \cfrac{A \wedge B\hbox{ true}}{A\hbox{ true}}\ \wedge_{E1}} {B \wedge A\hbox{ true}}\ \wedge_Iここまで述べてきた推論の手法では、含意の導入や論理和の除去といった規則を述べるのに十分ではない。そのためには、仮説的導出（hypothetical derivation）の一般的記法を必要とする。