新しいブログ記事: 私が書いたいくつかのふざけたZ3スクリプト

新しいブログ記事: 私が書いたいくつかのくだらないZ3スクリプト 『プログラマーのための論理学』に全ての時間を費やさなくなった今、私は再び自分のウェブサイトを更新する時間ができました！ というわけで、5か月ぶりの最初のブログ記事です: 私が書いたいくつかのくだらないZ3スクリプト。 通常であればPatreonのノートへのリンクも載せるのですが、有料コンテンツを公開することは好きではないと判断し、その仕組み全体を終わらせることにしました。 ですので、この投稿に関する簡単なメモをいくつか: 認めざるを得ないのは、この投稿の目的の一部は、最終的にリリースされる『LfP』を盛り上げることです。 本のマーケティングを始めたいのですが、マーケティング資料が面白みのないものになるのは避けたいので、間接的に関連しているが独立したブログ記事は良い出発点です。 この投稿では、「籾殻」の概念、つまり本に収まらなかった膨大な量の素材（コードサンプルと文章の両方）について論じています。 本は約5万語ですが… 籾殻の総量よりもかなり短いのです！ そのほとんどが有益な公開記事に変えられるとは思いませんが、その考えに全く反対しているわけでもありません。 古い章のいくつかは何かに生まれ変われるかもしれませんか？ 証明するための条件付き数学的特性を思いつくのは苦労しました。 2つの候補がありました: a == b * c => a / b == c a != 0 => ある b について: b * a == 1 なぜ配列の例が2を返すのか、さっぱりわかりません。 うまく動作させることができなかった例が一つあり、残念でした。それは、ゴールドバッハ予想をSMT問題としてエンコードすることで、SMTソルバーが決定不能であることを示すデモンストレーションです。 複数のネストされた量化子を持つものは何でも厄介です。 これをウェブでお読みの方は、こちらから購読できます。 更新は週に一度です。 私のメインウェブサイトはこちらです。 私の新しい本『プログラマーのための論理学』は、現在アーリーアクセス中です！ こちらからお求めください。

新しいブログ記事: 私が書いたいくつかのふざけたZ3スクリプト

背景や根拠まで確認しますか？

調べる

選ぶ

サイト