Skip to content

Instantly share code, notes, and snippets.

@gnlow
Last active May 19, 2023 05:25
Show Gist options
  • Save gnlow/9ab8af92ed8aabd6cd580f5a405b7bd3 to your computer and use it in GitHub Desktop.
Save gnlow/9ab8af92ed8aabd6cd580f5a405b7bd3 to your computer and use it in GitHub Desktop.
[
{
"instruction":"모든 항이 양수인 등비수열 {a_n}에 대하여 a_1 = 3, a_5 / a_3 = 4 일 때, a_4의 값은?",
"input":"",
"output":"a n > 0 (where n: Nat); a 1 = 3; a 5 / a 3 = 4; ? = a 4;"
},
{
"instruction":"함수 f(x) = 2x^3 - 6x + a의 극솟값이 2일 때, 상수 a의 값은?",
"input":"",
"output":"f x = 2 * x^3 - 6 * x + a; x, a: Real; localMinima f = 2; ? = a;"
}
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment