chewei 哲瑋 _

你好！作為一名熱衷於公民科技黑客松的參加者，我根據這份知識庫中豐富的專案案例、數位工具以及尚未被滿足的社會需求，整理出 10 個我最想在黑客松中實踐的專案。

這些提案結合了**生成式 AI**、**地理資訊 (GIS)** 與**群眾協作**，旨在解決從偏鄉交通到原民權益等多元議題：

### 1. 馬祖跨島交通 AI 規劃官 (Matsu Transit AI Agent)
* **核心目標**：解決馬祖船班、公車與地形銜接複雜的痛點。
* **實踐方式**：運用 **LLM (大語言模型)** 技術 [1, 2]，串接馬祖交通開放資料，開發一個能讀懂複雜班表並根據天氣（如浪高、霧氣）即時建議轉乘路徑的機器人 [3]。

### 2. 部落諮商同意權：數位審議與共議平台
* **核心目標**：落實原住民族諮商同意權，降低資訊不對稱。
* **實踐方式**：引入 **Polis 意見分群工具** [4] 與 **Talk to the City (TttC)** [5]，讓部落族人能針對土地開發案進行跨地理限制的討論，並運用 AI 自動產出意見綜整報告，協助達成內部共識 [5, 6]。

### 3. 海洋公民科學：AI 魚類/珊瑚自動辨識圖鑑
* **核心目標**：降低潛水員參與海洋監測的門檻。
* **實踐方式**：結合 **BlueTrend 藍色脈動** 的資料庫 [7] 與 **Coral Net** 的影像辨識技術 [8]，開發一個 LINE 機器人 [1]，讓民眾隨手拍下水下生物即可即時辨識種類並自動回傳經緯度至 iOcean 平台 [7, 9]。

### 4. 偏鄉校地活化：永續轉型決策工具 (ReSchool 2.0)
* **核心目標**：輔助廢併校空間轉型為地方創生據點。
* **實踐方式**：升級現有的 **ReSchool 計畫** [10]，串接戶籍人口推估與 **ESG 企業公益植樹資料** [11]，透過 **Collage 空間願景拼貼工具** [12] 讓社區居民能直觀地在網頁上繪製校區活化的想像圖。

### 5. 藥品仿單「白話文」轉譯計畫
* **核心目標**：讓長者與一般大眾能讀懂艱深的醫療資訊。
* **實踐方式**：延續 **藥品仿單白話文運動** [13]，結合 **NotebookLM 整理法規與文件** 的能力 [14]，將複雜的藥理資訊自動轉化為結構化的圖文或語音導覽，減少醫護人員溝通負擔。

### 6. 原住民族傳統生態知識 (TEK) 數位典藏庫
* **核心目標**：保存部落狩獵慣習與山林智慧，應對氣候變遷。
* **實踐方式**：參考 **邦查野菜文化調查** [15] 與 **LASS 環境感測器** 模式 [16]，開發一個支援族語輸入的標記工具，讓青年能透過 **CommuTag 群眾標註** [17] 紀錄耆老的植物知識與氣候觀察。

### 7. 台灣租屋市場透明化：租補友善地圖
* **核心目標**：解決租屋歧視，協助弱勢族群尋找友善房東。
* **實踐方式**：彙整 **開放民間租屋資料** [18, 19] 與 **崔媽媽基金會** 的群眾回報數據 [20]，建立一個 MCP Hub [21]，讓 AI 代理人能協助房客分析哪些地段對申請租補較為友善，並追蹤政策承諾 [22]。

### 8. 自主學習者經驗：星河計畫標籤化檢索引擎
* **核心目標**：協助自學生快速找到適合自己的學習路徑。
* **實踐方式**：運用 **GPT 技術將自學文章標籤化** [1]，串接 **島島阿學** 平台 [23]，建立一個類似 **CourseAPI** [3] 的一站式查詢界面，讓學習資源能根據個別需求精準投放。

### 9. 鄉道「路噴社」：農藥/除草劑監控預警網
* **核心目標**：減少化學藥劑對路側生態與寵物的危害。
* **實踐方式**：結合現有的 **路噴社回報社團** [24] 與 **群眾標註地圖工具** [17]，建立即時的除草劑噴灑熱點圖，並透過 **Disfactory 衛星圖資比對** 模式 [25, 26] 監測敏感地帶的植被變化。

### 10. 立法院即時追蹤：AI 法案白話摘要助理
* **核心目標**：提升公民監督國會的效率。
* **實踐方式**：整合 **立法院資料 API** [27] 與 **LegislatureAI 逐字稿** [28]，開發一個 AI 助理，能針對爭議法案自動產出「正反意見對照表」並標註爭點結構 [17]，讓民眾不用盯場也能掌握修法動態。

這 10 個專案都強調了**「資料透明」**與**「技術賦權」**的核心精神，期待在下次黑客松中與志同道合的夥伴一起填坑！

• Forwarded from #civictech_database_臺灣公民科技專案與工具資料庫及行動指引
• 2026-08-05 12:05:56

chewei 哲瑋 _

你好！作為一名熱衷於公民科技黑客松的參加者，我根據這份知識庫中豐富的專案案例、數位工具以及尚未被滿足的社會需求，整理出 10 個我最想在黑客松中實踐的專案。

這些提案結合了**生成式 AI**、**地理資訊 (GIS)** 與**群眾協作**，旨在解決從偏鄉交通到原民權益等多元議題：

### 1. 馬祖跨島交通 AI 規劃官 (Matsu Transit AI Agent)
* **核心目標**：解決馬祖船班、公車與地形銜接複雜的痛點。
* **實踐方式**：運用 **LLM (大語言模型)** 技術 [1, 2]，串接馬祖交通開放資料，開發一個能讀懂複雜班表並根據天氣（如浪高、霧氣）即時建議轉乘路徑的機器人 [3]。

### 2. 部落諮商同意權：數位審議與共議平台
* **核心目標**：落實原住民族諮商同意權，降低資訊不對稱。
* **實踐方式**：引入 **Polis 意見分群工具** [4] 與 **Talk to the City (TttC)** [5]，讓部落族人能針對土地開發案進行跨地理限制的討論，並運用 AI 自動產出意見綜整報告，協助達成內部共識 [5, 6]。

### 3. 海洋公民科學：AI 魚類/珊瑚自動辨識圖鑑
* **核心目標**：降低潛水員參與海洋監測的門檻。
* **實踐方式**：結合 **BlueTrend 藍色脈動** 的資料庫 [7] 與 **Coral Net** 的影像辨識技術 [8]，開發一個 LINE 機器人 [1]，讓民眾隨手拍下水下生物即可即時辨識種類並自動回傳經緯度至 iOcean 平台 [7, 9]。

### 4. 偏鄉校地活化：永續轉型決策工具 (ReSchool 2.0)
* **核心目標**：輔助廢併校空間轉型為地方創生據點。
* **實踐方式**：升級現有的 **ReSchool 計畫** [10]，串接戶籍人口推估與 **ESG 企業公益植樹資料** [11]，透過 **Collage 空間願景拼貼工具** [12] 讓社區居民能直觀地在網頁上繪製校區活化的想像圖。

### 5. 藥品仿單「白話文」轉譯計畫
* **核心目標**：讓長者與一般大眾能讀懂艱深的醫療資訊。
* **實踐方式**：延續 **藥品仿單白話文運動** [13]，結合 **NotebookLM 整理法規與文件** 的能力 [14]，將複雜的藥理資訊自動轉化為結構化的圖文或語音導覽，減少醫護人員溝通負擔。

### 6. 原住民族傳統生態知識 (TEK) 數位典藏庫
* **核心目標**：保存部落狩獵慣習與山林智慧，應對氣候變遷。
* **實踐方式**：參考 **邦查野菜文化調查** [15] 與 **LASS 環境感測器** 模式 [16]，開發一個支援族語輸入的標記工具，讓青年能透過 **CommuTag 群眾標註** [17] 紀錄耆老的植物知識與氣候觀察。

### 7. 台灣租屋市場透明化：租補友善地圖
* **核心目標**：解決租屋歧視，協助弱勢族群尋找友善房東。
* **實踐方式**：彙整 **開放民間租屋資料** [18, 19] 與 **崔媽媽基金會** 的群眾回報數據 [20]，建立一個 MCP Hub [21]，讓 AI 代理人能協助房客分析哪些地段對申請租補較為友善，並追蹤政策承諾 [22]。

### 8. 自主學習者經驗：星河計畫標籤化檢索引擎
* **核心目標**：協助自學生快速找到適合自己的學習路徑。
* **實踐方式**：運用 **GPT 技術將自學文章標籤化** [1]，串接 **島島阿學** 平台 [23]，建立一個類似 **CourseAPI** [3] 的一站式查詢界面，讓學習資源能根據個別需求精準投放。

### 9. 鄉道「路噴社」：農藥/除草劑監控預警網
* **核心目標**：減少化學藥劑對路側生態與寵物的危害。
* **實踐方式**：結合現有的 **路噴社回報社團** [24] 與 **群眾標註地圖工具** [17]，建立即時的除草劑噴灑熱點圖，並透過 **Disfactory 衛星圖資比對** 模式 [25, 26] 監測敏感地帶的植被變化。

### 10. 立法院即時追蹤：AI 法案白話摘要助理
* **核心目標**：提升公民監督國會的效率。
* **實踐方式**：整合 **立法院資料 API** [27] 與 **LegislatureAI 逐字稿** [28]，開發一個 AI 助理，能針對爭議法案自動產出「正反意見對照表」並標註爭點結構 [17]，讓民眾不用盯場也能掌握修法動態。

這 10 個專案都強調了**「資料透明」**與**「技術賦權」**的核心精神，期待在下次黑客松中與志同道合的夥伴一起填坑！

• Forwarded from #civictech_database_臺灣公民科技專案與工具資料庫及行動指引
• 2026-08-05 12:05:56

chewei 哲瑋 _

[協助轉貼] 8/13 週四晚上 F4: <#C09ACNRUES1> 社群活動
▶︎ 主題：用 LLM 生成形式證明經驗談
• 近年來 AI/LLM 發展迅速，不僅能生成文字和圖片，還能穩定生成程式碼。幾個月前，GPT 5.4 和 Claude Opus 4.6 等前沿模型開始能生成相對複雜的形式化數學證明，甚至複雜如編譯器中介表示轉換的正確性，只需提供類似的證明「範本」即可生成相近敘述的形式證明。
• 本次分享將探討使用 GPT 5 系列與 Agda 撰寫依值型別程式和形式定理證明的經驗，並說明語言模型如何透過定理證明器的保證，生成正確性近乎無懈可擊的數學證明。
▶︎ 分享者：陳亮廷
• 在中央研究院擔任助理研究員，喜歡嘗試各種新事物。最近的興趣是型別論、範疇模型，還有具備計算意義的證明。
facebook.com/groups/functioanl.thursday/posts/4447561422225517

• Forwarded from #functional-thursday
• 2026-08-10 17:12:27

• 👀1

chewei 哲瑋 _

[協助轉貼] 8/13 週四晚上 F4: <#C09ACNRUES1> 社群活動
▶︎ 主題：用 LLM 生成形式證明經驗談
• 近年來 AI/LLM 發展迅速，不僅能生成文字和圖片，還能穩定生成程式碼。幾個月前，GPT 5.4 和 Claude Opus 4.6 等前沿模型開始能生成相對複雜的形式化數學證明，甚至複雜如編譯器中介表示轉換的正確性，只需提供類似的證明「範本」即可生成相近敘述的形式證明。
• 本次分享將探討使用 GPT 5 系列與 Agda 撰寫依值型別程式和形式定理證明的經驗，並說明語言模型如何透過定理證明器的保證，生成正確性近乎無懈可擊的數學證明。
▶︎ 分享者：陳亮廷
• 在中央研究院擔任助理研究員，喜歡嘗試各種新事物。最近的興趣是型別論、範疇模型，還有具備計算意義的證明。
facebook.com/groups/functioanl.thursday/posts/4447561422225517

• Forwarded from #functional-thursday
• 2026-08-10 17:12:27

chewei 哲瑋 _

▋2026 AI 賦能空間設計產業論壇
▋時間：9/11 (五) 9:30-16:30 (提供午餐)
▋地點：逢甲大學 學思樓第九國際會議廳
▋報名：neti.cc/OPqybX2
facebook.com/aiacademy.tw/posts/pfbid0F7N8uD…

• Forwarded from #taichung
• 2026-08-12 22:05:58

chewei 哲瑋 _

▋2026 AI 賦能空間設計產業論壇
▋時間：9/11 (五) 9:30-16:30 (提供午餐)
▋地點：逢甲大學 學思樓第九國際會議廳
▋報名：neti.cc/OPqybX2
facebook.com/aiacademy.tw/posts/pfbid0F7N8uD…

• Forwarded from #taichung
• 2026-08-12 22:05:58

• 👍1

• 4