목록전체 글 (185)
yuns
계속해서 아래와 같은 에러가 떴다.. 'val Project.libs: LibrariesForLibs' can't be called in this context by implicit receiver. Use the explicit one if necessary 해결방법은 간단하다. plugins { alias(libs.plugins.androidApplication) alias(libs.plugins.kotlinAndroid) } 여기 위에 한 줄만 입력하면 libs에 관련한 warning이 사라진다. @Suppress("DSL_SCOPE_VIOLATION") plugins { alias(libs.plugins.androidApplication) alias(libs.plugins.kotlinAndroid..
Kotlin 내의 여러가지 DataType로 시간과 관련된 column을 추가하려 했으나 에러가 발생했다 "Serializer has not been found for type 'LocalDate'. To use context serializer as fallback, explicitly annotate type or property with @Contextual" 그래서, 다음과 같이 해결함 Serialization.kt 라는 파일명에 아래 코드를 추가했고, (내 코드 상에서의 위치는 내 마음대로 정했을 뿐, 원하는 곳에 선언해주면 됨 @OptIn(ExperimentalSerializationApi::class) @Serializer(forClass = LocalDate::class) class Loc..
Database에 있는 데이터를 불러오기 위해서 Serializable에러가 발생했다. To be registered automatically, class 'ArrayList' has to be '@Serializable', and the base class 'List' has to be sealed and '@Serializable'. 위의 에러가 발생해서 어떻게 해야되나 서칭을 시작했고 아래와 같은 방법으로 해결했다. build.gradle.kts에 아래 serialization version 코드 추가 후 build하면 해결! plugins { kotlin("plugin.serialization") version "1.7.10" }

추가적으로 실행할 수 있는 실습 IntelliJ에서 ktor 실습하기 디폴트 포트를 바꾸기 위해서는, src/main/kotlin/com.example/pulgins/Application.kt의 파일에서 포트 번호를 바꾸기 fun main() { embeddedServer(Netty, port = 1111, host = "0.0.0.0", module = Application::module) .start(wait = true) } fun Application.module() { configureHTTP() configureRouting() } YAML파일로 다운받기 project를 다운 받을 때 default로 Code File을 다운 받을 수 있음 [Adjust project settings]를 누르면..

https://start.ktor.io/ 에 접속 다운받고 싶은 프로젝트명 입력하기 우선은 Ktor Plugins에 아무것도 선택하지 않고 하단의 [generate project] 클릭 다운로드에 2번에서 다운받은 프로젝트명에 해당하는 파일이 설치되고, 아래와 같은 웹사이트로 전환됨 mac에서 ktor 실행해보기 폴더를 연뒤, gradlew Gradle을 실행가능도록 권한을 실행 chmod +x ./gradlew application을 build & run > ./gradlew build > ./gradlew run Chrome에서 http://0.0.0.0:8080 을 실행하면 아래와 같은 화면이 나옴 (safari에서 실행했을 때는 나오지 않았음 ㅠ) 실행을 멈추고 싶다면 ctrl+c를 눌러서 커멘드..
알고리즘 문제 해결 전략 Chap5 수학적 귀납법과 반복문 불변식 수학적 귀납법 반복적인 구조를 갖는 명제들을 증명하는 데 유용하게 사용되는 증명 기법 단계 나누기 첫 단계 증명 귀납 증명 반복문 불변식 귀납법: 알고리즘의 정당성을 증명할 때 가장 유용하게 사용되는 기법 반복문 불변식(loop invariant) 반복문의 내용이 한 번 실행될 때마다 중간 결과가 우리가 원하는 답으로 가는 길 위에 잘 있는지를 명시하는 조건 불변식을 이용하면 반복문의 정당성을 다음과 같이 증명 반복문 진입시에 불변식이 성립함을 보인다. 반복문 내용이 불변식을 깨뜨리지 않음을 보인다. 반복문 내용이 시작할 때 불변식이 성립했다면 내용이 끝날 때도 불변식이 항상 성립함을 보인다. 반복문 종료시에 불변식이 성립하면 항상 우리가..
알고리즘 문제해결 전략 Chapter 4 개관 알고리즘 어떤 작업이 주어졌을 때 컴퓨터가 이 작업을 해결하는 방법 문제를 해결할 때 한 가지 방법을 명료하게 써 놓아야 함 가능한 한 명료하고 모호한 표현을 써야 함 알고리즘을 평가하는 요소 두가지 요소 시간: 적은 시간을 사용 공간: 적은 공간을 사용 - 더 작은 용량의 메모리를 사용 서로 상충되는 경우가 많기 때문에, 메모리 사용량을 희생해 속도를 높이거나, 속도를 희생해서 메모리 사용량을 줄일 수 있음 알고리즘의 시간 복잡도 분석 속도 비교 방법 직관적으로는 수행 시간 측정하기 but, 수행시간은 사용한 프로그래밍 언어, 하드웨어, 운영체제, 컴파일러 등 수 많은 요소에 의해 바뀔 수 있음 심지어, 어떤 문자열을 구현했는지, 함수인자를 어떻게 넘겼는지..