問題タブ [human-readable]

Z3を使用して、条件が満たされるかどうかを確認しています。しかし、さらに、人間が消費する用語を単純化する必要があります。たとえば、n が Int の場合、And(n>4 , n != 5) を n > 5 に単純化します。Z3 または他のツールを使用してこれを行う方法を知っている人はいますか?

htopテキスト ファイル (例: ) にパイプしようとしましたが、htop > text.txt文字列の書式設定によって文字化けしたテキストが表示されます (以下を参照)。より良い、人間が読める出力を得る方法はありますか?

Humans.txtには、その目的を説明し、その使用法を強調し、それらのいくつかを紹介する、非常によく設定された有益なWebサイトがありますが、 AUTHORS.mdで同様の詳細を見つけることができません。

GitHub リポジトリ「Hulk」と、具体的にはその機能の 1 つである AUTHORS.md の生成を指すツイートを見つけました。これが私の好奇心の源だったので、作者に聞いてみました。彼でさえ、その正確な目的とhuman.txtの目的について確信が持てませんでした。

Google で検索すると、開発者に関連する結果は 1 つだけで、 ZakharovviHumansTxtBundleという名前の GitHub リポジトリが得られました。他のすべての結果は、医学的問題に関連していました。同様に、 StackOverflowとStackExchangeの両方で「authors.md」を検索しても結果は得られませんでした。ない1。逆に、"humans.txt"というクエリでは多くの結果が得られます。

これを読みやすくするためにこれを書き直す方法を考えているので、私とおそらく他の人が将来混乱することなく理解できるようになります。

私は可能な限り詳細なバージョンを探しているわけではありませんが、明確で人間が読めるものだけを探しています。

私のコードには次のものがあります。

$my_countの要素数が含まれるようになりました$total_elements[$array_object]。この数値を対応する自然数 (0、1、2、...) に変換したい

この特定のケースでは、 5 つの数字しかありません。

特定の配列の要素数を取得しecho、対応する自然数 (人間が読める数) を配列から取得する方法は? またはさらに良い - これを行うためのより良い方法はありますか?

(私はちょうどそれを行うためのいくつかの関数またはクラスを見つけました - しかし今、それらは私が今必要としている単純なケースにはあまりにも肥大化しています)

さて、もちろん、私はこれを行うことができますswitch():

しかし、それは私にはエレガントではないように見えます。また、数字が 10 個を超える場合は、非常に愚かです。

それを達成するためのよりエレガントな方法があると確信しており、現在は5つの数字しかありませんが、他の場合に再利用する機能が必要です.

（これがばかげた質問である場合は申し訳ありませんが、ここSEまたはGoogleでキーワードを検索すると、文字列内の単語PHPのカウントに関連する回答しか見つかりませんでした）wordscount()

このシナリオを手に入れたとき、私は質問を受けていました：

ユーザーが何をしたかについて履歴ログを作成する必要があり、もちろんユーザーはさまざまなアクションを実行できます。

私はそれを作るための2つの異なる2つの方法を考えました.正しい方法に従うのを手伝ってくれる人が必要です.

最初の方法:

2 つの異なるテーブルを作成する

• History_user
• History_type

History_userテーブル

History_type

そして、クエリに参加するだけですHistory_user.history_type = History_type.id

2 番目の方法:

History_user テーブルと Converter というヘルパー サンプルを作成します。

パフォーマンスと保守性の観点から、それを行うためのより良い方法を探していました。ありがとうございました。