「じょきょして」を解説文に含む見出し語の検索結果(1~3/3件中)
読み方:じょきょしてサ行変格活用の動詞「除去する」の連用形である「除去し」に、接続助詞「て」が付いた形。終止形除去する » 「除去」の意味を調べる...
読み方:じょきょしてサ行変格活用の動詞「除去する」の連用形である「除去し」に、接続助詞「て」が付いた形。終止形除去する » 「除去」の意味を調べる...
カット除去定理(カットじょきょていり、英: Cut-elimination theorem)は、シークエント計算の手法の重要性を示す、数理論理学の主要な結果のひとつである。(数理論理学の)基本...
< 前の結果 | 次の結果 >