체인의정석

https://nestjs-telegraf.vercel.app/ Installation | NestJS Telegraf nestjs-telegraf.vercel.app npm i nestjs-telegraf --save 먼저 해당 모듈을 설치해준다. import { Module } from '@nestjs/common'; import { TelegrafModule } from 'nestjs-telegraf'; @Module({ imports: [ TelegrafModule.forRoot({ token: 'TELEGRAM_BOT_TOKEN', }) ], }) export class AppModule {} 설치 후 , Module에서 TelegrafModule을 import 해주기, TELEGRAM_BOT_..

https://github.com/ethers-io/ethers.js/issues/1053 WebSocketProvider handle ws close and reconnect · Issue #1053 · ethers-io/ethers.js Hi @ricmoo, I'm using WebSocketProvider server-side to listen to blockchain events and performing calls to smart contracts. Sometimes the websocket pipe got broken and I need to reconnect it. I use... github.com 해당 링크에서는 지속적으로 코드가 업데이트 되고 있기 때문에 버전이 바뀜에 따라서 위의 링크..

A. 기본구조 1. 시작 지점인 Main.ts main.ts가 시작하는 지점이며 여기서는 AppMoudule을 받아서 app.listen 안에 있는 포트로 웹서버를 구동시킨다. import { NestFactory } from "@nestjs/core"; import { AppModule } from "./app.module"; // import * as dotenv from 'dotenv'; async function bootstrap() { // dotenv.config(); const app = await NestFactory.create(AppModule); await app.listen(3002); } bootstrap(); 2. module module의 경우 @module 데코레이터가 사용되..

출처 : https://docs.ens.domains/ Introduction - ENS Documentation Top-level domains, like ‘.eth’ and ‘.test’, are owned by smart contracts called registrars, which specify rules governing the allocation of their subdomains. Anyone may, by following the rules imposed by these registrar contracts, obtain ownership docs.ens.domains ENS의 2개 포인트 Register과 Resolver ENS의 경우 크게 Registry와 Resolver 2개로 나뉜다..

1. Nest.js 설치코드 1. Nest 설치 npm install -g @nestjs/cli 2. 설치확인 nest --version 3. netst new "프로젝트이름" 해당 명령어를 쓰게 되면 express generator 처럼 알아서 기본 틀이 만들어지게 된다. nest new cassandra-server ⚡ We will scaffold your app in a few seconds.. ? Which package manager would you ❤️ to use? (Use arrow keys) ❯ npm yarn pnpm 생성된 파일구조는 다음과 같음을 확인할 수 있었다. src/: 소스 코드가 위치하는 주 디렉토리. app.controller.ts: 애플리케이션의 컨트롤러. 요청을 처..

명령어 1. brew 로 카산드라 설치 brew install cassandra 2. cassandra 시작 brew services start cassandra 3. 카산드라의 쿼리 언어인 CQL 사용 Cassandra Query Language (CQL): Cassandra uses CQL for queries. You can interact with Cassandra using the CQL shell (cqlsh). cqlsh Connected to Test Cluster at 127.0.0.1:9042 [cqlsh 6.1.0 | Cassandra 4.1.3 | CQL spec 3.4.6 | Native protocol v5] Use HELP for help. cqlsh> 4. 콘솔에 들어가졌다면..

1차 논리 추론의 경우 챗 지피티에게 질문하는 형식으로 학습하고 정리하기로 했다. 1차논리 추론 설명 1차 술어 논리 추론 (First-Order Logic Inference) 1차 술어 논리는 객체, 객체 간의 관계, 및 객체의 속성을 표현하는 데 사용되는 강력한 논리 체계입니다. FOL 추론은 주어진 정보(증거)를 바탕으로 새로운 정보를 도출하는 과정입니다. 모델 이론 (Model Theory) 모델 이론에서는 주어진 명제들이 참이 되는 모델(즉, 세계 혹은 상황)을 찾습니다. 이를 통해 새로운 명제의 참과 거짓을 판단할 수 있습니다. 예를 들어, '모든 사람은 죽을 것이다'라는 명제가 있을 때, 이 명제가 참인 모델은 모든 사람이 죽는 세계입니다. 따라서 '소크라테스는 죽을 것이다'라는 명제도 참입..

논문 같은걸 읽다보면 복잡한 기호들이 있다. 이런걸 읽으려면 어떻게 할지 고민하고 있었는데 인공지능 수업시간에 딱 첫 주문 로직부터 배우는 부분이 상황을 수식을 표현하는 것이였다. 먼저 기본 로직들의 의미를 살펴보도록 하겠다. 양화자 (Quantifiers): ∀ (전칭 양화자, Universal Quantifier): "모든"이라는 의미로, '∀x, P(x)'는 "모든 x에 대해 P(x)가 참이다"라는 의미입니다. ∃ (존재 양화자, Existential Quantifier): "어떤 것이 존재하여"라는 의미로, '∃x, P(x)'는 "어떤 x가 존재하여 P(x)가 참이다"라는 의미입니다. 명제 연산자 (Propositional Connectives): ∧ (논리곱, Conjunction): "그리고"..