関連 next49.hatenadiary.jp 健全性（soundness）と完全性（completeness） ある特徴・性質Cを満たすモノを識別／生成するために提案・構築された手法Mがある。手法Mの出力の集合をOm、特徴・性質Cを満たすモノの集合をOcとしたとき、 OmがOcの部分集合であ…

はじめに Debian 10 (buster)上でPostfixとDovecotを用いてSMTP認証+TLS - 発声練習でIMAPを導入したのでMailBox形式（すべてのメールを1ファイルで管理する）からMailDir形式（１メールを１ファイルで管理する）に移行する。 mb2mdによる移行 移行方法を調…