ブログ
ホームページ制作、SEO対策、Google広告運用、Windows開発、既存資産活用、不具合調査について、実務で役立つ考え方を発信します。
サイト内AI検索
検索キーワードは結果生成のため Cloudflare AI Search に送信されます。個人情報は入力しないでください。
-
Adaによるリアルタイムシステムプログラミング ── 優先度・周期・実行時間制御の実践
AdaのAnnex D(リアルタイムシステム)を8つの実践的なコード例で学びます。タスク優先度、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の言語組み込み並行処理であるタスクと保護オブジェクトの入門記事です。ランデブー(entry/accept)、選択的アクセプト、保護オブジェクトによる排他制御、タイムアウト付き呼び出し、タスク優先度まで整理します。
-
SPARKによる形式検証入門 ── Adaの契約から数学的証明へ
Adaのサブセット言語SPARKによる形式検証の実践的な入門記事です。契約(Pre/Post)から証明へステップアップする方法、GNATproveの使い方、ループ不変条件、データフロー契約、証明レベル、そして実プロジェクトへの適用方法までを整理します。
-
Ada言語の魅力 ── 型で設計を語り、数十年動き続けるソフトウェアを支える言語
Ada言語の魅力を紹介します。強い型付け、範囲制約、パッケージによる仕様と実装の分離、契約による設計、言語組み込みのタスク、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、シンボルサーバー、ダンプ解析との関係まで実務向けに整理します。
-
Roslynとは何か ── C#コードをコンパイラの視点で読む・直す・生成する
Roslyn(.NET Compiler Platform)の概要、Syntax Tree、SemanticModel、Workspace、Analyzer、Source Generator、実務での使いどころと注意点を整理します。
-
Windowsアプリ 外注・受託開発を依頼する前に整理したいこと
Windowsアプリの外注・受託開発を依頼する前に、既存ソフト改修、装置連携、COM/ActiveX、配布・更新、保守の整理ポイントを解説します。
-
代数的データ型を.NET Framework / .NETで使う ── 状態と結果を型で表す設計
代数的データ型、特に直和型・判別共用体を.NET Frameworkや.NETで使う方法とメリットを、F#、C#のクラス階層、record、OneOf、C# 15 union previewまで含めて整理します。
-
Windowsの偽装トークンを正しく扱う ── スレッド単位の権限借用と安全な戻し方
Windowsの偽装トークンについて、アクセストークン、プライマリトークン、スレッドトークン、偽装レベル、RevertToSelf、.NETのWindowsIdentity.RunImpersonatedまで、実務で安全に扱うための考え方を整理します。
-
TCPでSendした単位ごとにReceiveできるという誤解 ── バイトストリームとして扱うための受信設計
TCP通信で、SendやWriteした単位ごとに受信できると思い込むと、分割・結合・文字化け・プロトコル破損が起きます。TCPをバイトストリームとして扱い、アプリケーション側でフレーミングする考え方と、.NET/C#での実装例を整理します。
-
.NETでGC待ちとメモリリークを見分ける ── 増えるメモリを観測・比較・証明する実務手順
.NETアプリケーションで、メモリが増えている理由がガベージコレクション待ちなのか、本当にメモリリークしているのかを、dotnet-counters、dotnet-gcdump、dotnet-dumpを使って切り分ける手順を整理します。
-
C#(CSharp)でPowerShellを実行して、オブジェクトとして受け取る方法
C#からPowerShellを起動し、文字列ではなくPSObjectとして結果を受け取る方法を、PowerShell SDK、AddCommand、AddParameter、BaseObject、Properties、エラー処理まで実務目線で整理します。
-
PesterによるPowerShellのテスト整備 ── 運用スクリプトを壊しにくくする実務の型
PowerShellスクリプトをPester v5でテストし、日付処理、ファイル操作、削除処理、モック、CI実行までを安全に整備する実務手順を整理します。
-
Windowsはなぜ今の形になったのか:開発者から見た歴代Windowsの進化
Windows 95からWindows 11までの変化を、見た目の年表ではなく、互換性、安定性、権限管理、ドライバ、Win32、.NET、セキュリティなどWindowsアプリ開発者の視点で整理します。
-
Windowsアプリ開発者のためのCPU設定入門:優先度・アフィニティ・Pコア/Eコア
Windowsアプリ開発者向けに、CPU優先度、アフィニティ、Pコア/Eコア、省電力設定、EcoQoS/Efficiency Modeの関係と、性能・応答性・発熱を測る考え方を整理します。
-
開発者の異常な愛情、または私は如何にして心配するのをやめてWindowsを愛するようになったか
Windowsは面倒くさい。けれど、その面倒くささは、現実の業務を背負ってきたOSだからこその面倒くささでもある。
-
PowerShell実用コマンド集 ── 日常作業でよく使う小さな機能を増やす
PowerShellで日常作業に使う実用コマンドとして、Measure-Object、Group-Object、Select-String、Compare-Object、Tee-Object、Start-Transcriptなどの使いどころを整理します。
-
PowerShellスクリプト応用 ── ログ調査・アーカイブ・レポート化を安全に自動化する
PowerShellスクリプトでログ調査、CSVレポート、古いログのアーカイブ、証跡保存、タスクスケジューラ実行までを安全に進める実務手順を整理します。
-
PowerShellコマンドの基本 ── まず覚える操作と安全な使い方
PowerShell初心者が実務で迷わないように、コマンドレットの探し方、パイプライン、ファイル操作、CSV処理、実行ポリシー、事故を避ける確認手順までを整理します。
-
Windowsで「Windows によって PC が保護されました」が出る理由
Windowsアプリ配布時にSmartScreen警告が出る理由を、コード署名、EV/OV証明書、Azure Artifact Signing、MSIX、Microsoft Store、ClickOnce、社内配布、App Controlまで実務目線で整理します。
-
IEモード依存システムの脱却ガイド
Microsoft EdgeのIEモード依存を抱えた社内Webシステムを安全に延命しつつ脱却する実務手順を解説します。サイトリスト集中管理、WebView2ラッパー、段階的リファクタリング、VDI隔離、ガバナンス設計まで整理します。
-
Office 2024/Microsoft 365でActiveXが動かない原因と確認手順
Office 2024/Microsoft 365でActiveXが動かない時に、既定無効化、32bit/64bit、COM登録、依存DLL、IEモード、Click-to-Runログを切り分ける順番を整理します。
-
VBScript廃止に備えるVBA・社内ツール点検ガイド
VBScript段階廃止に備え、VBA・Excelマクロ・社内ツールの棚卸し、静的検出、実行ログ、代替技術選定、テスト、段階展開を整理します。
-
問い合わせフォームのメールが届かない原因と直し方
問い合わせフォームの通知メールが届かない原因を、SPF/DKIM/DMARC、Fromヘッダ、外部SMTP、共有ホスティング、PHP mail()、診断手順から整理します。
-
GCPWとは - WindowsログオンをGoogle認証で扱う方法
Google Credential Provider for Windows(GCPW)の仕組み、Windows device management併用、既存プロファイル、初回ログオン、オフライン、2段階認証、導入時の注意点を整理します。
-
Windowsの文字コードと改行コード - 文字化けとCRLF/LFの基本
Windows で混ざりやすい Shift_JIS / UTF-8 / UTF-16、文字化け、CRLF / LF の違いを、実務で判断しやすい形に整理します。
-
疑似乱数と本物の乱数の違いとは - どうやって区別するのかを整理
疑似乱数と本物の乱数(真性乱数 / 物理乱数 / NRBG)の違いを、再現性、予測可能性、エントロピー源、統計検定、実務での使い分けの観点から整理します。