📜 [專欄新文章] [zkp 讀書會] Cairo 語言介紹

✍️ NIC Lin

📥 歡迎投稿： https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium

Cairo 是 STARK 證明系統的其中一個編程語言，讓開發者能透過 Cairo 來使用 STARK，撰寫效能更高的 Dapp

Photo by Simon Berger on Unsplash

Warning：本篇會保持在 high level 的介紹，實際深入的部分請見文內附上的文檔或是官方開發者文件

背景介紹

建構於密碼學的零知識證明能提供計算的隱私性，但同時在區塊鏈生態系也被用來提升 Scalability — 我可以用 10 秒的運算資源來驗證原本耗費 1000 秒運算資源的計算過程

如同更多人熟悉的 SNARK，STARK 也是一個零知識證明的證明系統，但當前的 STARK 著重的是在 Scalability ，而非大家比較習以為常零知識證明提供的隱私性特質

其實目前基於 SNARK 的 Rollup 項目，例如 zkSync、Loopring、Aztec、zkopru，除了 Aztec 外，其他都是利用 SNARK 來增加 Scalability — 這些 Rollup 上資料都還是公開、沒有隱私性的

StarkWare 是目前唯一基於 STARK 的開發團隊

STARK 要加上隱私保護不會太難，只是 StarkWare 還沒有把這項功能放在未來規劃中

Cairo 簡介

標榜為圖靈完備的零知識證明系統語言，Cairo 對原本熟悉 Solidity 的開發者來說還是會感到比較難上手和陌生的。再加上套件庫還不夠充足，目前支援的雜湊函式是 Pedersen，數位簽章演算法是 ECDSA（相對於 SNARK，EdDSA 的效能反而比較差所以沒有支援）。
但 Cairo 還在早期開發的階段，相信開發體驗會越來越好的。

另外需要注意的是作為一個證明系統，會有 Prover 和 Verifier 的角色。而 STARK 的 Verifier 是公開的，但 Prover 軟體預計會有 License 保護。Prover 一般情況下不得用於商業用途，除非將 proof 上傳至官方的 Verifier。

最後要提及的是，第一版的 Cairo 是設計來方便開發者將 Dapp 的運算遷移至鏈下。不同於 Rollup，這個鏈下只會有它自己一個 Dapp。這個 Dapp 的項目方自己維護自己 Dapp 的 state。（ Rollup 則是 operator 維護所有 Dapp 的 state，Dapp 開發者不需自己操煩）
這可能有點難懂。如果你有在寫 Solidity，想像一下今天你在合約要用到合約裡宣告的 storage 變數時，你要自己提供 merkle proof 上來，證明這個storage 變數真的是這個值。這個就是開發者要自己維護 state 的意思。

而第二版的 Cairo 則是 StarkNet 裡使用的 Cairo（第一和第二版是不同編譯器），這版的 Cairo 就是作為 Dapp 在 Rollup 開發所使用 — 開發者可以在合約裡宣告變數，變數的值不需開發者維護，可以直接假設存在。
註1：StarkWare 不喜歡 Rollup 這個詞，他們覺得 Data Availability 的需求是一段光譜：不一定得要把 data 全都送上 L1，中間有其他方式可以做不同層級的 Data Availability。
註2：第一版和第二版實際上在官方版本裡是 0.0.1 及 0.0.2，在撰文當前最新版即是 0.0.2

官方網站：https://www.cairo-lang.org
開發者文件：https://www.cairo-lang.org/docs/

開發環境

Cairo 有提供像是 Remix 的瀏覽器 IDE：playground。裡面提供各種範例練習和挑戰，除了可以編譯，還可以直接生成並上傳 proof。
註：但有些功能還是沒辦法在 playground 裡使用，例如要給你的程式 custom input 時。這時候只能在本地端開發才能使用這個功能。

開發 Cairo 要先安裝python，我將開發者文件整理出來的資料統整在這個 hackmd 文檔裡：https://hackmd.io/w690dpAQTsKeKZv3oikzTQ
裡面包含簡介、設置本地開發環境以及 Cairo 基礎（因為篇幅原因，所以不將內容複製到這裡）
註：我把開發者文件裡的代碼整理到這裡：https://github.com/NIC619/cairo_practice/tree/master/practices
如果不想在研究開發者文件過程中，還要自己手動拼湊裡面例子的話，可以直接用整理好的代碼來執行。同時 repo 裡還有包含一些額外自己測試 Cairo 功能的範例。

深入 Cairo

在那份 hackmd 文檔裡的開頭，可以連結到第二部分 — 深入 Cairo 的部分。裡面也是從開發者文件裡擷取出來我覺得比較重要的部分。如果你要讀開發者文件的話，我建議從 Hello Cairo 開始，它會從例子切入，會比較好知道 Cairo 怎麼使用。接著如果要更深入了解，再去讀 How Cairo Works。

StarkNet Cairo

第二版的 Cairo 其實功能和第一版的 Cairo 是差不多的，所以不必擔心在開發者文件裡學到的 Cairo 在 StarkNet 版本會不能用或差很多。在讀完 Hello Cairo/How Cairo works 後，就可以接著看 Hello StarkNet。會很順利的切換到 StarkNet 版本的 Cairo。
註1：我整理的文檔裡是按照第一版 Cairo 所寫的
註2：如果你從開發者文件一路看下來，體驗過非 StarkNet 版的 Cairo，那你在體驗 StarkNet 版的 Cairo 時一定會發現這更像一般智能合約的使用方式 — 你可以用 view 函式查詢 storage 變數，可以用 external 函式去執行合約（非 StarkNet 版本不是這樣操作 Dapp 的，這邊因為篇幅原因沒有詳細介紹）。

非常建議嘗試兩種版本的 Cairo，你會知道 1. 操作一個單獨在 L2 的 Dapp 和2. 操作與其他 Dapp 共存在 Rollup 上的 Dapp 的不同。這對了解 L2 怎麼運行、需要哪些資料、為什麼需要這些資料非常有幫助。

0.0.2 版的 StarkNet Cairo 目前還缺少一些功能：

函式還沒辦法宣告陣列或 struct 型態的參數

合約和合約之間還沒辦法互動

L1 沒有辦法讀取到 L2 的資料，L2 也沒辦法讀取到 L1 的資料。如果要建立跨 L2 Bridge，這個功能非常重要。

補充及個人心得

STARK 的 proof size 相比於 SNARK 系列的 proof size 大很多，又其證明所包含的交易數量對 proof size 和驗證時間的影響不大，所以把很多筆交易一併做一個 proof 會是對 STARK 非常有利、節省成本的方式（SNARK、STARK 比較表）。但這同時也是一個缺點，如果你的 Dapp 或 Rollup 的 TPS 不高，那就只能等更久時間搜集多一點的交易，要不然就只能提高成本來維持驗證 proof 的頻率。

StarkWare和 zkSync 一樣都有 Rollup 宇宙的概念（ Rollup 宇宙的用詞並不精確，因為在他們的宇宙中不會所有子鏈都是 Rollup，而是會有依照 Data Availability 程度不同所區分的子鏈，像是 Validium、zk Porter 的設計），個人覺得能夠有（針對 Data Availability 程度的）選擇是會比只有一個選擇（完全 Data Available） 還好的方式，但實際上的可行性就要等其團隊釋出更多的資訊。

在 Rollup 越趨成熟的情況下，能夠提供快速跨 Rollup 服務的流動性提供者的角色會越來越重要。zk Rollup（StarkNet、zkSync、etc…）比 Optimistic Rollup （Optimism、Arbitrum、etc…）有著短上許多的 finalize 時間，這對降低流動性提供者的風險有很大的幫助，但目前 zk Rollup 支援合約功能甚至 L1 <-> L2 互動的完成度都比 Optimistic Rollup 還低上許多。短期內快速跨 Rollup 的服務應該還是侷限在 Optimitic Rollup 之間。

abbrev

[zkp 讀書會] Cairo 語言介紹 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.

👏 歡迎轉載分享鼓掌

【企業工作坊x題目介紹｜LINE】

想報名參加黑客松卻對企業出題毫無頭緒嗎？
不用擔心！10/17(六)將在清大台達館舉辦各企業的賽前工作坊
讓你提前了解出題方向與所需技術
正式比賽時不用心慌慌、贏在起跑點🎉 🎉

這次有哪些企業參加企業工作坊呢?
首先是總部位於日本的 #LINE
以「拉近你我的距離」為企業使命
致力將人們、資訊與社會緊密連結
相信大家並不陌生

📍本次LINE黑客松的題目如下：
❝
LIFF (LINE Frontend Framework) 是 LINE 為網頁應用 (Web Application）所開發應用套件。 透過 LIFF 除了可以快速做相關的 LINE Login 取得使用者資訊，更可以將有趣的資訊直接在網頁上分享給你 LINE 的好友。
本次的主題希望同學們能發揮想像力，透過 LIFF 來開發出一個令人為之讚嘆（WoW) 的應用服務。
更多 LIFF 的相關開發文件請參考: https://developers.line.biz/en/docs/liff/
❞

📍LINE賽前工作坊將會學習到：
1. LIFF 介紹
2. 如何設定 LIFF (LINE dev center)
3. 創建自己的 LIFF app (使用liff starter)
4. LIFF 實作範例 1
5. LIFF 實作範例 2

📍參加LINE工作坊建議可以預先準備：
1. github帳號(需要git clone範例)
2. Node.js環境(v10 or v12)
3. 熟悉的IDE

🔽現在就來報名梅竹黑客松和賽前工作坊吧🔽
https://signup.meichuhackathon.org/
（建議使用電腦瀏覽網站）
---------------------------------
〔合作企業〕 LINE、羅技電子、台灣美光、意法半導體、Girls in Tech
〔贊助企業〕 AWS、曉數碼、國泰金控、Google、中華電信、原相科技、PChome、104資訊科技、Nokia

你本來就沒有資格只經歷正面情緒。

某些情緒低潮不但沒有傷害性，事實上還能讓你保持最佳狀態。當人處於數種不同情緒之下，往往有最好的表現。有能力接受並容忍負面情緒，這將為你開啟邁向成功的大道，你會選擇最有意義而不是最舒適的那條路，並激發內在潛能。

舉例說明，如果你能忍受情緒低潮，便不需要迴避令你焦慮的對話。即使你覺得自己笨手笨腳，依然可以採取有意義的行動，好比追求夢想。

如果你不怕被情緒低潮打垮，不怕因此而失控，或者做出違反本性的事，你很可能安然度過這段期間，不會感到痛苦萬分。

取自《與焦慮和解2》

*********************************

各位朋友，早安：

上次直播主要是講到伴侶關係的經營，事實上整本書都在討論紓壓或增進心理健康。
https://www.facebook.com/Psychologist.Hung/videos/576939742936971/

下面的摘文中，我相當欣賞作者整理出「負面」情緒的價值。懂得感恩與欣賞負面情緒，人生會多一點平靜。

幸福、快樂，是對人活著，有相當的重要性。但能接納各種情緒，在接納之後，我們有可能不再執著於要什麼情緒出現，這是一種偏執，而這種偏執反而增加我們的不適。

藉著感受，我們看到我們內在的需要，我們對愛的渴望，與之連結，這是更深層的體驗。常有這種體驗，各種情緒都能成為我們的朋友，滋養我們的生命。

最近跟某位朋友討論，我所期待的某件小事。他說，真好，我能為小事而開心。其實，我並不是只期待開心，我也準備好面對煩惱憂愁的到來。

一個完整的人生，可以讓觀照更深遠，我們可以不用活得那麼侷限。祝願您，懂得欣賞自己的挫敗，走向圓滿！

*********************************

【文/ 愛麗絲．博耶斯】

允許自己體驗快樂

有一個相當常見的障礙需要密切注意，也就是「拒絕－放縱循環」。假設有人對於自己的低成就感到挫折，包括現在的工作、職業生涯，或者家庭計畫等等，他們拒絕尋求快樂，因為覺得自己沒有資格。然而，正因限制自己在有趣的活動中找樂子，無法培養正面情緒，「庫存」的意志力和情感漸漸枯竭，之後往往出現劇烈反彈，開始肆無忌憚地縱情享樂（以致沒有足夠精力實現其他目標）。這是一種自我延續的循環。如果你剛好有很多自毀習慣，並因此大力抨擊自己，那麼你很容易掉進「我不配擁有快樂」的思考模式。以下是這個常見通病的流程表。

對於低成就感到挫敗
↓
覺得自己不配擁有快樂
↓
拒絕善待及培育自己
↓
沒有精力實現目標＋沉浸在不健康的反彈中

我不是要你為了找樂子而逃避工作或責任，重要的是兼顧快樂和工作。許自己一個體驗簡單快樂的機會，哪怕你覺得自己沒有資格。由於行為會影響思考與感覺，當你允許自己擁有更多快樂體驗，或許就不會再認定自己不配擁有它。然而，假使你一再拒絕體驗正面情緒，你會愈來愈覺得自己不配。放鬆和正面情緒可以讓你恢復活力，讓腦子休息一下，連帶幫助你認清壓力來源。

以下五個實驗有助於你找出目前擁有或潛在的正面情緒來源。
（注意：我特別在本章提供大量自己的例子，以便闡明觀點，促使你多動腦想一想。需要釐清觀念時，具體範例比普通範例更有用，再說有些人或許不想在書裡看到自己被當作例子，分享自己的經驗可以避免我把他們扯進來！其實我的個人經驗並不特別，你甚至會覺得有一些很無聊，但我希望你能明白，你的行為本質上來說也跟這些例子一樣簡單易懂。）

實驗一：有沒有什麼行為即使免費或不貴，你還是覺得它很奢侈？
有時候，即使最簡單的行為仍會令人感到相當奢侈。什麼行為會給你這種感覺？你的回答應該真實反映自己的情況與本性。如果這些回答深深觸動你，別人卻不感興趣，代表它們確實是簡單又真實反映個人情況。

以下舉幾個超簡單但對我來說很奢侈的快樂。

1. 光顧全食超市（Whole Foods）或喬氏超市（Trader Joe's），在貨架間悠閒而毫無任何目標地瀏覽商品，而不是衝進去買必需品，再匆匆結帳並飛奔而出。
2. 慢慢洗個熱水澡。
3. 聆聽播客和有聲書（我通常從本地圖書館下載有聲書）。
4. 來一場晚上的散步。
5. 和侄兒及侄女用Skype 通話。
6. 睡午覺。

現在就利用筆記本、手機應用程式，或者你用來記錄想法的任何工具，寫下你自己的例子。
想不出來要寫什麼嗎？如果你向來不太思考這類問題，可能無法立即回答。可以花幾週時間慢慢累積想法，只要想到時立刻記下來就行了，否則一旦分心，念頭很容易轉瞬即逝。

以下分享做這個實驗的祕訣：

• 這些帶有正面意義的自省問題可以和家人或朋友一起討論。如果你和某人很熟，或許你可以為對方提供幾個想法，這比他們自己想還要來得容易。
• 可能的話，在清單中加入隨時隨地可以進行的小項目。有些事帶給你真正的快樂，但就是難以在生活中進行，這時不妨問問自己：「有沒有不需要耗費那麼多時間或人力的簡易版？」

實驗二：什麼事會因為當下情況不同，有時令你快樂，有時又令你厭煩？
某些簡單的快樂會因為當下情況不同，有時讓人感到輕鬆，有時又讓人厭煩透頂。舉例說明，我家有游泳池（讓人覺得我很有錢，住在高級住宅，其實根本不是這樣！）當我需要離開電腦上的工作，找個適當休息方式，清理游泳池的落葉會帶給我適度快樂。我很享受那幾分鐘的日光浴，勞力活動也能清除繁雜思慮，讓心靈平靜下來。然而，如果這件事被列入冗長的週末待辦事項清單中，我就會覺得它只是一件討厭的苦差事。
還有另一個例子：當繁重的工作告一段落，開車探望親友（甚至辦事）對我來說是休息，其他時候則讓我覺得精力大量耗損。比起困難的活動，較容易的活動本來就等於獎勵或休息。有些工作以某種方式進行時令人輕鬆，但以另一個方式進行時就令人厭煩或者壓力大。你有沒有類似的經驗？有的話請寫下來，並找出能夠快樂進行這些工作的方式。

實驗三：如何讓簡單的快樂與充滿壓力的時刻連結起來？
將快樂與壓力連結起來可為你減緩壓力的衝擊。比方說，我搭機時會自備奶油花生醬三明治。我不會常常想吃這種食品，偶爾才會想要大快朵頤。但現在它不再是我搭機時的快樂選項，因為它成了例行公事，在趕赴機場時，我不再需要將它列為必辦事項。
有什麼快樂選項（或許是你不想過度沉迷的）可以讓你和較少出現的壓力事項連結起來？還有另一個例子，如果你每週或每月有某個時刻壓力特別大，好比你在雜誌社工作，截稿日迫在眉睫時，總會令你感到壓力超大。這種時候你可以搭配什麼活動，好讓自己輕鬆、快樂一點，還能緩解一部分壓力帶來的衝擊？

實驗四：什麼事可以帶來快樂，但表面上不符合你的個性？
有些簡單的快樂來自你對自己的透徹了解，你深知自己喜歡什麼。人類是具有細微差異的個體，每個人的個性都有顯性和隱性兩種層面，雖然隱性層面不常顯露，但仍和顯性層面同等重要，兩者相加就形成獨一無二的自我。舉例來說，我熱愛旅行，因為我喜歡和不同陌生人進行短暫而友善的互動。它令我心情舒暢，我很享受這種可遇不可求的感受。旅遊使我與各種不同的人大量進行短短二十秒的互動。表面上看來，我應該不會喜歡這樣，畢竟我是個非常內向的人。然而，和陌生人對話二十秒不需要承擔社交責任，對內向的人來說沒有任何負擔，輕輕鬆鬆就能獲取社交能量。我喜歡以這種方式探索自己外向的一面。當你摸透自己個性當中的曲折，也明白自己喜歡什麼，可以為自己開發更多舒暢心情的機會。
有什麼事能為你帶來快樂，但它所反映的是你個性中隱藏的一面？探索你喜歡的行為與情境，這件事如何幫助你了解自我的每個層面，而不是僅僅針對顯性的層面？

實驗五：你的人生目標是什麼？
人一旦努力實踐人生目標並有所斬獲，就會獲得滿滿的幸福感。就連面臨重大壓力的人也適用這個法則，比如說有社交恐懼症。
除了精進工作能力，你的人生還有哪些核心目標？比方說，假設你認為做他人的榜樣是人生重要目標，那麼有哪些行為和這個目標相關？這些行為當中有哪一項可在日常生活中進行？在成為他人榜樣這個範例中，你可能會在小孩、伴侶身上或者社區、職場上看到表現的機會。找出結合快樂和目標的方法，比如為孩子示範找樂子也是平衡生活的一部分。

***

去除阻擋你感受快樂的障礙

阻擋我們感受快樂的往往是最簡單且最容易跨越的障礙。舉例說明，你遇上塞車，打算聽聽音樂，但是手機早就沒有儲存空間，你一直沒有存入任何音樂。若要確保手機還有空間讓你享受聽音樂的快樂，平常可以怎麼做？比方說，你每週三需要去鋼琴教室接孩子下課，可以利用等待的空檔為手機騰出一些空間。或者你可以設定自動清除功能，讓手機自動清除已經上傳雲端的照片和影片，還有已經聽過的音樂或節目。
回顧一下本章開頭的幾個實驗，看看有沒有簡單可用的步驟或方法，把那些無聊的小東西挪開，不要讓它們阻礙你發揮體驗簡單快樂的能力。

***

負面情緒降臨時，練習自我照顧

本節討論如何應付心情不美麗的低潮期。一開始或許你不了解我為何將這個主題納入自我照顧的章節。擁有處理負面情緒的完整方案，可以確保你避開這些不必要的感覺，並以健康有效的方式解決它們，這將有助於你更快擁有好心情，這就是我將它擺在本章的原因。
當「負面」情緒降臨，為了採取有效行動，首先你必須了解，為了協助我們生存，每種情緒都有它獨特的功能（註1）。在某些情況下，快樂心情可以為理想表現打造最好基礎。然而，大量研究顯示，在其他特殊情況下，諸如有點沮喪或壓力大，或者對目睹的不公平事件感到憤慨，反而會激發出最富創意的思維、做出最好的決定、提出最有說服力的論述，以及締造最精準的表現。（參見陶德．卡珊登［Todd Kashdan］與羅伯特．比斯瓦斯-迪納［Robert Biswas-Diener］合著的《允許自己不快樂》［The Upside of Your Dark Side］，作者對於這些相關研究有傑出又有趣的觀點。）

一起來針對不同情緒的主要功能做個快速巡禮：

• 憤怒讓我們充滿能量，促使我們付諸行動。
• 焦慮讓我們注意細節，不放過任何可能的錯誤，激勵我們做對的事，避免我們過於自滿。
• 無聊讓我們知道自己需要更多新奇事物及挑戰。
• 懷疑使得我們質疑自己正在進行的事，做好接受改變的心理準備，驅使我們更努力或以不同方式工作。它還能引導我們應付別人的反對意見，締造合作局面。
• 嫉妒、失望與孤單讓我們明白自己真正想要的是什麼，當我們努力實現願望，它們幫助我們察覺自己是否走偏。
• 疲累感帶領我們迎向更豐富的創意與更真實的互動，因為人疲勞時防衛心沒那麼重。
• 罪惡感提醒我們道歉並彌補過錯，它也禁止我們做出別人反對或引起他人憤怒的行為。
• 惱怒與挫敗感讓我們知道進度太慢，可能需要改變做事方法。這兩種情緒也提醒我們事有蹊蹺，必須公開說出來並加以改進。
• 難過與傷心讓我們停下腳步、自省、重新評估，並且深入思考我們的價值觀和重視的事物。當人陷入悲傷時，某些認知技巧會強化，比如更能察覺別人說謊。傷心還能擴大自我調整的幅度，這恰好與大眾的刻板印象相反。

當你了解負面情緒蘊含的正面意義，就能更從容地應付它們。你不再需要急急擺脫它們，因為它們成了比較無害的經驗。

人往往忽略負面情緒的潛在正面意義，唯恐負面情緒降臨，因為他們高估它的破壞力，尤其是高估它持續的時間，以為自己需要大大整頓心理狀態，並且嚴重低估自己的應變能力，以為自己會失控並遭受長期負面影響（註2）。

註1
情緒和思維及行為的關係通常是一種交換系統。多數情緒在某些思考模式下有正面影響，在其他思考模式下則有負面影響。這和安全感有關。舉例說明，不建議任何人在恐慌來襲時開車。此外，愛侶發生爭吵時，一方或雙方往往流於情緒氾濫。這時最好各退一步，平靜下來，以便理性思考及行動。

註2
我無意輕視那些面臨臨床問題的人，有些人負面情緒已經失控，還有一些人總是擔心負面情緒降臨，以上兩者都需要協助。面對臨床問題卻拒絕尋求治療，可能源自現實面的限制，好比經濟不允許。然而，不尋求幫助有時候是因為人們以為需要採取大規模又漫長的行動。有些負面情緒即使已經達到頂點，令人覺得難以去除，往往可以在非常短的時間內大幅好轉，焦慮尤其符合這個特質（參見卡珊登等人的著作Can a One-Hour Session of Exposure Treatment Modulate Startle Response and Reduce Spider Fears?）在認知行為療法（cognitive behavioral therapy）或接受與承諾療法（acceptance and commitment therapy）等心理治療當中獲益的人，通常第一個月就有進展。

下列是應付負面情緒的對策，雖然看起來步驟很多，但每一步都只需要幾秒鐘，反覆練習就能將它們化為下意識的反應。

步驟一：放慢呼吸
心理解讀身體發出的生理訊號，便會產生情緒。如果情緒變得緊繃，已經激動到令你思慮不清，此時只要放作非常緩慢平穩（彷彿你正在慢慢吹氣球）。當你慢慢吐氣，吸氣會自動調整。只要大約進行四到六次的緩慢呼吸，心跳和其他生理系統便會回復到較為平靜的狀態。

步驟二：認清每一種情緒
認清每一種情緒，讓你不再不知所措，還能找到處理它們的方法。你必須分清楚焦慮、憤怒、羞愧等等，最簡單的方式就是上谷歌搜尋情緒列表，從表中找到符合你的描述。如果你有孩子，請教育他們準確認清每一種情緒。這不僅是良好的教養方式，也可以增進你處理情緒的能力。
對自己的情緒有清楚認知的人，比較不會運用不良的自我調整機制（比如沉浸在壞習慣當中），遭到拒絕時反應不會太大，也比較少感到焦慮和沮喪。小孩每週在課堂上只要抽出二十到三十分鐘，學習認識各種情緒，就能增進人際關係和學業成績。

步驟三：接受人生本來就是苦樂參半
這句話表面上聽起來或許很無情，但它提醒你一個重點：你本來就沒有資格只經歷正面情緒。誠如前文所述，某些情緒低潮不但沒有傷害性，事實上還能讓你保持最佳狀態。當人處於數種不同情緒之下，往往有最好的表現。
有能力接受並容忍負面情緒，這將為你開啟邁向成功的大道，你會選擇最有意義而不是最舒適的那條路，並激發內在潛能。舉例說明，如果你能忍受情緒低潮，便不需要迴避令你焦慮的對話。即使你覺得自己笨手笨腳，依然可以採取有意義的行動，好比追求夢想。
如果你不怕被情緒低潮打垮，不怕因此而失控，或者做出違反本性的事，你很可能安然度過這段期間，不會感到痛苦萬分。

步驟四：憐憫正處於情緒低潮的自己
啟動自憐模式；換句話說，當你的感覺無關快樂或滿足時，不要批評或打擊自己，反而要善待自己，認清你只是有了情緒，不會造成太大影響。不管你認為情緒是如何出現的，或者你是不是導致它出現的「禍首」，都要執行這個步驟，因為你值得受到最基本的同情。

步驟五：判斷情緒是不是錯誤警報
懷疑、焦慮、憤怒、罪惡感之類的情緒，有時候會沒來由地浮現。情緒是用來保護我們，但這個警報系統並不完善，當中暗藏一些錯誤訊號。有時候，你很清楚某個情緒是錯誤警報，但你也有不知道的時候。基本上，如果你常常浮現某種特定情緒，那麼它很有可能就是錯誤警報。
你不一定都清楚某個情緒是不是錯誤警報，所謂的接受情緒低潮也包括全盤接受這些「身分不明」的情緒。

步驟六：判斷情緒有沒有提供有用訊息
情緒有沒有告訴你和自身或者目前情況有關的訊息？它能不能幫助你採取適當行動？
……
有個方法或許管用：你可以根據特定場合的需要設計一種暗示自己的方法，提醒自己情緒正在為你效勞，它引領你做出最好的決定，為你提供能量，或者讓行動更純熟。舉個例子，你可以把自己看做將軍，情緒則是忠誠的士兵。或者你是電影導演，情緒是演員。怎麼想都行，有效最重要。問問自己：「就算搞清楚負面情緒的存在是為了幫助我成功，那又如何？我到底能獲得什麼幫助？」在特殊情況下，你的士兵／演員或許會發出錯誤警報，但一般來說，他們的存在都是為了替你效勞。

步驟七：找出所有自毀反應
試著找找看，有沒有任何自毀反應（比如肢體語言或聲調）正妨礙你實現重要目標。……人陷入情緒低潮時，自毀思維和行為往往不會主動跳出來表明身分，它們通常難以捉摸。好比你感到抑鬱或孤單時，可能不會注意自己的聲調或肢體語言出現對他人反感的跡象，即使那並非你的本意。事實上，當一個人接受量身打造的認知行為療法時，醫生的角色是協助患者找出那些自身無法察覺的自毀模式。當你已經盡最大努力，負面情緒依然對生活造成傷害，不妨考慮接受認知行為療法。閱讀蓋‧ 溫奇（Guy Winch）的《心理醫師的傷心急救手冊》（Emotional First Aid），也可以幫助你了解負面情緒的自毀反應，此書特別著重於協助讀者應付孤單與悲傷。

.

以上文字取自
與焦慮和解2：破除自我批判、極端思維、逃避心理，洞悉壞習慣根源，使你過得更快樂的自我療癒指南
https://www.books.com.tw/products/0010856265

高寶書版
https://www.facebook.com/gobooks3/

.

5/24 基隆免費公益講座_創作我的幸福
https://www.facebook.com/events/2994369237288959/

已額滿_7/16-17免費台北市教師研習_非暴力溝通_如何讀懂愛的語言
https://www.facebook.com/events/519814295382140/

11/7 三重免費公益講座_樂讀親子共學系列講座_以善意應對青少年情緒人際問題
https://www.facebook.com/events/189917322447609/

相信自己是夠好的媽媽：是犧牲，還是責任？是妥協，還是平衡？放下對母愛的執著，恢復你的生命彈性，重新找回愛自己的方式
博客來：https://bit.ly/2vhVD9s
讀書花園：https://bit.ly/2GEA9dH
誠品：https://bit.ly/2W4E3Sq
金石堂：https://bit.ly/2vhQ6jh

崇右資管系TQC+ANDROID教師研習心得

今天一早又 Android 中!
來到一個熟析又陌生的地方，
在基隆長大，知道崇右，卻沒進來過。
今天的對象有老師也有學生，
感覺很不錯，資管系的程式設計程度似乎有點跟不上，
不過還好放慢速度也可以!但時間可能來不及而已。

兩天要將證照題目解完，並要老師們考證照，真的是件不可能的任務，
在答應技能基金會汪經理的邀約後，就不斷思考如何可以讓老師們在短時間內學會Android，
並能通過證照的教學方式，幾番思索，數位影音教學檔的錄製似乎是最好的方式之一。

看的出來剛開始大家對於自己要不要考証照這件事非常沒有信心，可能是對考試的的陌生吧!
考試只是一個過程，從我的角度看，若是學習結果可以銜接上證照考試，有可學到ANDROID，
是一舉兩得的事，至於學完要不要考試，那就看自己了!
所以這次上課也不刻意提到考試，只是鼓勵大家多多參予，
畢竟就像畢業證書一樣，一張薄薄的祇，上面多蓋了幾個章，證明你在學校四年，
證照也是一張紙，一樣是一種證明，找工作看的就是證明，你的證明越多，自然越有競爭力，
除了證件證明，作品、經歷一樣重要，看你能拿出多少了!

這次研習把三類題目的考試方式與評分方式做了很透徹的說明，自己也曾擔任過評分人員，
順便分享評分重點，讓大家不要輕易放棄每個得分的機會，之後再分別挑出幾題作為範例，
讓同學漸進式的學習，加上我的逐課錄影，並用YOTUBE分享給老師們學習，
這樣幾乎讓想學習的學生很快的就學會。

上課過程中的問題一定都有，但經過了淡江資工、佛光資應、東南科大、華夏等校的研習經驗，
已經漸漸可以駕馭 ANDROID這樣疊床架屋的怪獸。
由於 ANDROID的開發環境是在JAVA的JDK之上，放置自己的ANDROID SDK，
加上開發環境用的是 ECPLISE IDE，兩者都不是GOOGLE自己的產品，
因此在開發過程中，經常會出現一些莫名奇妙的問題，所幸經過幾次磨難後，
已經可以歸納出一些可能的解決方案，於是在課程中也分享給學生，
如何快速建置開發環境的技巧，這些經驗分享對老師們很有幫助，也看的出大家在兩天研習中的收穫。

最近剛好也在元智與東吳大學教這方面的課程，並有許多輔導學生考證照通過的經驗，
順便和老師們分享，此外，身為湜憶電腦執行長，
順便分享公司最近得獎的心得，
除了獲得金峰獎創業青年楷模外，教育部辦的證照達人比賽，前六名有五名是來自湜憶電腦，
今年的技職之光振傑，也是湜憶的學生，他也是這次ANDROID五零高手大賽的第二名得主。
而振傑的國中基測成績只考54分，在程式設計與證照上，找到人生方向，積極努力必然成功。



當天的教學影影音分享：
01_課前簡報(Android教學)01
01_課前簡報(Android教學)02
01_課前簡報(Android教學)03
01_課前簡報(Android教學)04
01_課前簡報(Android教學)05
01_課前簡報(Android教學)06
01_課前簡報(Android教學)07
01_課前簡報(Android教學)08
01_課前簡報(Android教學)09
01_課前簡報(Android教學)10
02_系統安裝與HELLOWORLD
03_HELLOWORLD介面設計
04_問卷結果與下載檔案說明
05_HELLOWORLD程式設計
06_考題說明與開啟302練習題
07_說明302題邏輯與DDMS
08_302題的Manifest設定
09_302題的Manifest設定
10_image版面與程式設計
11_檔案分享說明與JVAVDOC設定
12_104計算BMI值解說
13_104計算BMI界面解說
14_104計算BMI程式解說之一
15_104計算BMI程式解說之二
16_208我是誰邏輯解說
17_208我是誰程式解說

吳老師教學網：
http://3cc.cc/10g
部落格：
http://terry55wu.blogspot.com/
溫馨考場論壇：
http://123.205.192.177/uc/bbs/index.php/

e化創新, Google Andriod, TQC PLUS, 吳清輝老師, 吳老師提供, 東南科大, 湜憶, 程式開發, 線上教學, 資訊應用系, 雲端計算

德明資科系TQC+ANDROID研習心得(學生)

今天很高興又到了一個完全不同的學校，真的不同學校有不同校風，
之前因為TQC考場業務認識很多德明科大的學生，一直沒有機會親臨，
這次應資訊科學系之邀，來講講 Android證照解題，
感覺這學校的校風比較保守，學生也比較遵守秩序，很自動自發的各就各位，
雖有些人上課交談，但還不至於影響他人，這樣的感覺很好，
和其他學校比起來真的很棒，甚至在上課秩序上比淡江與元智的學生好，
和東吳學生差不多，其實華夏和其他的學生也不差就是。
和接待的林教授閒聊，知道學校管的很嚴，嚴自然有嚴的好處，
自由的結果可能讓學生變成無頭蒼蠅，不知道該往那裡去，反而更浪費時間，
林教授自己也是證照滿身的達人級老師，不斷充實自己就是要位學生著想，
這樣的正向循環即使嚴一點也沒什麼不好，甚至處處位學生的未來規劃，
和主任也聊了一下，覺得這個系還蠻位學生的，自然可以感覺學生的積極態度。
聽主任講到研習一天早上就爆滿，並且會繼續辦下去，讓人感覺這也許就是智慧與雲端的魅力吧!

看的出來剛開始大家對於自己要不要考証照這件事非常沒有信心，可能是對考試的的陌生吧!
考試只是一個過程，從我的角度看，若是學習結果可以銜接上證照考試，有可學到ANDROID，
是一舉兩得的事，至於學完要不要考試，那就看自己了!
所以這次上課也不刻意提到考試，只是鼓勵大家多多參予，
畢竟就像畢業證書一樣，一張薄薄的祇，上面多蓋了幾個章，證明你在學校四年，
證照也是一張紙，一樣是一種證明，找工作看的就是證明，你的證明越多，自然越有競爭力，
除了證件證明，作品、經歷一樣重要，看你能拿出多少了!

這次研習把三類題目的考試方式與評分方式做了很透徹的說明，自己也曾擔任過評分人員，
順便分享評分重點，讓大家不要輕易放棄每個得分的機會，之後再分別挑出幾題作為範例，
讓同學漸進式的學習，加上我的逐課錄影，並用YOTUBE分享給老師們學習，
這樣幾乎讓想學習的學生很快的就學會。

上課過程中的問題一定都有，但經過了淡江資工、佛光資應、東南科大、華夏、崇右、銘傳等校的研習經驗，
已經漸漸可以駕馭 ANDROID這樣疊床架屋的怪獸。
由於 ANDROID的開發環境是在JAVA的JDK之上，放置自己的ANDROID SDK，
加上開發環境用的是 ECPLISE IDE，兩者都不是GOOGLE自己的產品，
因此在開發過程中，經常會出現一些莫名奇妙的問題，所幸經過幾次磨難後，
已經可以歸納出一些可能的解決方案，於是在課程中也分享給學生，
如何快速建置開發環境的技巧，這些經驗分享對老師們很有幫助，也看的出大家在兩天研習中的收穫。

最近剛好也在元智與東吳大學教這方面的課程，並有許多輔導學生考證照通過的經驗，
順便和老師們分享，此外，身為湜憶電腦執行長，
順便分享公司最近得獎的心得，
除了獲得金峰獎創業青年楷模外，教育部辦的證照達人比賽，前六名有五名是來自湜憶電腦，
今年的技職之光振傑，也是湜憶的學生，他也是這次ANDROID五零高手大賽的第二名得主。
而振傑的國中基測成績只考54分，在程式設計與證照上，找到人生方向，積極努力必然成功。

吳老師 101/08/14

01_問卷結果與環境建置
02_SDK設置與開啟專案
03_110題介面設計解答
04_110題程式設計解答
05_110題模擬器設置與執行結果
06_產生102題並備份110題
07_102題介面設計解答
08_102題程式設計解答
09_202題介面設計解答
10_202題程式設計解答
11_202題程式設計解答_MENU部分
12_210題程式設計解答(1-2)
13_210題程式設計解答(3)
14_302題程式設計解答
15_308題試題解說
16_308題程式設計解說

Android 教學研習心得分享懶人包：
http://terry55wu.blogspot.com/p/android.html

吳老師教學部落格：
http://terry55wu.blogspot.com/
Android論壇：
https://groups.google.com/group/android_bisic?hl=zh-TW

e化創新, Google Andriod, TQC PLUS, 吳清輝老師, 吳老師提供, 德明財金科大, 湜憶, 程式開發, 線上教學, 資訊科學系, 雲端計算

德明資科系TQC+ANDROID研習心得(學生)

今天很高興又到了一個完全不同的學校，真的不同學校有不同校風，
之前因為TQC考場業務認識很多德明科大的學生，一直沒有機會親臨，
這次應資訊科學系之邀，來講講 Android證照解題，
感覺這學校的校風比較保守，學生也比較遵守秩序，很自動自發的各就各位，
雖有些人上課交談，但還不至於影響他人，這樣的感覺很好，
和其他學校比起來真的很棒，甚至在上課秩序上比淡江與元智的學生好，
和東吳學生差不多，其實華夏和其他的學生也不差就是。
和接待的林教授閒聊，知道學校管的很嚴，嚴自然有嚴的好處，
自由的結果可能讓學生變成無頭蒼蠅，不知道該往那裡去，反而更浪費時間，
林教授自己也是證照滿身的達人級老師，不斷充實自己就是要位學生著想，
這樣的正向循環即使嚴一點也沒什麼不好，甚至處處位學生的未來規劃，
和主任也聊了一下，覺得這個系還蠻位學生的，自然可以感覺學生的積極態度。
聽主任講到研習一天早上就爆滿，並且會繼續辦下去，讓人感覺這也許就是智慧與雲端的魅力吧!

看的出來剛開始大家對於自己要不要考証照這件事非常沒有信心，可能是對考試的的陌生吧!
考試只是一個過程，從我的角度看，若是學習結果可以銜接上證照考試，有可學到ANDROID，
是一舉兩得的事，至於學完要不要考試，那就看自己了!
所以這次上課也不刻意提到考試，只是鼓勵大家多多參予，
畢竟就像畢業證書一樣，一張薄薄的祇，上面多蓋了幾個章，證明你在學校四年，
證照也是一張紙，一樣是一種證明，找工作看的就是證明，你的證明越多，自然越有競爭力，
除了證件證明，作品、經歷一樣重要，看你能拿出多少了!

這次研習把三類題目的考試方式與評分方式做了很透徹的說明，自己也曾擔任過評分人員，
順便分享評分重點，讓大家不要輕易放棄每個得分的機會，之後再分別挑出幾題作為範例，
讓同學漸進式的學習，加上我的逐課錄影，並用YOTUBE分享給老師們學習，
這樣幾乎讓想學習的學生很快的就學會。

上課過程中的問題一定都有，但經過了淡江資工、佛光資應、東南科大、華夏、崇右、銘傳等校的研習經驗，
已經漸漸可以駕馭 ANDROID這樣疊床架屋的怪獸。
由於 ANDROID的開發環境是在JAVA的JDK之上，放置自己的ANDROID SDK，
加上開發環境用的是 ECPLISE IDE，兩者都不是GOOGLE自己的產品，
因此在開發過程中，經常會出現一些莫名奇妙的問題，所幸經過幾次磨難後，
已經可以歸納出一些可能的解決方案，於是在課程中也分享給學生，
如何快速建置開發環境的技巧，這些經驗分享對老師們很有幫助，也看的出大家在兩天研習中的收穫。

最近剛好也在元智與東吳大學教這方面的課程，並有許多輔導學生考證照通過的經驗，
順便和老師們分享，此外，身為湜憶電腦執行長，
順便分享公司最近得獎的心得，
除了獲得金峰獎創業青年楷模外，教育部辦的證照達人比賽，前六名有五名是來自湜憶電腦，
今年的技職之光振傑，也是湜憶的學生，他也是這次ANDROID五零高手大賽的第二名得主。
而振傑的國中基測成績只考54分，在程式設計與證照上，找到人生方向，積極努力必然成功。

吳老師 101/08/14

01_問卷結果與環境建置
02_SDK設置與開啟專案
03_110題介面設計解答
04_110題程式設計解答
05_110題模擬器設置與執行結果
06_產生102題並備份110題
07_102題介面設計解答
08_102題程式設計解答
09_202題介面設計解答
10_202題程式設計解答
11_202題程式設計解答_MENU部分
12_210題程式設計解答(1-2)
13_210題程式設計解答(3)
14_302題程式設計解答
15_308題試題解說
16_308題程式設計解說

Android 教學研習心得分享懶人包：
http://terry55wu.blogspot.com/p/android.html

吳老師教學部落格：
http://terry55wu.blogspot.com/
Android論壇：
https://groups.google.com/group/android_bisic?hl=zh-TW

e化創新, Google Andriod, TQC PLUS, 吳清輝老師, 吳老師提供, 德明財金科大, 湜憶, 程式開發, 線上教學, 資訊科學系, 雲端計算