「Functional Programming」を解説文に含む見出し語の検索結果(151~160/299件中)
コンピュータ音楽(コンピュータおんがく、computer music、コンピュータ・ミュージック)とは、コンピュータ技術の音楽の作曲や演奏への応用であり、作曲家が新しい楽曲を製作するサポートとしてコン...
コンピュータ音楽(コンピュータおんがく、computer music、コンピュータ・ミュージック)とは、コンピュータ技術の音楽の作曲や演奏への応用であり、作曲家が新しい楽曲を製作するサポートとしてコン...
コンピュータ音楽(コンピュータおんがく、computer music、コンピュータ・ミュージック)とは、コンピュータ技術の音楽の作曲や演奏への応用であり、作曲家が新しい楽曲を製作するサポートとしてコン...
コンピュータ音楽(コンピュータおんがく、computer music、コンピュータ・ミュージック)とは、コンピュータ技術の音楽の作曲や演奏への応用であり、作曲家が新しい楽曲を製作するサポートとしてコン...
コンビネータ論理(英: combinatory logic、組み合わせ論理)は、モイセイ・シェインフィンケリ(ロシア語版、英語版)(露: Моисей Эльевич Шейнфинк...
コンビネータ論理(英: combinatory logic、組み合わせ論理)は、モイセイ・シェインフィンケリ(ロシア語版、英語版)(露: Моисей Эльевич Шейнфинк...
コンビネータ論理(英: combinatory logic、組み合わせ論理)は、モイセイ・シェインフィンケリ(ロシア語版、英語版)(露: Моисей Эльевич Шейнфинк...
圏論においてクライスリ圏(クライスリけん、英: Kleisli category)とは、『すべてのスタンダード構成は関手の随伴対から得られるか』という予想に対し、ハインリッヒ・クライスリが解答...
圏論においてクライスリ圏(クライスリけん、英: Kleisli category)とは、『すべてのスタンダード構成は関手の随伴対から得られるか』という予想に対し、ハインリッヒ・クライスリが解答...
シンボリックス(英: Symbolics)は、同名(Symbolics, Inc.)のかつて存在したコンピュータ製造企業の資産を引き継いだ私企業であり、Open Genera LISPシステム...