問題與其對策的討論流程

2017 年 12 月 31 日 | Productivity

駱明慶(2006)經濟學與公共政策提到公共政策討論應該具備以下四個思考步驟:

  1. 問題是什麼?
  2. 理想的狀況是什麼?
  3. 由「現況」到達「理想境界」的具體做法,也就是「政策建議」
  4. 在考量了人們的反應之後,新政策的實施,是否真能導引社會由「現況」向「理想境界」前進。

Leslie Lamport(1978)State the Problem Before Describing the Solution則是針對論文組織架構提出以下建議

  1. a brief informal statement of the problem ;
  2. the precise correctness conditions required of a solution ;
  3. the solution;
  4. a proof that the solution satisfies the requisite conditions.

雖然兩者描述的方式不太一樣,但是概念是差不多的,

巧合的不僅是概念,步驟也剛好是一樣是四個,這些概念不局限於公共政策跟論文,軟體開發時面對的各種問題與會議也能運用相同的概念.

雖然概念一樣,但是依據狀況的不同,弄錯的地方也不太一樣,以公共政策來說,一般來人最容易忽略的地方是對第 4.點缺乏想像,例如最近的最低薪資,

Reset Photos for macOS

2017 年 11 月 12 日 | macOS

在使用 Photos for macOS 的時候, 很容易將資料弄得很亂, 所以如果想要將 Photos for macOS 回復到一開始的狀態的話, 可以手動將設定檔與圖庫刪除, 之後重新開啟即可

Running shotwell on Bash on Ubuntu on Windows

2017 年 11 月 11 日 | Linux Windows

自從被某網友推坑使用 Debian 之後, 我就很喜歡使用 shotwell 來管理我拍的相片, 我最喜歡的一點是 shotwell 會自動根據 EXIF 的拍攝日期來顯示照片, 而不是跟實際的資料夾結構綁定, 這讓照片的管理變得十分容易, 唯一的缺點是只能在 Gnome 的桌面環境下使用, 為了在 Windows 上面執行 shotell, 一個方式是用 virtual box, 但是實際跑起來不是很方便, 而這裡要介紹的是另一個方式, 原理也有點複雜, 不過有一個好處是可以寫成 script, 也就是可以自動化在新的電腦安裝, 以下是安裝步驟:

mac 環境設定

2017 年 10 月 26 日 | macOS

最近買了 mabook pro 13吋來當作是開發機, 而我最喜歡用的程式碼編輯器是 vim, 不過因為 vim 的同步執行在某些情境下並不是很方便, 所以這次改用 neovim 來開發

How To Read A Book

2017 年 10 月 14 日 |

— title: How to read a book tags: [reading] —

GPG 常用指令

2017 年 10 月 06 日 | GPG

設定 Windows 10 背景顏色

2017 年 09 月 17 日 | Windows

Latex xeCJK 樣板

2017 年 04 月 30 日 | Latex

Latex CJK 樣板

2017 年 04 月 29 日 | Latex

Setup docker with scoop on windows

2017 年 04 月 15 日 | docker

Create self-signed certificate

2017 年 04 月 15 日 | Debian

ssh 權限設定

2017 年 02 月 13 日 | Debian

檔案的權限設定錯誤會導致 ssh 認證失敗

aws S3 backup script

2017 年 02 月 13 日 | Debian

Reset VirtualBox disk uuid

2016 年 12 月 12 日 | Debian

install java8 on Debian

2016 年 11 月 20 日 | Debian

移除 git submodule

2016 年 11 月 15 日 | git

關於 ruby 的環境設定

2016 年 10 月 17 日 | ruby

因為 Jekyll 使用到的套件非常多,其中有一些套件很不好安裝,這裡紀錄一些我安裝時遇到的問題,以及後來解決時所使用到的資料。

export scala to runnable jar

2016 年 10 月 01 日 | scala

docker dns lookup fail

2016 年 09 月 23 日 | Debian

Debian 套件 Quod Libet

2016 年 09 月 13 日 | Debian

Quod Libet 是一個很簡潔的跨平台音樂播放程式

Java Basics

2016 年 09 月 12 日 | Java

在終端使用 lftp 與 ftp 上的檔案同步

2016 年 09 月 12 日 | bash

使用 rsync 時不複製檔案權限

2016 年 09 月 12 日 | bash

使用 find 找出符合常規表示式的檔案並刪除

2016 年 09 月 12 日 | bash

Debian Live CD/DVD

2016 年 09 月 11 日 | Debian

從 json 檔案讀取某一性質

2016 年 09 月 11 日 | bash

Debian 套件 uni2ascii

2016 年 09 月 07 日 | Debian

在網路上使用 api 的時候,中文會以 unicode 的方式編碼, uni2ascii 可以將 unicode 轉換成使用者可以閱讀的形式, 解決的方式有不少個,這裡紀錄兩個。

如何 terminal 下 vim 使用系統的剪貼簿

2016 年 09 月 06 日 | vim

Debian 套件 shotwell

2016 年 09 月 04 日 | Debian

shotwell 是基於 gnome 的相片管理軟體,安裝方式是

Ruby jekyll serve error

2016 年 09 月 03 日 | Ruby

錯誤訊息: jekyll 3.2.1 | Error: Address already in use - bind(2) for 127.0.0.1:4000

這是要使用 jekyll serve 遇到的問題, 原因是同一個 port 已經被使用了, 但是當前的 terminal 並沒有看到執行中的程序, 沒辦法用 Ctrl-C 的方式關閉, 所以需要以指令的方式關閉, 首先找出執行中的程序id, 然後用 sudo kill 手動中止。

清水斷崖

2016 年 09 月 02 日 | Photo

Debian 套件安裝

2016 年 09 月 02 日 | Debian

Debian + Windows 10 雙重開機

2016 年 08 月 21 日 | Debian

Debian 硬體驅動程式

2016 年 08 月 21 日 | Debian