日>GNOME素のGNOMEを使ってみた感想です。キーワードは「集中」です。土>Diary公開日記を始めました。上のメニューから日記に遷移できます。木>ACL2ハフマン符号化して復号すると元に戻ることをACL2で証明しました。ルールについての説明は詳しいと思います。剰余関連の証明の試みをしたときの個人的な覚え書きです。私の使い方について熱く語ります。土>システムによる支配について会話劇を用いた解説です。コマンドの出力を一行づつ読んで処理する具体的な例を紹介します。木>ACL2全ての組み合せを求めてから長さを求めるのと最初から組み合せの数を求めるので同じ値を得られると証明しました。サーバーをセルフホスティングしてみました。使って記事を書けるようにしました。プログラムをデプロイする極端な方法を解説します。購読するトップページに戻る。