原创 實數系的公理系統

來自百度百科 概述 實數公理是在集合論發展的基礎上,由***希爾伯特***於1899年首次提出的。後來他所提的公理系統在相容性與獨立性方面得到了進一步改進,逐步演變爲公理系統。 實數公理來源於實數理論的研究,實數理論包括對實數的

原创 也評 阿里 P10 趙海平對王垠的面試

2019年的年末,垠神去阿里面試的事情發酵,網絡上很是熱鬧了一陣。 這裏不對2人的矛盾做評價,至少說一下阿里和垠神可以匹配的地方。 阿里現在正在實現Java平臺,需要PL方面的專家。 王垠是PL方面的專家,且是世界級別的PL方

原创 Git中Add後對部分文件進行取消

在執行git add .操作後,修改的文件添加到版本跟蹤cache中。 如果此時不想對某些文件進行commit了,此時可以執行命令 : git reset [ FileName] 如果不指定文件名,則會對加入的全部文件進行res

原创 2019已去,2020開始

繼續,加油 點贊 收藏 分享 文章舉報 whereismatrix 發佈了110 篇原創文章 · 獲贊 108 · 訪問量 67萬+ 他的留言板

原创 Eigen入門之密集矩陣 3 - Array操作

簡介 在Eigen內,有Matrix,vector進行線性代數的相關運算,但也需要執行對矩陣內的係數的相關操作時,這是正常的功能需求。Eigen中的Array類就是滿足此需求的。 Array 定義 和前面介紹的Matrix和Vec

原创 Eigen入門之密集矩陣 1 -- 類Matrix介紹

簡介 本篇介紹Eigen中的Matrix類。在Eigen中,矩陣和向量的類型都用Matrix來表示。向量是一種特殊的矩陣,其只有一行或者一列。 Matrix構造 在Matrix.h中,定義了Matrix類, 其中的構造器包括如下

原创 在window10 WSL 中編譯 OpenJDK13

簡介 最新的OpenJDK13已經發布到git上,可以git pull,然後編譯了。 準備 在Open JDK13的網站文檔中說,很簡單的幾步操作就好: 下載源碼: hg clone http://hg.openjdk.java.

原创 C# v7.0版本中的local function

簡介 變量和函數根據作用域,有本地的,如local variable, 也有全局的,如Global variable. 對於OO領域的函數,一般我們知道,根據訪問限定,有public、protected、private; 其他的還

原创 C#中擴展類的方法

在Mac、iOS系統下,objective-c可以通過category擴展一個類,添加方法,而無需源碼。 在C#內,也提供了類似的手段,稱之爲"Extension Method". 來自微軟的示例: namespace Exten

原创 在.net中加載dll的一種錯誤問題原因及處理

問題 在一個組件架構的應用程序中,程序啓動時出現了一個錯誤。錯誤提示如下: // List 1 === 預綁定狀態信息 === 日誌: DisplayName = SimpleComponent, Version=1.0.0.0

原创 C# 中socket根據Receive判斷 TcpClient關閉連接的處理

C# 中socket根據Receive判斷 TcpClient關閉連接的處理 程序腳手架 在C#中,開發網絡應用,.Net Framework提供了各種便利。 - TcpListener用於服務端的監聽服務。 - TcpClien

原创 VS.net中的遠程調試

簡介: 我們開發完一個軟件後,提交給客戶或者放到服務器上執行,如果有問題,我們可以使用遠程調試進行發現bug。 這篇文字簡單介紹一下遠程調試。 vs.net遠程調試服務 在vs.net的安裝目錄下,有個remote debug的目錄,

原创 創建macOS 啓動安裝盤

Create the OS X Bootable USB Installer 1. macOS El Capitan 先在電腦上插入USB的移動盤(U盤) U盤的內容請先保存好,過後會格式化操作。同時請了解U盤名。這裏的U盤名設

原创 如何使用 git 更新branch到master最新狀態

使用pull來進行演示 先更新最新的master版本 $ git checkout master $ git pull origin 切換到分支下 $ git checkout feature_bugfix $ gi

原创 Git丟棄不要的修改

在項目的某次修改中,可能包括添加、刪除、更新了一些文件,結果並不好。這時想要丟棄這些修改。 這些變動包括2中類型: tracked file(s) untracked file(s) 使用git clean來清理untracked