「Algebraic data type」を解説文に含む見出し語の検索結果(11~20/37件中)
ペール・マルティン=レーフ(Per Martin-Löf)Per Martin-Löf in 2004生誕 (1942-05-08) 1942年5月8日(81歳)スウェーデンストックホルム[1...
ジャック・ティッツ2008年5月生誕 (1930-08-12) 1930年8月12日 ベルギー イクル死没2021年12月5日(2021-12-05)(91歳)居住 フランス市民権ベルギー (1930...
ジャック・ティッツ2008年5月生誕 (1930-08-12) 1930年8月12日 ベルギー イクル死没2021年12月5日(2021-12-05)(91歳)居住 フランス市民権ベルギー (1930...
量子プログラミング言語(りょうしプログラミングげんご、英: Quantum programming language)とは量子アルゴリズム(英語版)の表現を実現するプログラミング言語の総称であ...
量子プログラミング言語(りょうしプログラミングげんご、英: Quantum programming language)とは量子アルゴリズム(英語版)の表現を実現するプログラミング言語の総称であ...
量子プログラミング言語(りょうしプログラミングげんご、英: Quantum programming language)とは量子アルゴリズム(英語版)の表現を実現するプログラミング言語の総称であ...
数値解析における数値線形代数(すうちせんけいだいすう、英: Numerical linear algebra)とは、線形代数で現れる問題(行列積、行列指数関数、連立方程式や固有値・特異値問題)...
数値解析における数値線形代数(すうちせんけいだいすう、英: Numerical linear algebra)とは、線形代数で現れる問題(行列積、行列指数関数、連立方程式や固有値・特異値問題)...
HaskellHaskellのロゴパラダイム関数型プログラミング、純粋関数型言語、非正格プログラミング言語 登場時期.mw-parser-output .plainlist--only-ch...
国際電気通信連合電気通信標準化部門[1](International Telecommunication Union Telecommunication Standardization...