AIリテラシー

AIを使った作業を検証する

レッスン · 10 min

Check generated code with counterexamples

Turn a correctness claim into a contract, then find an input that breaks it.

レッスン · 10 min

Separate support, contradiction and missing evidence, then attach the right source.

レッスン · 12 min

Give an assistant enough evidence to do its task and only the capabilities it needs.

レッスン · 12 min

Reproduce the defect, exercise the patch and state the limit of the evidence.

4つのスキルを別の課題に使います。各課題を確認すると基準と実行結果が表示されます。修正して再挑戦できます。