전체 글

[ Electron ] require is not defined 오류 해결 방법

일렉트론 openDevTools 을 이용하여 F12 메뉴를 보는데 require is not defined 라고 뜬다 찾아보니 nodeIntegration:false 인부분을 true 로 바꿔주면 된다는데 해결되지 않았다. contextIsolation : false 라는걸 추가해주니 해결되는 것을 확인했다.

[ Flutter ] The library is legacy 오류 해결법

english_words를 import 하는 과정에서 만난 오류이다. 패키지 버전이 맞지 않는 것이 원인으로패키지의 최신 버전을 알기 위해서는 pub.dev에 들어가서 내가 원하는 패키지 이름을 검색하면 된다. 가장 최신 버전을 pubspec.yaml에 다시 입력해서 flutter pub get을 실행시키고 실행하면 정상적으로 적용이 가능하다.

[Flutter] Avoid `print` calls in production code. 오률 해결법

개발을 하다보면 디버깅을 위해 print문을 자주 사용한다. 그런데 Avoid `print` calls in production code. 가 뜨며 사용을 권장하지 않는다. print 대신 debugPrint() 혹은 log() 를 권장한다.

[ 이산수학 ] 9. 공리와 정의, 그리고 정리와 증명, 증명법

공리와 정의 - 공리 : 별도의 증명없이 참으로 가정한 진술(statement)을 의미 - 정의 : 기호의 의미를 확실하게 규정한 것을 의미하며 수학에서는 의미론적인 정의가 아니라 형식적인 정의를 사용한다. 형식적 정의란 현실에서의 의미를 중요시 여기는 것이 아니라, 기호적인 의미가 강한 것을 의미한다. 정리와 증명 - 정리 : 공리와 정의, 또는 다른 정리를 통해 참이라는 것을 확인할 수 있는 진술(statement)을 의미한다 1) 보조정리(lemma) : 정리를 증명하는 데 도움이 되는 정리를 의미한다. 2) 따름정리(corollary) : 증명된 정리로부터 직접적으로 귀결시킬 수 있는 정리 3) 가설(conjecture) : 직관이나 부분적 증거를 통해 참이라고 주장되는 문장 - 증명 : 특정한 ..