部落格
KomuraSoft LLC 針對網站製作、SEO、Google 廣告運用、Windows 開發、既有資產活用與故障調查，分享可在實務中活用的觀點。
全站 AI 搜尋
搜尋關鍵字會傳送至 Cloudflare AI Search 以產生結果,請勿輸入個人資料。
-
用 Power Automate 自動化業務 ── 雲端流程與桌面流程的分工，以及錯誤處理設計
本文整理 Power Automate 雲端流程與桌面流程的差異、與 PowerShell / VBA 的分工、授權、錯誤處理、UI 自動化的穩定化，以及認證資訊的安全處理，提供將業務自動化導入正式運作的實務設計指引。
-
Ada 的泛型程式設計 ── 以型別撰寫契約，零成本達成程式碼重用
系統性說明 Ada 的泛型程式設計，涵蓋泛型子程式、泛型套件、形式子程式參數、型別類別、正式套件參數，以及實務上的設計方針。搭配 Mermaid 圖與實例，整理型別安全的重用與零成本抽象化的思路。
-
用 Ada 打造即時系統程式設計 ── 優先權、週期、執行時間控制實戰
本文透過 8 個實戰程式碼範例，逐步學習 Ada Annex D（即時系統）所提供的即時功能──任務優先權、Ceiling_Locking 協定、delay until 的週期執行、Ravenscar 設定檔、計時事件、保護佇列、依任務量測執行時間、多週期整合。
-
Fable 不能用了，但還沒到放棄的時候 ── 靠 OpenRouter Fusion＋中國 LLM＋審查層硬撐
遠遠比不上 Fable。但只要用 OpenRouter Fusion 組合 5 個中國 LLM，再疊上 gpt-5.5-pro 或 Codex 的 PR 審查，就能做出比純 gpt-5.5 好上不少的程式撰寫代理。
-
Ada 的安全並行處理 ── 任務與保護物件實戰指南
本文是 Ada 語言內建並行處理機制──任務(task)與保護物件(protected object)的實戰入門文章。內容涵蓋會合(entry/accept)、選擇性接受(select)、生產者消費者模式、保護物件實現的排他控制、帶屏障的保護入口、附逾時的呼叫，以及任務優先權與即時排程，從安全並行處理的基礎一路整...
-
SPARK形式驗證入門 ── 從Ada的契約到數學證明
本文是使用Ada子集語言SPARK進行形式驗證的實務入門文章，整理從契約(Pre/Post)進階到證明的方法、GNATprove的使用方式、迴圈不變條件、資料流契約、證明等級，以及在實際專案中導入的方法。
-
Ada 語言的魅力 —— 用型別闡述設計理念，支撐運作數十年軟體的語言
介紹 Ada 語言的魅力。從強型別、範圍限制、以套件分離規格與實作、契約式設計、內建於語言的工作(task)、SPARK 形式驗證，到 GNAT 與 Alire 開發環境，整理支撐高可靠軟體的設計理念。
-
Windows 的 MFC 是什麼──維護既有資產的基礎知識
整理 Microsoft Foundation Classes（MFC）的概觀、與 Win32 的關係、應用程式結構、訊息映射、Document/View、DDX/DDV，以及維護時的注意事項。
-
廢棄 Windows PC 前該做的事 ── 資料清除、帳戶解除、備份的實務檢查清單
本文整理在廢棄、轉讓、出售、歸還租賃的 Windows PC 之前該做的事，涵蓋備份、資料清除、BitLocker、Microsoft 帳戶、OneDrive、公司帳戶、開發者 PC 特有的機密資訊，以及廢棄記錄留存等觀點。
-
PDB（程式資料庫）是什麼 ── 理解偵錯資訊、符號與 Source Link
整理 PDB（Program Database / 程式資料庫）是什麼、裡面有什麼、沒有什麼，並從實務角度說明 Debug / Release、Portable PDB、Source Link、符號伺服器、傾印分析之間的關係。