シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので...

シークエント・コンピュータ（Sequent Computer Systems、またはSequent（シークエント））は、1983年から1999年まで存在したアメリカ合衆国のコンピュータ企業である。対称...

シークエント・コンピュータ（Sequent Computer Systems、またはSequent（シークエント））は、1983年から1999年まで存在したアメリカ合衆国のコンピュータ企業である。対称...

別表記：シクェンシャル「sequential」とは、「順次的な」「一連の」「引き続く」といった特定の順序と規則性を持って並ぶことや引き続いていくことを意味する英語表現である。「sequential」と...

別表記：シクェンシャル「sequential」とは、「順次的な」「一連の」「引き続く」といった特定の順序と規則性を持って並ぶことや引き続いていくことを意味する英語表現である。「sequential」と...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/31 08:05 UTC 版)「マイクロプロセッサ」の記事における「32ビットマイクロプロセッサ」の解説マイクロプロセ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/10 22:50 UTC 版)「1990年以後の企業の買収・合併の実績」の記事における「コンピュータ・ソフトの製造」の...

推論（すいろん、英語: inference）とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。概要推論の正しさを妥当性という。あらゆる事柄は言語において表現されるのであるから...

推論（すいろん、英語: inference）とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。概要推論の正しさを妥当性という。あらゆる事柄は言語において表現されるのであるから...

TIS株式会社TIS Inc.本社が入居する住友不動産新宿グランドタワー種類株式会社機関設計監査役会設置会社[1]市場情報東証プライム 36262008年4月1日上場略称TIS本社所在...