기본 콘텐츠로 건너뛰기

절대부등식

원문 보기:  https://dawoum.duckdns.org/wiki/절대부등식 Main article: List of inequalities 일차부등식 , 이차부등식 등은 조건에 만족하는 것만 해를 갖는 조건 부등식입니다. 절대부등식 은 미지수에 임의의 실수값을 대입하더라도 항상 성립하는 부등식을 말합니다. 여기서는 자주 사용하는 절대부등식을 알아보고, 증명 하는 것을 다루어 보고자 합니다. 절대부등식에 이용되는 증명은 실수의 대소 관계 에서 소개한 부등식의 성질, 즉, \(a-b\geq 0\)를 방법을 자주 이용합니다. 그러나, 제곱근 이나 절댓값 은 단순히 빼는 것으로는 절대부등식을 증명하기 힘들기 때문에 제곱근이나 절댓값 기호를 최소 개수로 줄이기 위해 제곱을 해서 빼는 방법 을 이용합니다. 한편, 산술평균, 조화평균, 기하평균 등은 기하학적 방법 을 이용하기도 합니다. 기본적인 절대부등식 실수 \(x, y, z\)에 대하여 다음이 항상 성립합니다. \(x^2+2xy+y^2 \ge 0\) (등호조건 \(x + y = 0\))\(\quad\cdots\)(1) \(x^2-2xy+y^2 \ge 0\) (등호조건 \(x - y = 0\))\(\quad\cdots\)(2) \(x^2+y^2+z^2+xy+yz+zx \ge 0\) (등호조건 \(x = y = z = 0\))\(\quad\cdots\)(3) \(x^2+y^2+z^2-xy-yz-zx \ge 0\) (등호조건 \(x = y = z\))\(\quad\cdots\)(4) \(|x|+|y|\geq |x+y|\) (등호조건 \(x \cdot y \ge 0\))\(\quad\cdots\)(5) \(|x|-|y|\leq |x-y|\) (등호조건 \(x \cdot y \ge 0\))\(\quad\cdots\)(6) 절대부등식은 등호가 있을 때에는 등호를 만족하는 등호 조건을 적어주어야 합니다. 증명) (1),(2)의 절대부등식은 완전제곱식이므로 \((실수)^2 \ge 0\)으로 증명됩니다. 등호는 완전제곱...
댓글 쓰기

Devuan

원문 보기: https://dawoum.duckdns.org/wiki/Devuan

Original article: w:Devuan

Devuan은 systemd 대신 sysvinit, runit 또는 OpenRC를 사용하는 데비안 리눅스 배포판의 포크입니다.[2][3][4][5] Devuan은 systemd와 같은 프로젝트에 의한 "고정"을 피하고[6][7] 다른 유틱스 시스템에서 리눅스가 분리되는 것을 방지하기 위해 다른 init 시스템과의 호환성을 유지하는 것을 목표로 합니다.

Installation

매체 얻기

홈페이지 다운로드 지면에서 정보를 얻을 수 있습니다. 몇 가지 버전이 amd64, i386 아키텍처에 대해 제공됩니다. 여기서는 devuan_daedalus_5.0.0_amd64_desktop-live.iso를 이용합니다.

QEMU/KVM

데비안 12 기반으로 만듭니다.

  • Memory : 4G
  • CPU : 4
  • HDD : 20G

설치 시작

기본 옵션으로 부팅합니다. 바탕화면의 install Devuan을 누릅니다.

실행되는 스크립트에서 내용을 읽고 적절히 수행합니다. 여기서는 기본값으로 진행했습니다.

마지막 과정 후에, GParted를 수행해서 파티션을 만들어야 합니다. 여기서는 1개의 주 파티션을 만들었습니다.

  • Root partition : /dev/vda1
  • Root Filesystem : ext4
  • Proceed withe the installation
  • Geographic area : Asia
  • Time zone : Seoul
  • Locales to be generated : en_US.UTF-8, ko_KR.UTF-8
  • Default locales : en_US.UTF-8
  • Keyboard model : Generic 105-key PC
  • Keyboard layout : Other
  • Country of origin for the keyboard : Korean
  • Keyboard layout : Korean
  • Key to function as AltGr : 기본값으로 진행
  • Proceed anyway? y
  • Copying system to new partition
  • Install Bootloader : Copy files
  • Install GRUB bootloader : MBR
  • Bootloader : /dev/vda
  • Configure hostname and username... : Use sudo as defaultfor new user? (and disable root account)
  • Configure user password
  • Installation complete.
  • Restart

대체로 잘 만든 스크립트이지만, 초보자에게는 조금 어렵게 느껴질 수도 있겠습니다.

Configurations

데비안에서 사용한 설정을 그대로 이용할 수 있습니다.

한글 글꼴

이미 설치되어 있습니다.

한글 입력기

님프를 이용할 수 있습니다.

다른 배포판과 다르게, 같은 설정으로 입력기가 동작하지 않습니다.

어쨌든, ibus-hangul을 설치하고 Settings-Keyboard에서 Use system defaults를 선택 해제한 후에 동작하는 것처럼 보입니다. ??

External links




 

라벨:

댓글

댓글 쓰기

이 블로그의 인기 게시물

리눅스 한글 입력기 (Wayland 편)

원문 보기: https://dawoum.duckdns.org/wiki/한글 입력기/On_Wayland 최근 소프트웨어들의 버전 업그레이드로 인해, X11에서도 님프 입력기에서 문제들이 발생하고 있습니다. 따라서 이제는 X11이든, Wayland이든 kime을 사용하는 것이 바람직해 보입니다!! 리눅스 생태계에서 X11에서 Wayland로의 전환은 여러 가지 새로운 장점과 단점을 만들어 냅니다. 일반 사용자들은 이런 전환이 가진 장점에 열광하기도 하지만 기존에 작동하는 메커니즘이 작동하지 않을 때 더욱 불만을 표출합니다. 리눅스에서 가장 큰 문제점은 한글 입력에 있습니다. 그러나, 이 문제는 거의 한국 사람들에 국한된 문제입니다. 물론, 중국과 일본도 비슷한 처지에 있어서 CJK로 묶어서 얘기가 되지만, 한글은 다른 두 언어에 비해 더 고려할 사항이 있어서 한글 입력기 개발에 어려움이 더해진다고 알려져 있습니다. 이런 상황 아래에서, kime과 nimf는 최근에 한국에서 개발된 두 개의 한글 입력기입니다. 먼저, 개인적인 경험을 기반으로 결론부터 얘기하자면, X11에서는 nimf를 추천합니다. Wayland에서는 kime을 추천합니다. 이유는 간단하게도, X11에서는 nimf가 더 많은 프로그램에서 올바르게 동작했지만, Wayland에서는 X11에서 잘 입력되던 프로그램에서 입력이 되지 않거나 잘못 입력되는 경우가 발생합니다. 반면에 kime은 Wayland에서 nimf가 입력하지 못하는 프로그램에서 입력이 되거나 잘못 입력되던 것이 제대로 입력되는 경우가 있기 때문입니다. 예를 들어, 그놈 Wayland에서 적어도 아래의 현상이 있습니다: gnome-calendar : nimf 입력기 전환 안됨. kime 정상 작동. nimf 이 문제는 gooroom에서 제공되는 gtk4 패치를 이용해 보십시오. kakaotalk (bottles: wine) : nimf 마지막 점을 찍으면 마지막 글자 앞에 찍힘. kime 정상 작동. alac...
댓글 쓰기
자세한 내용 보기

Btrfs 압축 수준 설정

원문 보기:  https://dawoum.duckdns.org/wiki/Btrfs 보통, 마운트 옵션에서 compress=zstd를 사용할 경우에 압축 레벨 3를 사용하고, HDD와 느린 플래시 스토리지에 적합하다고 알려져 있습니다. 좀 더 빠른 SATA SSD는 압축 레벨 2가 적당하고, NVME는 압축 레벨 1이 적당하다고 합니다: Yup, this is it. On slow storage higher compression levels tend to yield higher total storage throughput because you spend less time bound by slow storage bandwidth, instead you spend CPU time compressing/decompressing that data. The rick is to pick a compression level that yields greater total throughput than storage bandwidth can accommodate on its own. This approach works well on bandwidth limited storage like HDD pools, slow flash nand, flash nand attached to the system via slow USB, etc. On the flip side you don't want to constrain high bandwidth storage by sending data through a compression algorithm that limits throughput so lower compression levels (like zstd:1 on nvme storage, or zstd:2 on fast SATA SSDs) are usually safe choices. —  seaQueue, Btrfs compress level, https://...
댓글 쓰기
자세한 내용 보기

원리합계

원문 보기:  https://dawoum.duckdns.org/wiki/원리합계 등비급수 는 대표적으로 닮은 도형의 합을 구하는 것과 원리합계가 있습니다. 닮은 도형의 합은 무한등비급수에서 자세히 설명될 것입니다. 원리합계 는 원 금과 이(리) 자를 합하는 것들을 통칭하는 말입니다. 여기서는 기본 이론으로부터 다음의 네 가지 유형을 생각할 수 있습니다. 기수불 기말불 상환(할부) 연금의 현가 원리합계의 네 가지 유형에 대한 공식을 외우는 것보다는 원금과 이자를 구하는 과정과 등비급수를 만드는 과정을 이해해 두는 것이 필요합니다. 그래야만 이를 응용한 문제들에 적응할 수 있습니다. 원리합계 문제에 대한 분석 등비수열의 합인 등비급수 이므로 공비가 1인 경우와 그렇지 않은 경우로 나누어집니다. 그렇지만 공비가 1인 경우에는 변화 없이 초항이 계속 유지되는 경우이므로 이를 다루지는 않습니다. 한편, 공비가 1이 아닐 때 등비급수의 식은 다음과 같이 구해져 있습니다. \(\quad\)\(\displaystyle S_n=\frac{a_1 (1-r^n)}{1-r}\) 위 식에서 미지수로 둘 수 있는 것은 초항 , 공비 , 항수 뿐입니다. 문제의 표현에 따라 수식을 세우는 기본 방법만 이해한다면, 원리합계와 관련된 문제들은 쉽게 풀 수가 있습니다. 공비 구하기 원리합계와 관련된 문제들은 실생활 문제이므로, 공비가 얼마라는 표현을 쓰지 않습니다. 다음과 같은 형태로 표현됩니다. 현재값의 k%씩 증가한다. 현재값의 k%씩 감소한다. 첫 번째 값이 \(A\)인 경우에 두 번째 값은 다음과 같이 표현됩니다. 증가 \(\displaystyle A+A\times \frac{k}{100}=A\left(1+\frac{k}{100}\right)\) 감소 \(\displaystyle A-A\times \frac{k}{100}=A\left(1-\frac{k}{100}\right)\) 세 번째 값을 구할 때에도 두 번째 값을 \(A\)라고 치환해 버리면 항상 같은 수식을 이용할 수 있...
댓글 쓰기
자세한 내용 보기