検索結果
ナビゲーションに移動
検索に移動
ページ名と一致
- 5キロバイト (96 語) - 2023年9月29日 (金) 15:15
- …true) と評価されなければならない<ref>ないし、真 (true) として扱われる値（言語により異なる）でなければならない</ref>[[式 (プログラミング)|式]]である。偽の場合は残りの処理のほうに進む。[[パターンマッチング]]のある言語の、パターンマッチングの能力をより強化したものと見ることもできる …8キロバイト (324 語) - 2023年4月7日 (金) 07:06
- 57キロバイト (4,004 語) - 2024年8月21日 (水) 18:32
- 22キロバイト (1,157 語) - 2024年10月23日 (水) 17:07
- 16キロバイト (1,224 語) - 2025年3月8日 (土) 15:08
- …ン・バッカス]]が[[関数型プログラミング]]パラダイムを支持するために創り出した[[プログラミング言語]]の1つである。名前が付けられた[[変数 (プログラミング)|変数]]を排除することができる。本言語は、バッカスによる1977年[[チューリング賞]]受賞講演「プログラミングはフォン・ノイマン・スタイルから解放 ここで ''E'''''f''' は、関数形式を用いて、原始的関数、他の定義済関数および関数記号 '''f''' それ自身から構築された1個の[[式 (プログラミング)|式]]である。 …7キロバイト (448 語) - 2024年11月26日 (火) 22:00
- 13キロバイト (686 語) - 2024年9月7日 (土) 10:23
ページ本文と一致
- 2キロバイト (60 語) - 2023年9月8日 (金) 07:05
- 5キロバイト (96 語) - 2023年9月29日 (金) 15:15
- 3キロバイト (45 語) - 2020年1月6日 (月) 07:38
- …ン・バッカス]]が[[関数型プログラミング]]パラダイムを支持するために創り出した[[プログラミング言語]]の1つである。名前が付けられた[[変数 (プログラミング)|変数]]を排除することができる。本言語は、バッカスによる1977年[[チューリング賞]]受賞講演「プログラミングはフォン・ノイマン・スタイルから解放 ここで ''E'''''f''' は、関数形式を用いて、原始的関数、他の定義済関数および関数記号 '''f''' それ自身から構築された1個の[[式 (プログラミング)|式]]である。 …7キロバイト (448 語) - 2024年11月26日 (火) 22:00
- [[プログラミング (コンピュータ)|プログラミング]]において、[[型システム#強い型付けと弱い型付け|強い型付け]]のプログラミング言語のルーチン（関数、プロシージャ、メソッド）は、型付きラムダ計算と …5キロバイト (139 語) - 2023年8月7日 (月) 07:18
- …Command Language|ガード付きコマンド]]を使って実行を制御する。彼が ''wp'' の定義に課した規則により、コマンドの[[ガード (プログラミング)|ガード]]が互いに素でない場合、これらの構文では非決定的実行が可能になる。 …4キロバイト (167 語) - 2019年11月21日 (木) 03:29
- KRCはSASLの文法にさらに改良を加えた言語で、[[パターンマッチ]]、[[ガード_(プログラミング)|ガード]]、等式で表現された再帰可能な関数定義、[[ツェルメロ＝フレンケルの公理系|ZF]] 表記（[[:en:List_comprehension …6キロバイト (376 語) - 2022年12月28日 (水) 15:35
- 4キロバイト (208 語) - 2025年2月16日 (日) 00:33
- [[Category:プログラミング]] …3キロバイト (175 語) - 2024年11月28日 (木) 07:02
- 7キロバイト (489 語) - 2024年8月19日 (月) 00:45
- {{Otheruses|鉱物の粒度|プログラミング|粒度 (プログラミング)|プロセスモデル|プロセスモデル#粒度による分類}} …2キロバイト (136 語) - 2022年1月14日 (金) 16:10
- 6キロバイト (417 語) - 2024年11月24日 (日) 17:00
- * 多くのプログラミング言語において、空文字列は最小の[[クワイン (プログラミング)|クワイン]]である。 * 文字列が文字への[[ポインタ (プログラミング)|ポインタ]]で表される[[C言語]]などでは、ヌル文字へのポインタで表される[[文字列]]となる。ゼロで埋められたメモリ領域を[[ヌル終端文字列]] …10キロバイト (434 語) - 2024年5月9日 (木) 15:58
- [[C++]]では[[テンプレート (プログラミング)|テンプレート]]を利用した<code>std::numeric_limits<T>::epsilon()</code>関数が定義されてい …7キロバイト (529 語) - 2024年10月5日 (土) 10:55
- …[[関手]] ''F'' に従って定義される構造の一つで、[[リスト (抽象データ型)|リスト]]や[[木構造 (データ構造)|木構造]]のような[[プログラミング]]で使われる[[データ構造]]を表現するのに利用できる。 [[始代数|''F''-始代数]]は、[[数学的帰納法|数学的帰納法の原理]]を捉えたものと …5キロバイト (287 語) - 2023年10月11日 (水) 16:51
- '''カリー化''' (currying, カリー化された=curried) とは、複数の[[引数]]をとる[[関数 (プログラミング)|関数]]を、引数が「もとの関数の最初の引数」で戻り値が「もとの関数の残りの引数を取り結果を返す関数」であるような関数にすること（あるいはその関数のこ …6キロバイト (291 語) - 2022年8月30日 (火) 08:29
- 5キロバイト (259 語) - 2023年12月2日 (土) 06:45
- 1キロバイト (20 語) - 2022年8月30日 (火) 12:10
- …タ)|プログラミング]]においては、'''自由変数'''とは[[サブルーチン|関数]]の中で参照される[[局所変数]]や[[引数]]以外の[[変数 (プログラミング)|変数]]を意味する。 *[[変数 (プログラミング)]] …7キロバイト (289 語) - 2022年8月1日 (月) 11:09
- …true) と評価されなければならない<ref>ないし、真 (true) として扱われる値（言語により異なる）でなければならない</ref>[[式 (プログラミング)|式]]である。偽の場合は残りの処理のほうに進む。[[パターンマッチング]]のある言語の、パターンマッチングの能力をより強化したものと見ることもできる …8キロバイト (324 語) - 2023年4月7日 (金) 07:06