IA para desarrolladores

  • NVIDIA Cosmos는 AI 개발자에게 데이터 처리 및 모델 훈련을 위한 고급 도구를 제공합니다.
    0
    0
    NVIDIA Cosmos란?
    NVIDIA Cosmos는 개발자에게 데이터 관리, 모델 훈련 및 배포를 위한 고급 도구 세트를 제공하는 AI 개발 플랫폼입니다. 다양한 머신 러닝 프레임워크를 지원하여 사용자가 데이터를 효율적으로 전처리하고, 강력한 GPU를 사용하여 모델을 훈련하며, 이러한 모델을 실제 애플리케이션에 통합할 수 있도록 해줍니다. 이 플랫폼은 AI 개발 생애 주기를 간소화하도록 설계되어 AI 모델을 구축, 테스트 및 배포하는 것을 쉽게 만듭니다.
  • LanceDB는 데이터베이스 관리 및 AI 모델 통합을 간소화합니다.
    0
    0
    LanceDB란?
    LanceDB는 AI 애플리케이션에 최적화된 특수 데이터베이스로, 사용자가 방대한 양의 데이터를 효율적으로 저장하고 검색할 수 있도록 합니다. 다양한 데이터 유형을 지원하고 검색 속도를 높이기 위한 강력한 인덱싱 기능을 제공합니다. LanceDB를 사용하면 사용자는 AI 모델을 원활하게 통합할 수 있어 작업 흐름을 간소화하고 지능형 데이터 처리로 애플리케이션을 향상시키고자 하는 개발자 및 데이터 과학자에게 탁월한 선택이 됩니다.
  • Ollama는 명령줄 인터페이스를 통해 AI 모델과 원활하게 상호작용할 수 있도록 제공합니다.
    0
    0
    Ollama란?
    Ollama는 AI 모델의 사용을 단순화하기 위해 설계된 혁신적인 플랫폼으로, 간소화된 명령줄 인터페이스를 제공합니다. 사용자는 복잡한 설치나 설정 과정을 처리하지 않고도 다양한 AI 모델에 쉽게 접근하고 실행하며 관리할 수 있습니다. 이 도구는 AI 기능을 애플리케이션에 효율적으로 활용하려는 개발자와 열렬한 팬에게 적합하며, 사전 구축된 모델의 범위와 사용자 지정 모델을 쉽게 통합할 수 있는 옵션을 제공합니다.
  • 메모리, 계획, LLM 기반 도구 실행이 포함된 자율 AI 에이전트를 구축하기 위한 경량 Python 프레임워크입니다.
    0
    0
    Semi Agent란?
    Semi Agent는 계획, 실행, 장기적인 문맥 기억이 가능한 AI 에이전트를 구축하기 위한 모듈식 아키텍처를 제공합니다. 인기 있는 언어 모델과 통합하며, 커스텀 기능을 위한 도구 정의를 지원하고, 대화 또는 작업 중심의 메모리를 유지합니다. 개발자는 단계별 계획을 정의하고, 외부 API 또는 스크립트를 도구로 연결하며, 내장된 로깅을 활용하여 에이전트 행동을 디버그하고 최적화할 수 있습니다. 오픈소스 설계와 Python 기반으로 쉽고 맞춤화 가능하며 확장, 기존 파이프라인에 통합이 용이합니다.
  • BaseAI로 서버리스 자율 AI 에이전트를 쉽게 구축하세요.
    0
    0
    BaseAI.dev란?
    BaseAI는 수고 없이 서버리스 AI 에이전트를 생성하려는 개발자를 위해 설계되었습니다. 과거의 상호작용 및 결정을 기억할 수 있는 자율 에이전트의 개발을 촉진합니다. 이 플랫폼은 사용자가 '에이전틱 파이프', 도구 및 메모리 모듈을 구축할 수 있게 하여 복잡한 AI 기능을 구현하는 것을 더 쉽게 만듭니다. 단순성과 배포 민첩성에 중점을 둔 BaseAI는 다양한 구성 요소의 원활한 통합을 허용하여 프로젝트를 신속하게 개발 및 시작할 수 있도록 합니다.
  • DeepCoder-14B는 자연어 처리를 통해 고급 코딩 지원을 제공합니다.
    0
    0
    DeepCoder-14B-Previe...란?
    DeepCoder-14B는 개발자를 위해 특별히 제작된 AI 에이전트로, 자연어 처리를 활용하여 사용자 입력을 이해하고 정확한 코드 제안을 제공합니다. 간단한 함수가 필요하든 복잡한 알고리즘이 필요하든 이 도구는 관련 코드 스니펫을 생성하고 디버깅을 촉진하며 전반적인 코딩 효율성을 향상시킬 수 있습니다. 모든 수준의 프로그래머에게 이상적인 DeepCoder-14B는 수동 코딩 작업을 최소화하여 개발 시간을 단축하고 코드 품질을 향상시킵니다.
  • Git Scribe는 AI를 사용하여 스테이징된 코드 차트에서 설명적인 git 커밋 메시지와 PR 설명을 생성합니다.
    0
    0
    Git Scribe란?
    Git Scribe는 GPT 기반 자연어 처리를 사용하여 고품질 커밋 메시지와 풀 리퀘스트 설명을 생성하고, Git 워크플로우와 원활하게 통합됩니다. CLI를 설치한 후, 평소처럼 변경 사항을 스테이징하고 Git Scribe를 호출하여 차이점의 맥락을 분석합니다. 이후, 간결하고 정보가 풍부한 메시지를 만들어 기존 커밋 표준에 부합하며 수작업을 줄이고 팀 전체의 문서화를 일관되게 유지합니다.
  • aiXplain은 다양한 애플리케이션을 위해 AI 기반 모델 생성을 손쉽게 제공합니다.
    0
    0
    aiXplain란?
    aiXplain은 사용자가 텍스트 생성, 이미지 처리 및 데이터 분석을 포함한 AI 모델을 구축, 배포 및 관리할 수 있게 해줍니다. 직관적인 인터페이스를 통해 aiXplain은 다양한 AI 애플리케이션을 위한 도구를 제공하여 기업과 개발자가 AI 솔루션을 그들의 프로젝트에 원활하게 통합하도록 돕습니다. 플랫폼은 협업 작업 공간을 지원하며, 사전 구축된 모델과 사용자 정의 옵션을 제공하여 혁신을 촉진합니다.
  • Readme AI는 AI 분석을 통해 상세한 README.md 섹션(프로젝트 개요, 설치 단계, 사용 예제, 라이선스) 및 배지를 자동 생성합니다.
    0
    0
    Readme AI란?
    Readme AI는 소프트웨어 프로젝트용 README.md 파일 생성을 자동화하는 AI 기반 도구입니다. GitHub 저장소에 연결하여 상황, 종속성, 프로젝트 세부 정보를 지능적으로 추출합니다. 사용자는 소개, 설치, 사용, 기능, 라이선스, 배지 등 포함할 섹션을 선택할 수 있으며, AI가 명확하고 잘 구조화된 문서를 생성합니다. 생성 후 검토, 편집 후 저장소에 바로 커밋할 수 있습니다. 이는 개발자의 시간을 절약하고 일관성을 보장하며 프로젝트 검색성을 향상시킵니다.
  • OnlyFree는 AI 애호가를 위한 도구와 리포지토리를 제공하는 무료 AI 리소스 플랫폼입니다.
    0
    0
    Onlyfree.ai란?
    OnlyFree는 도구, 리포지토리 및 교육 콘텐츠를 포함한 무료 AI 리소스를 제공하는 데 전념하는 포괄적인 플랫폼입니다. 이는 AI 모델을 개발, 훈련 및 배포하는 데 사용할 수 있는 다양한 리소스를 제공하여 AI 커뮤니티를 지원하는 것을 목표로 합니다. 초보자든 경험이 풍부한 AI 전문가든 관계없이 OnlyFree는 모든 사람에게 귀중한 것을 제공하여 인공지능 분야의 지식과 혁신을 발전시키는 데 도움을 줍니다.
  • 이미지를 자세한 설명과 편집 가능한 텍스트로 변환하는 AI 도구입니다.
    0
    0
    AI Describe Picture란?
    Describe Picture는 이미지를 자세한 설명과 편집 가능한 텍스트 및 마크다운과 같은 다양한 형식으로 변환하는 AI 기반 플랫폼입니다. 이미지에서 텍스트를 추출하고, 웹 스크린샷을 코드로 변환하며, 이미지 기반 콘텐츠를 마크다운으로 변환하는 등의 기능을 제공합니다. 이 도구는 개발자, 콘텐츠 제작자 및 효율적인 이미지 콘텐츠 처리가 필요한 모든 사람에게 특히 유용합니다.
  • AI 기반 코드 변환으로 작업을 안전하게 전시하여 민감한 정보를 보호하세요.
    0
    0
    GitCase.dev란?
    GitCase는 당신의 코딩 작업을 안전하게 전시하기 위해 설계된 플랫폼입니다. AI 기반 변환을 활용하여 플랫폼은 코드를 조정하여 민감한 부분을 보호하고, 지적 재산권이 보호되도록 합니다. 개발자에게 이상적인 GitCase는 잠재적 고용주나 클라이언트에게 자신있게 프로젝트를 제시할 수 있도록 합니다. 사용량에 따라 유연한 요금제와 함께 플랫폼에서 무료로 시작하세요. GitCase는 다양한 프로젝트 규모에 맞춘 다양한 크레딧 패키지를 제공하여 사용한 만큼만 비용을 지불하도록 보장합니다.
  • Sensei AI 코딩 코파일럿은 코딩 면접을 위한 실시간 AI 지원을 제공합니다.
    0
    0
    Sensei AI Coding Copilot란?
    Sensei AI 코딩 코파일럿은 코딩 면접 중 실시간 지원을 제공하는 AI 기반 인터뷰 도우미입니다. 이 Chrome 확장 프로그램은 주요 앱과 함께 작동하여 코딩 문제에 대한 즉각적인 제안, 힌트 및 맞춤 솔루션을 제공합니다. 모든 주요 프로그래밍 언어를 지원하며 LeetCode, HackerRank, CodeSignal 및 기타 주요 코딩 플랫폼과 원활하게 통합됩니다. 이 확장 프로그램은 복잡한 알고리즘에 대한 단계별 설명과 함께 사용자가 면접에서 잘 수행할 수 있도록 돕는 향상된 사용자 인터페이스를 제공합니다.
  • AIEx는 AI 도구를 위한 디렉토리이며, AI 기반 프로젝트를 향상시키기 위한 큐레이션된 리소스를 제공합니다.
    0
    0
    AI Tools Explorer란?
    AIEx는 최고의 AI 도구와 웹사이트를 탐색하고 발견하기 위한 전용 플랫폼으로 기능합니다. 이 디렉토리는 프로젝트 개발을 돕기 위해 가치 있는 통찰력과 리소스를 제공하는 큐레이션된 AI 도구 선택을 제공합니다. 개발자, 연구자 또는 기업체라도 AIEx는 여러분의 AI 이니셔티브를 향상시키고 생산성을 극대화하기 위해 적합한 도구를 찾을 수 있도록 도와줍니다. 꾸준히 증가하는 도구 선택으로 AIEx는 최신의 가장 효과적인 AI 기술에 접근할 수 있도록 보장합니다.
  • AIStage: 최고의 AI 도구, 웹사이트 및 오픈 소스 프로젝트를 발견하세요.
    0
    0
    AIStage란?
    AIStage는 사용자가 최고의 AI 도구, 웹사이트 및 오픈 소스 프로젝트를 발견하는 데 도움을 주기 위해 설계된 포괄적인 플랫폼입니다. 또한 최신 AI 뉴스를 제공하여 AI 애호가, 개발자 및 비즈니스가 워크플로우에 AI를 통합하는 원스톱 목적지가 됩니다. 이미지, 비디오, 생산성, 텍스트, 비즈니스, 챗봇, 디자인, 예술, 코드 또는 IT에 관심이 있든 AIStage는 모든 필요에 맞는 도구를 분류하고 큐레이션합니다.
  • 터미널 명령을 생성하고 기억하기 위한 AI 기반 CLI 도구.
    0
    0
    gaidme란?
    gaidme는 인공지능을 사용하여 개발자와 IT 전문가가 터미널 명령을 생성하도록 돕기 위해 설계된 명령줄 인터페이스 (CLI) 도구입니다. 원하는 작업에 대해 간단히 설명하면 gaidme는 클릭 한 번으로 실행하거나 클립보드에 복사할 수 있는 명령을 제안할 수 있습니다. 또한 명령 기록을 지원하여 과거의 명령을 쉽게 재사용하고 수정할 수 있습니다. 개인정보 보호를 최우선으로 고려하여 gaidme는 귀하가 선택하지 않는 한 데이터를 저장하지 않습니다. Python 3.8 이상을 지원하는 플랫폼에서 사용할 수 있으며, gaidme는 터미널 경험을 향상시켜 시간을 절약하고 정신적 부담을 줄입니다.
  • UseAPI는 다양한 AI 모델에 대한 간단하고 신뢰할 수 있으며 저렴한 실험 API를 제공합니다.
    0
    0
    Third-party API for popular AI services란?
    UseAPI.net은 Midjourney, Riffusion, Mureka, Runway, MiniMax, InsightFaceSwap, Pika 및 PixVerse와 같은 다양한 AI 모델에 대한 실험 API를 제공하는 플랫폼입니다. 월 10달러의 구독으로 사용자는 자동 로드 밸런싱 기능을 통해 여러 계정에 액세스할 수 있습니다. 이 플랫폼은 관련 서비스에서 발생할 수 있는 잠재적인 문제를 방지하기 위해 지능형 논리를 통해 음악, 비디오 및 이미지와 같은 AI 생성 콘텐츠를 지원합니다. UseAPI.net은 고급 AI 기능을 생산 환경에 통합하는 과정을 간소화합니다.
  • Snap AI는 ChatGPT와 Copilot으로 구동되는 강력한 Mac AI 어시스턴트입니다.
    0
    0
    Snap AI란?
    Snap AI는 Mac 사용자 전용으로 설계된 강력한 AI 어시스턴트로, ChatGPT와 Copilot 덕분에 기능을 제공합니다. 글쓰기, 코딩, 텍스트 수정 및 언어 번역을 포함한 다양한 작업을 수행합니다. 질문에 대한 즉각적인 응답, 매력적인 대화 및 일상 작업을 정리하여 생산성을 향상시킵니다. 앱은 메뉴 막대 또는 키보드 단축키를 통해 쉽게 액세스할 수 있으며 Mac 워크플로에 매끄럽게 통합됩니다. 자율성 중심의 개인정보 보호를 위해 대화 내용은 저장되거나 AI 교육에 사용되지 않습니다.
  • 개발자를 위한 생성 미디어 플랫폼 fal. 고품질 출력을 위한 초고속 추론.
    0
    0
    fal.ai란?
    fal은 개발자를 위한 고급 생성 미디어 플랫폼으로, 성능과 품질을 최적화한 최첨단 생성 미디어 모델을 제공합니다. fal을 사용하면 사용자는 확산 모델을 위한 가장 빠른 추론 엔진에 접근할 수 있어 고속 및 고품질 출력을 실현할 수 있습니다. 이 플랫폼은 이미지-비디오 및 텍스트-이미지 등의 다양한 모델 유형을 지원하며, 개발자 경험을 향상시키기 위한 기능을 갖추고 있습니다. 사용자는 클라이언트 라이브러리를 통해 fal을 직접 애플리케이션에 통합하여 강력한 생성 기능을 쉽게 활용할 수 있습니다.
  • lluminy를 사용하여 GitHub 워크플로우와 원활하게 통합하여 Python 코드 주석을 손쉽게 생성하세요.
    0
    0
    lluminy란?
    Lluminy는 Python 프로젝트를 위해 코드 주석, 특히 docstring 생성을 자동화하도록 설계된 AI 기반 도구입니다. GitHub 계정과 직접 통합하여 저장소를 선택하고 몇 분 안에 포괄적인 문서를 생성할 수 있도록 해줍니다. Lluminy는 원본 코드가 변경되지 않도록 하고 여러 파일 또는 전체 코드베이스를 처리할 수 있도록 보장합니다. 이 도구는 개발자 온보딩을 가속화하고 코드베이스 유지 관리를 개선하며 팀 협업을 강화하는 데 이상적입니다.
추천
ThumbnailCreator.com
AI 기반 도구로 빠르고 쉽게 멋지고 전문적인 YouTube 썸네일을 제작하세요.
Refly.ai
Refly.AI는 비기술 창작자가 자연어와 시각적 캔버스를 사용해 워크플로를 자동화할 수 있도록 지원합니다.
BGRemover
SharkFoto BGRemover를 사용하여 온라인에서 이미지 배경을 쉽게 제거하세요.
VoxDeck
시각 혁명을 선도하는 AI 프레젠테이션 제작기
Qoder
Qoder는 소프트웨어 프로젝트의 계획, 코딩 및 테스트를 자동화하는 AI 기반 코딩 어시스턴트입니다.
Flowith
Flowith는 무료 🍌Nano Banana Pro 및 기타 효과적인 모델을 제공하는 캔버스 기반 에이전트 워크스페이스입니다...
FineVoice
텍스트를 감정으로 바꾸세요 — 몇 초 만에 표현력 있는 AI 보이스를 복제하고 디자인하며 생성하세요.
Skywork.ai
Skywork AI는 AI를 사용하여 생산성을 향상시키기 위한 혁신적인 도구입니다.
FixArt AI
FixArt AI는 가입 없이 이미지 및 동영상 생성을 위한 무료·무제한 AI 도구를 제공합니다.
Elser AI
텍스트와 이미지를 애니메 스타일 아트, 캐릭터, 음성 및 단편 영화로 변환하는 올인원 웹 스튜디오입니다.
SharkFoto
SharkFoto는 영상, 이미지, 음악을 효율적으로 제작 및 편집할 수 있는 올인원 AI 기반 플랫폼입니다.
Funy AI
상상을 영상으로! 이미지나 텍스트로 AI 비키니, 키스 영상을 만드세요. AI 옷 체인저 기능도 체험해보세요. 가입 없이 무료!
Yollo AI
AI 파트너와 대화하고 창작하세요. 이미지 투 비디오(Img2Vid), AI 이미지 생성 기능.
Pippit
Pippit의 강력한 AI 도구로 콘텐츠 제작을 향상시키세요!
AI Clothes Changer by SharkFoto
SharkFoto의 AI Clothes Changer는 사실적인 핏, 질감 및 조명으로 의상을 즉시 가상으로 착용해볼 수 있게 해줍니다.
SuperMaker AI Video Generator
SuperMaker와 함께 멋진 동영상, 음악 및 이미지를 손쉽게 만들 수 있습니다.
AnimeShorts
최첨단 AI 기술로 놀라운 애니메이션 짧은 영상을 쉽게 만드세요.
Palix AI
크리에이터를 위한 올인원 AI 플랫폼으로, 통합 크레딧으로 이미지, 동영상 및 음악을 생성합니다.
Lyria3 AI
텍스트 프롬프트, 가사, 스타일로부터 고품질의 완전 제작된 곡을 즉시 생성하는 AI 음악 생성기.
Paper Banana
AI 기반 도구로 학술 텍스트를 즉시 게시용 방법도와 정밀한 통계 플롯으로 변환합니다.
Tome AI PPT
AI 기반 프레젠테이션 제작기: 몇 분 만에 전문적인 슬라이드 데크를 생성, 미화 및 내보냅니다.
AI Pet Video Generator
AI 기반 템플릿과 즉시 HD 내보내기를 사용하여 사진으로부터 소셜 플랫폼용 바이럴하고 공유 가능한 반려동물 영상을 만듭니다.
Atoms
AI 기반 플랫폼으로 다중 에이전트 자동화를 사용해 코드 없이 몇 분 만에 풀스택 앱과 웹사이트를 구축합니다.
Ampere.SH
무료 관리형 OpenClaw 호스팅. $500 Claude 크레딧으로 60초 내에 AI 에이전트를 배포하세요.
HookTide
사용자의 목소리를 학습해 콘텐츠를 만들고 참여를 유도하며 성과를 분석하는 AI 기반 LinkedIn 성장 플랫폼입니다.
Veemo - AI Video Generator
Veemo AI는 텍스트나 이미지로부터 고품질의 비디오와 이미지를 빠르게 생성하는 올인원 플랫폼입니다.
Seedance 20 Video
Seedance 2는 일관된 캐릭터, 멀티샷 스토리텔링 및 2K 네이티브 오디오를 제공하는 멀티모달 AI 비디오 생성기입니다.
Hitem3D
Hitem3D는 단일 이미지를 AI로 고해상도 제작-ready 3D 모델로 변환합니다.
GenPPT.AI
AI 기반 PPT 제작 도구로, 몇 분 안에 발표자 노트와 차트가 포함된 전문적인 PowerPoint 프레젠테이션을 생성, 미화 및 내보낼 수 있습니다.
ainanobanana2
Nano Banana 2는 정밀한 텍스트 렌더링과 피사체 일관성을 유지하면서 4–6초 내에 프로 품질의 4K 이미지를 생성합니다.
Create WhatsApp Link
분석, 브랜드 링크, 라우팅 및 다중 에이전트 채팅 기능을 갖춘 무료 WhatsApp 링크 및 QR 생성기.
Gobii
Gobii는 팀이 24/7 자율 디지털 워커를 생성하여 웹 조사 및 일상 업무를 자동화할 수 있게 합니다.
AI FIRST
자연어를 통해 연구, 브라우저 작업, 웹 스크래핑 및 파일 관리를 자동화하는 대화형 AI 어시스턴트입니다.
AirMusic
AirMusic.ai는 텍스트 프롬프트로부터 스타일·무드 커스터마이즈와 스템(stems) 내보내기를 지원하는 고품질 AI 음악 트랙을 생성합니다.
GLM Image
GLM Image는 자기회귀(autoregressive) 모델과 확산(diffusion) 모델을 결합한 하이브리드 방식을 통해 뛰어난 텍스트 렌더링을 갖춘 고충실도 AI 이미지를 생성합니다.
TextToHuman
AI 텍스트를 즉시 자연스럽고 인간다운 글로 재작성하는 무료 AI 휴머니라이저. 가입 필요 없음.
Manga Translator AI
AI Manga Translator는 만화 이미지를 온라인에서 즉시 여러 언어로 번역합니다.
WhatsApp Warmup Tool
AI 기반 WhatsApp 워밍업 도구는 계정 차단을 방지하면서 대량 메시지 전송을 자동화합니다.
Seedance 2 AI
이미지, 영상, 오디오, 텍스트를 결합해 영화 같은 짧은 클립을 생성하는 멀티모달 AI 비디오 생성기입니다.
Remy - Newsletter Summarizer
Remy는 이메일을 이해하기 쉬운 인사이트로 요약하여 뉴스레터 관리를 자동화합니다.
LTX-2 AI
오픈소스 LTX-2는 텍스트 또는 이미지 프롬프트로부터 네이티브 오디오 동기화가 적용된 4K 영상을 빠르게 생성하며, 프로덕션 준비가 되어 있습니다.
Seedance-2
Seedance 2.0는 현실적인 립싱크와 음향 효과를 갖춘 무료 AI 기반 텍스트→비디오 및 이미지→비디오 생성기입니다.
FalcoCut
FalcoCut: 웹 기반 AI 플랫폼으로 영상 번역, 아바타 영상, 음성 클로닝, 페이스스왑 및 숏비디오 생성 기능을 제공합니다.
Telegram Group Bot
TGDesk는 리드 확보, 참여 증대 및 커뮤니티 성장을 돕는 올인원 Telegram 그룹 봇입니다.
SOLM8
전화해서 대화하는 AI 여자친구. 기억을 가진 실제 음성 대화. 그녀와 함께하는 모든 순간이 특별하게 느껴집니다.
Van Gogh Free Video Generator
AI 기반의 무료 동영상 생성기으로, 텍스트와 이미지로부터 손쉽게 멋진 동영상을 만듭니다.
Vertech Academy
Vertech는 학생과 교사가 효과적으로 배우고 가르칠 수 있도록 설계된 AI 프롬프트를 제공합니다.
Img2.AI
사진을 스타일화된 이미지와 짧은 애니메이션 비디오로 빠르고 고품질로 변환하고 원클릭 업스케일을 제공하는 AI 플랫폼입니다.
ai song creator
상업적 라이선스가 포함된 최대 8분 분량의 전체 길이 무로열티 AI 생성 음악을 제작하세요.
RSW Sora 2 AI Studio
AI 기반 도구로 Sora 워터마크를 즉시 제거하여 품질 손실 없이 빠르게 다운로드하세요.
Qwen-Image-2512 AI
Qwen-Image-2512는 빠르고 고해상도의 AI 이미지 생성기로, 중국어 텍스트를 네이티브로 지원합니다.
Lease A Brain
AI 기반 전문 가상 전문가 팀이 다양한 비즈니스 업무를 지원할 준비가 되어 있습니다.