---
title: "#클로저 에미 - 컴퓨터대수학시스템 혁신"
url: "https://notes.junghanacs.com/notes/20241111T144027"
author: "Junghan Kim"
date: "2024-11-11T14:40:00+09:00"
lastmod: "2025-03-29T00:00:00+09:00"
tags: ["clojure","sicm"]
description: "Emmy와 SICM-utils를 통해 클로저 기반 컴퓨터대수학 시스템의 가능성을 살피는 노트이다."
---

> [!abstract] 이 노트에 대하여
> 
> Emmy와 SICM-utils가 클로저 안에서 어떤 수학적 계산과 실험을 가능하게 하는지 자료를 모아 둔다. 코드 예시와 학습 기록이 섞여 있어 탐색의 열기가 그대로 남아 있다.

## 2020 "SICM-utils meetup 12/2/2020 Sam Ritchie and Colin Smith"

(<a href="#citeproc_bib_item_8">*Sicm-Utils Meetup 12/2/2020 Sam Ritchie and Colin Smith* 2020</a>)

쿨 좋아.

```scheme
(define (d x1 y1 x2 y2)
  (sqrt (+ (square (- x2 x1)) (square (- y2 y1)))))
```

```text
#| d |#
```

## clerk 어떻게 구동하는가?

[2024-11-07 Thu 17:03]

([“Clerk: Moldable Live Programming for Clojure #Quarto” n.d.](https://notes.junghanacs.com/notes/20241111T144027#citeproc_bib_item_3))

## emmy clerk clojure 수식 변환 모든 것을 해내다.

[2024-11-08 Fri 11:38]

이게 길이였다. 이렇게 하면 다 가능해진다. 아래에 작성한다.

로컬에서 해야 하는데, 서버가 완전하지 않다. 이맥스에서 컨트롤 할 수 있어야 한다. 조직모드 말이다.

### Sam Ritchie "mentat-collective/emmy: The Emmy Computer Algebra System."

([“Mentat-Collective/Emmy: The Emmy Computer Algebra System.” 2024](https://notes.junghanacs.com/notes/20241111T144027#citeproc_bib_item_7))

-   emmy clone -&gt; repl 실행 -&gt; 붙여서 쓰는 방법
-   [Chapter 9: Our Notation - Nextjournal - nextjournal.com](https://nextjournal.com/sicm/ch-9-our-notation)

### Michiel Borkent 2024 "babashka/babashka"

([“Babashka/Babashka” 2024](https://notes.junghanacs.com/notes/20241111T144027#citeproc_bib_item_1)) [2024-11-08 Fri 14:59]

Native, fast starting Clojure interpreter for scripting

### deps-new 를 이용한 설치 - 템플릿으로 노트 만들기

[2024-11-08 Fri 16:13]

```shell
clojure -Ttools install-latest :lib io.github.seancorfield/deps-new :as new
```

## "#clerk #clojure #manual Computational notebooks"

구현 베이스

([“#Clerk #Clojure #Manual Computational Notebooks” n.d.](https://notes.junghanacs.com/notes/20241111T144027#citeproc_bib_item_2)) ([“Clerk: Moldable Live Programming for Clojure #Quarto” n.d.](https://notes.junghanacs.com/notes/20241111T144027#citeproc_bib_item_3))

## Narayanan, Harish 2024 "hnarayanan/sicm"  : 잘된다.

([“Hnarayanan/Sicm #Sicm” 2024](https://notes.junghanacs.com/notes/20241111T144027#citeproc_bib_item_6)) [2024-11-02 Sat 23:18]

Working through Structure and Interpretation of Classical Mechanics. 잠깐. 이거봐라.

## #cljdoc: Introduction — org.mentat/emmy 0.32.0

[2024-11-26 Tue 05:49] ([“#Cljdoc: Introduction — Org.Mentat/Emmy 0.32.0” n.d.](https://notes.junghanacs.com/notes/20241111T144027#citeproc_bib_item_5))

org.mentat/emmy: The Emmy Computer Algebra System. Documentation for org.mentat/emmy v0.32.0 on cljdoc.

[Introduction — sicmutils 0.22.0 - cljdoc.org](https://cljdoc.org/d/sicmutils/sicmutils/0.22.0/doc/introduction) 이전 이름.

[#클로저](https://notes.junghanacs.com/meta/20230729T052700) 문서화 방법에는 다음과 같다.

cljdoc — documentation for Clojure/Script libraries ([“Cljdoc — Documentation for Clojure/Script Libraries” n.d.](https://notes.junghanacs.com/notes/20241111T144027#citeproc_bib_item_4))

-   [ ] 홈페이지 오픈

## 관련노트

-   [#SammyEngineering #클로저 #이맥스](https://notes.junghanacs.com/bib/20241108T122934)
-   [#샘리치](https://notes.junghanacs.com/bib/20241110T121513)

## BIBLIOGRAPHY

- “Babashka/Babashka.” 2024. <https://github.com/babashka/babashka>.
- “#Clerk #Clojure #Manual Computational Notebooks.” n.d. Accessed November 3, 2024. <https://book.clerk.vision/#book-of-clerk>.
- “Clerk: Moldable Live Programming for Clojure #Quarto.” n.d. Accessed October 11, 2024. <https://clerk.vision>.
- “Cljdoc — Documentation for Clojure/Script Libraries.” n.d. Accessed November 24, 2024. <https://cljdoc.org/>.
- “#Cljdoc: Introduction — Org.Mentat/Emmy 0.32.0.” n.d. Accessed November 24, 2024. <https://cljdoc.org/d/org.mentat/emmy/0.32.0/doc/introduction>.
- “Hnarayanan/Sicm #Sicm.” 2024. <https://github.com/hnarayanan/sicm>.
- “Mentat-Collective/Emmy: The Emmy Computer Algebra System.” 2024. <https://github.com/mentat-collective/emmy>.
- *Sicm-Utils Meetup 12/2/2020 Sam Ritchie and Colin Smith*. 2020. <https://www.youtube.com/watch?v=GyUSh0AAloA>.