헌정하는 말 : 「읽어보기 전에」부분을 표기법을 싫어하는 “꼰”님께 헌정합니다. 걍 존나 귀찮아서 내가 상수 몇개 정의하고 형식언어로 돌리겠다는데 뭐가문제야오3ㅕ188ㅋ82ㅕ2ㅓ랴9쟈2ㅑ너ㅑ뱢9
읽어보기 전에 : 이 체계는 단순히 종이를 존나쓰는 어느 망상쟁이 고등학생이, 평소에 비표준 정의를 기술하는 방식으로써, 람다의 치환기호나, 구문론적 정의 기호의 악용 등을, url에 옮길 개미친 또라이같은 생각으로 시작된 내용으로, synurlc함수 하나로 설명되는 체계이며, 자체로는 의미를 가지지 않으며 (synurlc의 속뜻, 의도한 바는 해설서에만) 정의서에서는 정말로 재앙같이 명확히 우리가 수학으로 분류할수 있게 설계하였다.
SYNURL은 URL형식의 구문을 튜링기계를 통해 컴파일하여 구성하는, 전처리기 오토마타 형식전처리부호 겸 형식언어용 플러그인이다.
언어 L에 대해서, 컴파일러인 acessor(걍 synurlc(L)라고도 하는 함수다, 정확히는 그 명칭을 써야한나)를 통해서,
acessor : SYNURL-L -> L인 함수 acessor가 컴파일러인것이다.
그때, 언어 SYNURL-L가 존재한다.
SYNURL-L의 뜻은 L로 전처리되어 생성된 값의 의미이다.
그러니까 의미론적인 부분은 synurlc함수에 넣은값이라는거다.
람다 함수로 포장된 함수인 synurlc함수는
synurlc L """
멀티 라인 문자열
"""
식의 방식으로 표현할수 있으며,
이를 통해 synurlc L의 의미를 확정한다.
따라서, synurlc함수가 정의된다는것은, synurlc L의 의미를 표준적으로 작성 • 해석할수 있다는 뜻이다.
▪︎make online first
▪︎then type it reak physical typer
▪︎copy to save
PROFIT!
1권 제목 : synurl-book「총동봉상품」
1책 MIT라이선스 / 타이틀 : corefile.pdf
2책 GPL라이선스 / 타이틀 : mathessolinux
3책 MIT라이선스 / 타이틀 : about.tex
#blob.ext
~:syntax@~
~:lambda@~
txt
: defaultmarkdown
: Special Enginehtml
: blob view onlytex
svg.
: as allbin.
^pdf.
: as all, but blob onlysynurl file
synurl.kro.kr#file.synu
synurl.kro.kr#file.syu
synurl.kro.kr#file.toml
synurl.kro.kr#file.json
synurl.kro.kr#file.yaml
synurl.kro.kr#file.txt
username[:path]@synurl.kro.kr#file.md
synurl.kro.kr#file.html
synurl.kro.kr#file.htm
synurl.kro.kr#file
synurl.kro.kr#file.tex
synurl.kro.kr#file.pdf
synurl.kro.kr#file.bpm
synurl.kro.kr#file.gif
synurl.kro.kr#file.png
synurl.kro.kr#file.webp
synurl.kro.kr#file.svg
url:token@synurl.kro.kr
file type