TECH BLOG / ENGINEERING NOTES
技術ブログTechnical Blog
コード実験と設計メモの小まとめ。Short essays distilled from code experiments and design notes.
/blog/pinned
固定記事Pinned
| 公開日Published | タイトルTitle | タグTags | パスPath |
|---|---|---|---|
| 2026年6月22日June 22, 2026 | 生成AI時代のRust設計 ― ドメイン知識を型に埋め込むRust design in the generative AI era: embedding domain knowledge in types生成AIがコードを大量に生成できる時代に、Rustの型、Newtype、Typestateを使ってドメインルールをコンパイラが検査できる形へ移す設計メモ。Notes on using Rust types, Newtype, and Typestate to move domain rules into a form the compiler can check in the generative AI era. | Rust, TypeDesign, GenerativeAI, DomainModel, Typestate | /blog/rust-domain-knowledge-types-ai-era |
/blog/archive
記事一覧Archive
| 公開日Published | タイトルTitle | タグTags | パスPath |
|---|---|---|---|
| 2026年6月26日June 26, 2026 | 労務コンパス / LaborLens 技術補足LaborLens technical notes勤怠、従業員情報、人件費、売上、シフト、必要人数を扱い、人員不足確認と労務確認を支援するポートフォリオの補足説明。Technical notes on LaborLens, a portfolio app for attendance review, staffing shortage checks, reporting, and privacy-conscious workflow support. | Rust, React, Tauri, Labor, Portfolio | /blog/labor-lens-portfolio |
| 2026年6月4日June 4, 2026 | DecisionPack 技術補足Decision Pack technical notes顧客データ、購入履歴、在庫などをつなぎ、仕入れ・販売・在庫判断に使う材料を整理するポートフォリオの補足説明。Technical notes on a portfolio that connects customer data, purchase history, inventory, and decision material for purchasing and sales. | Rust, ETL, PostgreSQL, Dashboard, Portfolio | /blog/decision-pack-portfolio |
| 2026年5月10日May 10, 2026 | VerifiableAuthPlatform 技術補足VerifiableAuthPlatform technical notes認証のルール、実行処理、操作画面、ログ、テストを対応づける技術実証ポートフォリオの補足説明。Technical notes on an authentication proof of concept that aligns rules, implementation, operation screens, logs, and tests. | Lean, C, Go, Authentication, FormalSpecification | /blog/verifiable-auth-platform |
| 2026年4月29日April 29, 2026 | Lean4で「仕様と実装と証明」をひとまとめに書くWriting specifications, implementations, and proofs together in Lean 4フィボナッチ数列を題材に、Lean4で仕様、実装、証明をひとまとまりに書く流れを整理する。Using the Fibonacci sequence as an example, this note explains how to write specifications, implementations, and proofs together in Lean 4. | Lean4, Proof, Fibonacci, FormalMethods, FunctionalProgramming | /blog/zenn-lean4-fibonacci-spec-impl |
| 2026年4月14日April 14, 2026 | CSV整形からETLへFrom CSV cleanup to ETL仮想顧客データのCSV整形からETLの形になるまでの過程まとめ。A summary of the process from cleaning sample customer CSV data to shaping it into an ETL workflow. | Rust, ETL, CSV, DataEngineering, Polars | /blog/rust-csv-etl-lab |
| 2026年4月14日April 14, 2026 | 手書きパーサと状態機械で学ぶ Rust の型設計Learning Rust type design through a handwritten parser and state machineToken、AST、状態遷移、proc macro を通じた、Rust における入力ルールの型設計メモ。Notes on type design for input rules in Rust through tokens, ASTs, state transitions, and proc macros. | Rust, Parser, StateMachine, Macro, TypeDesign | /blog/rust-parser-state-machine |