原创 2019.4.31
2019.4.31 public static Callable<Path> searchForTask(String word, Path path){ return () -> { tr
2020-07-02 17:48:08
原创 如何增加博客訪問量（一）
如何增加博客訪問量（一） 如何增加博客訪問量？ 自己動手，豐衣足食（即答 代碼： package java_xer; import java.io.IOException; import java.io.InputStream
2020-06-26 07:00:30
原创 《Java語言程序設計與數據結構》編程練習答案（第十九章）（一）
《Java語言程序設計與數據結構》編程練習答案（第十九章）（一） 英文名：Introduction to Java Programming and Data Structures, Comprehensive Version, 1
2020-06-26 07:00:28
原创 《Java語言程序設計與數據結構》編程練習答案（第十九章）（二）
《Java語言程序設計與數據結構》編程練習答案（第十九章）（二） 英文名：Introduction to Java Programming and Data Structures, Comprehensive Version, 1
2020-06-26 07:00:28
原创 人智導（四）：約束滿足問題
人智導（四）：約束滿足問題 約束滿足問題(Constraint Satisfaction Problem) 一種結構化的、簡單而標準模式的問題表示 狀態被描述爲一系列變量XiX_iXi（對應的值域爲DiD_iDi） 目標測試
2020-06-26 07:00:28
1
原创 2018.8.25
2018.8.25 static User initUser( String account, String name ) { String id = createBacke
2020-06-16 09:26:35
原创 2018.8.17
2018.8.17 insert into student values('74016', 'Moei', 'Elec. Eng.', 15); insert into student values('93061', 'Alfar
2020-06-16 09:26:35
原创 2018.8.6
2018.8.6 Calendar cal=Calendar.getInstance(); int y=cal.get(Calendar.YEAR); int m=cal.get(Calendar.MONT
2020-06-16 09:26:35
原创 2018.8.5
2018.8.5 Calendar cal=Calendar.getInstance(); int y=cal.get(Calendar.YEAR); int m=cal.get(Calendar.MONT
2020-06-16 09:26:35
原创 2018.8.16
2018.8.16 insert into student values('74016', 'Moei', 'Elec. Eng.', 15); insert into student values('93061', 'Alfar
2020-06-16 09:26:35
原创 2018.8.4
2018.8.4 Calendar cal=Calendar.getInstance(); int y=cal.get(Calendar.YEAR); int m=cal.get(Calendar.MONT
2020-06-16 09:26:35
原创 程序驗證（九）：程序正確性規範
程序驗證（九）：程序正確性規範 什麼是程序的正確性？應當在指定的前提下，進行預定的行爲，達到指定的結果。 部分正確性(Partial Correctness) 部分正確性指的是一個程序的停止行爲 我們將部分正確性用霍爾三元組(Ho
2020-06-16 09:26:35
原创 程序驗證（十）：演繹驗證（上）
程序驗證（十）：演繹驗證（上） 基礎路徑(Basic Approach) 給定一個程序ccc，由以下specification註解： {P}c{Q}\{P\}c\{Q\}{P}c{Q} 爲了證明這個三元組，我們構造一個驗證條件(v
2020-06-16 09:26:35
原创 2018.8.22
2018.8.22 this.uid = id; this.name = name; this.imageID = imageID; this.account = account;
2020-06-16 09:26:35
原创 2018.8.9
2018.8.9 public static final String CREATE_DATABASE = "[Cc][Re][Ee][Aa][Tt][Ee](\\s)+[Dd][Aa][Tt][Aa][Bb][Aa][Ss][E
2020-06-16 09:26:35