TECH BLOG / ENGINEERING NOTES
技術ブログ Technical Blog
コード実験と設計メモの小まとめ。 Short essays distilled from code experiments and design notes.
/blog/pinned
固定記事 Pinned
| 公開日 Published | タイトル Title | タグ Tags | パス Path |
|---|---|---|---|
| 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 |
/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月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 machine Token、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 |