「計算模型」を解説文に含む見出し語の検索結果(41~50/122件中)
計算資源(けいさんしげん、英語: computational resource)とは、コンピュータ科学などで、計算機(具体的なコンピュータ、そこで動くプロセスやジョブ、あるいは抽象的な計算模型)が「計...
計算資源(けいさんしげん、英語: computational resource)とは、コンピュータ科学などで、計算機(具体的なコンピュータ、そこで動くプロセスやジョブ、あるいは抽象的な計算模型)が「計...
計算資源(けいさんしげん、英語: computational resource)とは、コンピュータ科学などで、計算機(具体的なコンピュータ、そこで動くプロセスやジョブ、あるいは抽象的な計算模型)が「計...
計算資源(けいさんしげん、英語: computational resource)とは、コンピュータ科学などで、計算機(具体的なコンピュータ、そこで動くプロセスやジョブ、あるいは抽象的な計算模型)が「計...
計算資源(けいさんしげん、英語: computational resource)とは、コンピュータ科学などで、計算機(具体的なコンピュータ、そこで動くプロセスやジョブ、あるいは抽象的な計算模型)が「計...
計算資源(けいさんしげん、英語: computational resource)とは、コンピュータ科学などで、計算機(具体的なコンピュータ、そこで動くプロセスやジョブ、あるいは抽象的な計算模型)が「計...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/07 20:51 UTC 版)「カリー=ハワード同型対応」の記事における「カリー=ハワード=ランベック対応」の解説ヨア...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
関数型プログラムとして書かれた証明:自然数の加法に関する交換律のCoqによる証明。カリー=ハワード同型対応(カリー=ハワードどうけいたいおう、英語: Curry–Howard correspo...
関数型プログラムとして書かれた証明:自然数の加法に関する交換律のCoqによる証明。カリー=ハワード同型対応(カリー=ハワードどうけいたいおう、英語: Curry–Howard correspo...