2026-01-29
2026-01-28←前　次→2026-01-30
AIエージェント + テスト観点
https://x.com/commte/status/2017898209990033804?s=20
テスト観点
環境構築
Installing snap on AlmaLinux OS | Snapcraft documentation
nix インストール
Download | Nix & NixOS
Home Manager
Home Manager Manual
証明可能AI + 証明工学
証明工学とは
Ringer et al., 2019: 【2003.06458】 QED at Large: A Survey of Engineering of Formally Verified Software
定義: プログラムの正しさに関する機械検証可能な形式的証明を、大規模に開発・保守するための工学的アプローチ
主な対象領域:
証明自動化（Proof Automation）: タクティクや自動定理証明器の開発
証明の構成と拡張性（Proof Organization）: 大規模証明の構造化と管理
証明の開発と進化（Proof Development）: 証明の保守、リファクタリング、再利用
具体的な課題:
証明スクリプトの保守性（定義変更時の証明の修正）
証明の再利用とモジュール化
証明アシスタント（Coq, Isabelle, Lean等）のバージョンアップへの対応
大規模プロジェクトにおける証明開発プロセスの改善
形式論証と自動テストの架橋 - Google ドキュメント
Genefication
Aristotle (Harmonic)
クラウド
NIST によるクラウドコンピューティングの定義
SaaS
アプリケーションを利用するサービス形態
PaaS
開発・実行環境をネットワーク経由で利用するサービス形態
IaaS
インフラまでをネットワーク経由で利用するサービス形態
#日誌