Daniel's blog

TAM, SAM, SOM을 분류할 때 시장을 구분하는 기준은 여러가지가 될 수 있고 아래가 대표적인 경우다. 지리적 경계: 제품이나 서비스가 운영되는 지리적 범위를 정의한다. 비즈니스의 성격에 따라 글로벌, 지역, 국가 또는 지역이 될 수 있다.인구 통계학적 경계: 제품 또는 서비스가 타겟팅하는 특정 인구 통계학적 그룹 또는 세그먼트를 식별한다. 여기에는 연령, 성별, 소득 수준, 직업 등과 같은 요소가 포함될 수 있다.기술적 경계: 제품 또는 서비스가 특정 기술이나 플랫폼으로 제한되는지 여부를 결정한다. 예를 들어, 모바일 앱을 개발하는 경우 스마트폰 사용자 수에 따라 TAM이 제한될 수 있다.산업 경계: 제품이나 서비스가 적용 가능한 산업 또는 분야를 지정한다. 이는 비즈니스와 관련된 시장 공간을 정..

SOM은 수익 시장으로, SAM (Servicable Available Market, 유효 시장) 내에서 경쟁, 시장 동향, 마케팅 전략(또는 예산), 브랜드 인지, 영업 역량 등의 요소를 고려해 해당 회사가 특정 기간 내에 현실적으로 확보할 수 있을 것으로 예상되는 비중이다. 본질적으로 SOM은 회사가 서비스하고자 하는 시장 세그먼트 내에서 달성하고자 하는 구체적인 시장 점유율을 의미한다. 광범위한 시장 규모 추정치를 제공하는 TAM 및 SAM과 달리, SOM은 회사가 공략하고자 하는 세그먼트 내에서 목표하는 시장 점유율에 초점을 맞추고 있다. 이 지표는 달성 가능한 목표를 설정하고 시장 침투 전략의 성공 여부를 측정하는 데 도움이 된다.  참고- https://advertising.amazon.com..

Constraint Solving은 일련의 제약 조건을 만족하는 변수의 값을 찾는 문제 해결 기법이다. 즉, 특정 조건 및 제약 조건을 충족해야 하는 문제에 대한 해결책을 찾는 것이다. 제약 조건(Constraints)은 수학 방정식, 논리적 조건 또는 변수의 가능한 값에 대한 제한 등 다양한 형태로 나타날 수 있다. Constraint Solving의 목표는 이러한 모든 제약 조건을 동시에 만족하는 변수에 대한 할당(assignments)를  찾는 것이다. 전반적으로 Constraint Solving은 여러 가지 상호 관련된 조건이나 요구 사항을 충족해야 하는 광범위한 문제를 해결하기 위한 강력한 기술이다. 복잡하고 까다로운 문제 영역에서도 모든 제약 조건을 충족하는 솔루션을 찾기 위한 체계적인 접근 ..

TAM (Total Addressable Market, 전체 시장)의 하위 집합이다. TAM에서 비즈니스가 현실적으로 타겟팅하고 서비스를 제공할 수 있는 부분을 나타낸다. 지리적 제한, 타겟 고객 세그먼트(인구 통계) 및 전체 TAM을 포착하는 데 영향을 미칠 수 있는 기타 제약 조건과 같은 요소를 고려한다. 또는 TAM 내의 스타트업이 추구하는 비즈니스 시장 규모라고도 이야기한다. 국내에서 검색 광고를 예를 들면, 네이버, 다음, 구글이 나눠서 점유하고 있는 국내 검색 광고 시장을 의미하고, 새로운 스마트폰을 만든다고 하면 국내 스마트폰 시장을 얘기할 수 있다.  참고- https://advertising.amazon.com/ko-kr/library/guides/tam-sam-som- https://b..

TAM은 가능한 모든 시나리오를 고려했을 때 시장 내에 존재하는 총 수요 또는 수익 기회를 의미한다. 이는 시장 점유율이 100%이고 경쟁이나 제약이 없다고 가정할 때 제품이나 서비스의 최대 잠재적 시장 규모를 나타낸다. 구글을 예로 들면 전 세계 검생 광고 시장, 애플과 삼성에게는 전체 스마트폰 시장을 의미한다. 공개된 자료가 많아 파악하기가 쉽고, TAM은 총 잠개고객 수에 고갱당 평균 수익을 곱하여 계산한다.  참고- https://advertising.amazon.com/ko-kr/library/guides/tam-sam-som- https://blog.hubspot.com/marketing/tam-sam-som

Z3는 Microsoft Research에서 개발한 고성능 정리 증명기이다. SMT(만족성 모듈로 이론, Satisfiability Modulo Theories) solver로 널리 사용된다. 특히, Z3는 성능과 신뢰성, 다양한 이론을 지원하는 것으로 잘 알려져 있다. 형식적 방법(Formal Methods), 소프트웨어 검증(software verification), 보안 분석(security analysis), 프로그램 합성(program synthesis) 등 다양한 영역에서 사용되고 있다. SMT solver는 복잡한 이론이 포함된 논리 공식의 만족도(satisfiability)를 확인하는 데 사용되는 도구다. Boolean formulas 다루는 기존의 SAT(명제 만족도, propositio..

Distributed System (분산 시스템) 은 소켓 프로그래밍을 사용해 서로 통신하는 여러 노드로 구성된 네트워크를 만들 수 있다. 중앙 서버로 데이터를 전송하는 여러 클라이언트가 있고 서버가 이 데이터를 처리해 응답을 보내는 간단한 예를 살펴보자. Server Code: 이 서버는 여러 연결을 동시에 관리하기 위해 threading을 사용해 여러 클라이언트를 처리한다. 각 클라이언트 연결은 별도의 thread에서 처리된다. '1024'는 한 번에 수신 가능한 데이터의 최대 크기(buffer size)를 의미하고 단위는 Byte다. import socketimport threadingdef client_handler(connection, address): print(f"Connected to..

네트워킹 및 소켓 프로그래밍의 맥락에서 "Host"라는 용어는 일반적으로 네트워크 주소를 통해 액세스할 수 있는 네트워크 상의 모든 컴퓨터 또는 장치를 의미한다. 다음은 "Host"와 "Port"의 개념에 대해 좀 더 자세한 설명이다. 소켓 프로그래밍에서 Host와 Port를 지정하면 네트워크 endpoint를 정의하는 것이다. Port 번호는 Host와 관련이 있으며, 해당 Host의 어떤 프로그램이나 서비스가 특정 Port로 들어오는 네트워크 데이터를 처리해야 하는지를 지정한다. Host: Host는 네트워크에서 IP 주소로 식별할 수 있으며, 이 주소는 192.168.1.1과 같은 IPv4 주소이거나 2001:0db8:85a3:0000:0000:8a2e:0370:7334와 같은 IPv6 주소일 수 ..

가독성과 포괄적인 표준 라이브러리로 인해 널리 사용되는 Python을 사용해 서버와 클라이언트 모두에 대한 Socket Programming의 간단한 예제다. 다음은 TCP 서버와 클라이언트를 설정하는 방법에 대한 기본 예제다. 매우 기본적인 예시이며 실제 애플리케이션에서는 오류, 여러 클라이언트 및 보다 정교한 데이터 처리를 해야한다.  TCP Server Code: 이 서버는 지정된 호스트와 포트에서 수신 대기하고, 연결을 수락하고, 클라이언트로부터 메시지를 수신한 후 응답을 다시 보냅니다.import socketdef run_server(host='127.0.0.1', port=65432): with socket.socket(socket.AF_INET, socket.SOCK_STREAM) as..

Socket programming은 인터넷 네트워킹의 맥락에서나 Linux와 같은 운영 체제 내에서 다양한 목적으로 다용도로 사용된다. 인터넷 네트워킹: Socket programming은 인터넷을 통한 통신을 가능하게 하는 데 광범위하게 사용된다. 이를 통해 서로 다른 컴퓨터의 서로 다른 애플리케이션이 네트워크를 통해 통신할 수 있다. 예를 들어, 웹사이트에 접속하면 브라우저는 Socket을 사용하여 웹 서버와 통신한다.운영 체제: Linux와 같은 운영 체제 내에서 Socket은 인터넷 통신뿐만 아니라 프로세스 간 통신(IPC)에도 사용된다. Socket은 프로세스가 같은 컴퓨터에 있더라도 네트워크 프로토콜 스택을 사용하여 서로 통신할 수 있는 방법을 제공한다. 이는 Linux 환경 내 시스템 프로그..