reduction

0熱度

1回答

實踐中的Lambda微積分

如何選擇一種語言，實際計算的lambda項（λx.y）（（λx.xxx）（λx.xxx））？換句話說，需要一種語言來減少正常秩序和弱勢系統。

functional-programming lambda-calculus proof reduction 2012-11-10

---

3熱度

1回答

什麼是還原變量？任何人都可以給我一些例子嗎？

什麼是還原變量？ 任何人都可以給我一些例子嗎？

variables llvm reduction 2013-02-19

---

1熱度

1回答

OpenCL從私有到局部還是全局？

下面的內核計算聲壓場，每個線程計算它自己的pressure向量的私有實例，然後需要將其總結爲全局內存。 我很確定計算pressure向量的代碼是正確的，但我仍然無法使這產生預期的結果。 int gid = get_global_id(0); int lid = get_local_id(0); int nGroups = get_num_groups(0); int groupSize

opencl gpu gpgpu reduction amd-processor 2013-02-19

---

3熱度

3回答

從數據框中嵌入的列表中獲取虛擬（T/F）變量

我有一個data.frame，其中的單元格包含一個術語列表。 我希望爲該列表中找到的每個術語產生一個新變量，表明該術語在該給定單元格中是否存在。 我有一個data.frame中有多個不同的這種實例，並不知道列表的組成的priory。 一個例子data.frame require(plyr) example<-data.frame(groups=letters) example<-adply

r dataframe reduction 2012-11-12

---

2熱度

2回答

如何在lambda演算中使用β減少來評估表達式？

我想評估下式：使用β減少 (λx.y)((λz.zz)(λw.w)) 。 答案是： (λx.y)((λz.zz)(λw.w)) -> (λx.y)((λw.w)(λw.w)) -> (λx.y)(λw.w) -> y 但我不明白的第二階段： 從這裏：(λx.y)((λz.zz)(λw.w))到這裏(λx.y)((λw.w)(λw.w)) 我們在做什麼呢？根據我的理解，我需要使用α等價規

lambda programming-languages lambda-calculus formal-languages reduction 2013-01-17

---

1熱度

2回答

如何在Fortran中對數組使用約簡？

我剛開始學習OpenMP和我有以下... do 100 k=1,lines !$OMP PARALLEL DO PRIVATE(dotprod) REDUCTION(+:co(k),si(k)) do 110,i=1,ION_COUNT dotprod=(rx(k)*x(i)+ry(k)*y(i)...) co(k)=co(k)+COS(dotprod

syntax parallel-processing fortran openmp reduction 2013-01-20

---

2熱度

1回答

MPI_Reduce不能正常工作

我對MPI很新，我想用MPI_Reduce來查找整數數組的最大值。我有大小arraysize的整數數組arr，這裏是我的代碼： MPI_Init(&argc, &argv); MPI_Comm_size(MPI_COMM_WORLD, &number_of_processes); MPI_Comm_rank(MPI_COMM_WORLD, &my_process_id); MPI_Bcast

c mpi openmpi reduction 2012-12-02

---

2熱度

1回答

Noob C++/OpenMP：爲什麼我得到這個編譯時錯誤？ '還原'子句中的變量必須在封閉環境中共享

1 int result = 0; 2 int b = 0; 3 #pragma omp for reduction(+:result) private(b) 4 for(int i = 0; i < size; i++) { 5 ifile >> b; 6 if(b== 100) 7 result++; 8 } 爲什麼我會收到此錯誤？ （3）錯誤C3037：「結果」：在「減少

c++ multithreading parallel-processing openmp reduction 2013-03-16

---

1熱度

4回答

PHP腳本根據需要加載字體

我正在尋找一種在'按需'基礎上添加字體的方法。 我最初有4個Google API字體，當我建立這個特定的網站時選擇。現在它增長了，我想把字體選擇增加到9個選項。 我試圖找出一種方法來通過PHP來完成這件事，但我是一名設計師，所以我的PHP是'呃'。 以下是我所瞭解的php的「草稿」。 有人想幫助我真正快嗎？ <?php //This is in an External PHP Command Pa

php webfonts reduction load-time 2012-10-26

---

2熱度

1回答

Reduce3例如

我讀的CUDA SDK減少優化，我有以下問題，從降低2會發生什麼reduce3： /* This version uses sequential addressing -- no divergence or bank conflicts. */ template <class T> __global__ void reduce2(T *g_idata, T *g_odata, u

cuda gpu nvidia reduction 2012-10-29

---