部落格推薦:good math, bad math之Lambda運算元簡介

Good math,bad math是我最近發現的一個部落格。作者Mark Chu-Carroll寫的一系列關於電腦科學理論的文章深入淺出,通俗易懂,屬於茶餘飯後絕佳的消遣讀物。俺一直想寫點介紹lambda caculus的小文章,但看了他的“My Fravorite Calculus: Lambda”後,就打消了這個念頭。有這麼好的文章,轉貼就行了,自己就不用再寫不入流的文章。今天先轉介紹lamdba

ubuntu配置compiz亂套之後的恢複和徹底刪除kubuntu-desktop

這段時間鼓搗著ubuntu的介面玩,遇到的幾個問題的解決方案記錄下來,以備不時之需。第一:我安裝了kubuntu-desktop然後發現不喜歡想刪除,方法如下:sudo apt-get --purge remove libqtcore4,然後刪除登陸介面sudo apt-get autoremove plymouth-theme-*。第二:我配置compiz,最後弄得亂七八糟,鍵盤滑鼠都不響應了,連開啟的檔案標題列也消失了。恢複方法如下:dconf reset -f

簡單通用的makefile檔案

########################################################################### 通用makefile檔案# makefile規則# target ... : prerequisites ...#     command#   ...#   ...# target 是一個目標檔案,可以是Object File,也可以是執行檔案?# prerequisites是要產生那個target所需要的檔案或是目標,用空格隔開#

用IComparable和IComparer來設定定序

只來乾的,不來稀的。/* * 由SharpDevelop建立。 * 使用者: Owner * 日期: 2012-12-24 * 時間: 14:05 * * 要改變這種模板請點擊 工具|選項|代碼編寫|編輯標準標頭檔 */using System;using System.Collections;/* * 假如我們開了一個水果超市:賣好多種類的水果,所以要統計我們的水果資訊。 * 營業員要準確的掌握水果的資訊就要進行排序,否則容易亂,一亂就容易出錯。 *

BMP位元影像檔案加密

24位BMP位元影像檔案 要利用BMP位元影像進行加密首先需要瞭解BMP檔案的存放格式,24位真彩BMP位元影像檔案包括3部分: 第一部分是BMP檔案頭:前2個位元組是“BM”,是用於識別BMP檔案的標誌;第3、4、5、6位元組存放的是位元影像檔案的大小,以位元組為單位;第7、8、9、10位元組是保留的,必須為0;第11、12、13、14位元組給出位元影像陣列相對於檔案頭的位移。 第二部分是點位元影像資訊:從第29個位元組開始,第29、30位元組描述的是像素的位元;第35、36、37、38位元組

xcode代碼提示功能失效的解決方案

以前好像很少碰到Xcode中代碼提示出問題的情況,即使碰到了大多也是後來自然的就好了,最近換用了Xcode4.3,經常遇到這個問題。通過無所不能的Google大神,找到了蘋果論壇上提供的一個解決方案(https://discussions.apple.com/thread/2746273?start=0&tstart=0):1. cd進入~/Library/Developer/Xcode/DerivedData2. ls一下3. 找到你的項目所用的目錄(一般以你的項目名開頭)4. cd

ubuntu配置無線網卡驅動

前段時間安裝了一個ubuntu系統,因為沒有有線連網,只能用無線網卡,然後就各處尋找安裝無線網卡驅動的資訊。因為我的無線網卡型號是:MW150UM。所以就採用網路上的一個方法安裝ndiswrapper,用windows下的驅動,然後怎麼怎麼的,安裝好了,非常高興。但是呢,我發現當我ubuntu核心升級之後,無線網卡不起作用了。這個時候重複以前的步驟也不起作用,所以無奈之下繼續百度搜尋,發現以下方法,有可能是終極解決方案。首先執行lsusb查看網卡的型號等資訊iwateru@laptop-Leno

ipad,iphone啟動圖片命名

Default-Portrait.png iPad專用豎向啟動畫面 768x1024或者768x10042Default-Landscape.png iPad專用橫向啟動畫面 1024x768或者1024x7483Default-PortraitUpsideDown.png iPad專用豎向啟動畫面(Home按鈕在螢幕上面),可省略 768x1024或者768x10044Default-LandscapeLeft.png iPad專用橫向啟動畫面(可省略), 1024x768或者1024x748

設計模式——簡單工廠

原廠模式是建立型模式。簡單工廠是最簡單的模式,主要是靜態建立類型,代碼如下:#region 簡單工廠public abstract class 產品{public abstract string 展示();}public class 產品一 : 產品{public override string 展示(){return "型號:產品一。";}}public class 產品二 : 產品{public override string 展示(){return "型號:產品二。";}}public

多媒體MCI的簡單編程

MCI 是Windows提供多媒體裝置的介面。 MCI 的編程步驟 : 發送 MCI_OPEN 命令開啟裝置--->發送MCI_PLAY 命令播放裝置---->發送MCI_CLOASE 使用mciSendCommand函數可以向指定的裝置發送一個命令,mciSendCommand的定義如下 MCIERROR mciSendCommand( MCIDEVICEID IDDevice, //裝置ID UINT uMsg, //命令類型 DWORD

Namespace:命名空間

Namespace:命名空間。命名空間是用來解決不同的類和函數擁有相同的名稱的問題。解決了命名衝突的問題。namespace gxg{   class A;   void BFunction();} namespace gaoxiaoguang{   class A;   void BFunction();} 使用方法:gxg::A gxgA;gaoxiaoguang::A

視窗編程__小樣本(1)

運行之後的介面:        BOOL CWndExDlg::OnInitDialog(){CDialog::OnInitDialog();// Add "About..." menu item to system menu.// IDM_ABOUTBOX must be in the system command range.ASSERT((IDM_ABOUTBOX & 0xFFF0) == IDM_ABOUTBOX);ASSERT(IDM_ABOUTBOX < 0xF000)

視窗編程__小樣本(2)

  // WndEx2Dlg.cpp : implementation file//#include "stdafx.h"#include "WndEx2.h"#include "WndEx2Dlg.h"#ifdef _DEBUG#define new DEBUG_NEW#undef THIS_FILEstatic char THIS_FILE[] = __FILE__;#endif/////////////////////////////////////////////////////////

論我的十大罪過和老婆的十大優點

前言:話說和honey相處了這麼久,在honey的威逼利誘下,終於以日誌的形式來論述本人的十大罪過,但是,值得大家注意的是,我的        

資料庫操作之基礎篇

1、說明:建立資料庫CREATE DATABASE database-name2、說明:刪除資料庫drop database dbname3、說明:備份sql server— 建立 備份資料的 deviceUSE masterEXEC sp_addumpdevice ‘disk’, ‘testBack’, ‘c:\mssql7backup\MyNwind_1.dat’— 開始 備份BACKUP DATABASE pubs TO testBack4、說明:建立新表create table

異常–提醒自己

今天寫一個程式突然發現一個問題,我拋出的異常沒有被截獲直接記憶體泄露死掉了。找了半天發現問題的所在。記下來,提醒自己。 try{       …       throw std:: out_of_range(“出界了”);       …}catch(std::exception const& ex){       std::cerr << "Exception: " << ex.what() << std::endl;       return

加班就是好!

胡新宇同學就是我們的榜樣。沒有義務加班的公司不能去。以後應聘的時候,工資待遇什麼的都好商量,但加班時間沒得商量。每周工作時間少於80小時的公司絕對不能去。那樣的公司裡沒有職業前途可言。要知道,工作就是學習。工作就是生活。工作就是反思。沒有加班,哪裡來的自我提升?哪裡來的一張一弛文武之道?人生在世誰無死,加班留名照汗青。絕不能學英國產業工人,居然在100多年前就爭取每天只工作10小時。後來居然還串通其它歐洲國家的工人,爭取了每天只工作8小時。還是現在的世道好。加班是常態,按時下班是變態。打死我都要

記錄nginx兩種問題解決

1: recv錯誤recv() failed (104: Connection reset by peer) while reading client request line發生這種問題,主要是因為網路問題,在遷移aizher.com

lambda運算元3:阿隆佐.丘齊(Alonzo Church)的天才

lambda運算元3阿隆佐.丘齊(Alonzo Church)的天才:Lambda運算元裡的數前面建立了lambda運算的基本規則,就可以用lambda運算元做點有意思的東西了。開始前為方便計,我們先來點文法糖花差花差,用來命名函數。這些文法糖可以讓複雜的公式好寫一點。我們用"let" 來引入一個“全域”函數(也就是說,我們用這個函數時,不用在每個運算式裡定義一次):let squer = lambda x. x^2這個式子申明了一個叫"square"的函數,定義為 lamdba x. x^2。

apache, DSO原理

Apache HTTP伺服器是一個模組化的軟體,使管理者可以選擇核心中包含的模組以裁剪功能。可以在編譯時間選擇被靜態包含進httpd二進位映象的模組,也可以編譯成獨立於主httpd二進位映象的動態共用對象DSO,DSO模組可以在編譯伺服器之後編譯,也可以用Apache擴充工具(apxs)編譯並增加。本文闡述如何使用DSO模組及其工作原理。工作原理DSO是Dynamic Shared

總頁數: 61357 1 .... 8638 8639 8640 8641 8642 .... 61357 Go to: 前往

聯繫我們

該頁面正文內容均來源於網絡整理,並不代表阿里雲官方的觀點,該頁面所提到的產品和服務也與阿里云無關,如果該頁面內容對您造成了困擾,歡迎寫郵件給我們,收到郵件我們將在5個工作日內處理。

如果您發現本社區中有涉嫌抄襲的內容,歡迎發送郵件至: info-contact@alibabacloud.com 進行舉報並提供相關證據,工作人員會在 5 個工作天內聯絡您,一經查實,本站將立刻刪除涉嫌侵權內容。

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.