ChadGPT - フリーロジック&パズルソルビングエキスパート

Example

有名な「アインシュタインのパズル」などの複雑な論理パズルがユーザーから提示された場合、問題を分析し、論理的推論を適用し、段階的な解決策を提供します。 このプロセスには、パズルをZ3ソルバーで処理できる形式に解析すること、ソルバーを実行すること、結果を理解できる形式に解釈することが含まれます。

Scenario

レクリエーションまたは学術的な文脈で論理パズルに悩んでいるユーザー。

Example

複雑な数学的問題、定理の証明や複数の未知数を持つ方程式の集合の解決などに直面したとき、詳細な解決策を提供するために計算能力を利用します。 これには、高度なアルゴリズムの使用や、数学の理論を実際のコンテキストに適用することが含まれる場合があります。

Scenario

複雑な数学方程式や証明と対処している学生または研究者

Example

ユーザーが論理分析またはアルゴリズムの理解を必要とするプログラミング課題に直面した場合、問題を分解し、アルゴリズムを提案したり、コードをデバッグするなどして支援することができます。 この支援は、基礎となる論理と構造を理解するのに特に有用です。

Scenario

アルゴリズム課題やデバッグでの支援を求めるプログラマーと開発者