📦 Out of Context リポジトリ

リポジトリ / emssr / independent_common_compiler

r2

Common scope notebook

Common 言語の平文を書き、commonc が組んだ内部表現を横で見るブラウザのアプリケーション。


1. 動かす

必要なのは Python 3.8 以上。

Get Started

python server.py

Windows は start.ps1、macOS と Linux は start.sh でも同じ。ブラウザが開くはず。

repository から動かす場合

python setup.py        初回実行したい場合。runtime/ と vendor/pyodide/ を揃える(約 15 MB を取得)
python server.py

二回目からは server.py だけでよい。

したいこと
port を変える python server.py --port 9000
ブラウザを開かない python server.py --no-browser
動作を確かめる python test_notebook.py
図と動画を作り直す python figures.py(matplotlib と ffmpeg を使う)
配布版フォルダを作る python setup.py --dist <出力先>

network の無い PC へ入れるときは、別の PC で python setup.py --vendor を実行し、
vendor/ ごとコピーする。


2. VS Code 拡張を入れる

vscode/ フォルダを拡張の置き場へコピーする。

1. コピーする。

Windows(PowerShell):

Copy-Item -Recurse vscode "$env:USERPROFILE\.vscode\extensions\common-scope"

macOS / Linux:

cp -r vscode ~/.vscode/extensions/common-scope

2. VS Code を再起動する。

.cmn を開いて音節に色が付けば入っている。それ以上の機能がまだない...

3. コマンドパレット(Windows と Linux は Ctrl+Shift+P、macOS は Cmd+Shift+P)から呼ぶ。

コマンド
Common scope: notebook を開く server.py を起動して VS Code の中に出す
Common scope: このファイルを全パネルへ送る Ctrl+Enter でも同じ
Common scope: パネルを一枚開く 層・DAG・ツイ数平面・lane64・接合秩 から選ぶ
Common scope: server を止める

server.py が見つからないと言われたとき

拡張は開いている workspace の下から common_scope_notebook/server.py を探す。
別の場所へ置いたときは、設定にフォルダを絶対パスで書く。

"commonScope.root": "C:\\tools\\common_scope_notebook"
設定 既定
commonScope.root 空 common_scope_notebook のフォルダ
commonScope.port 8787 server.py の port
commonScope.python python server.py を動かす実行ファイル
ソースを表示
# Common scope notebook

Common 言語の平文を書き、commonc が組んだ内部表現を横で見るブラウザのアプリケーション。

---

## 1. 動かす

必要なのは Python 3.8 以上。

### Get Started

```
python server.py
```

Windows は `start.ps1`、macOS と Linux は `start.sh` でも同じ。ブラウザが開くはず。

### repository から動かす場合

```
python setup.py        初回実行したい場合。runtime/ と vendor/pyodide/ を揃える(約 15 MB を取得)
python server.py
```

二回目からは `server.py` だけでよい。

| したいこと | |
|---|---|
| port を変える | `python server.py --port 9000` |
| ブラウザを開かない | `python server.py --no-browser` |
| 動作を確かめる | `python test_notebook.py` |
| 図と動画を作り直す | `python figures.py`(matplotlib と ffmpeg を使う) |
| 配布版フォルダを作る | `python setup.py --dist <出力先>` |

network の無い PC へ入れるときは、別の PC で `python setup.py --vendor` を実行し、
`vendor/` ごとコピーする。

---

## 2. VS Code 拡張を入れる

`vscode/` フォルダを拡張の置き場へコピーする。

**1. コピーする。**

Windows(PowerShell):

```powershell
Copy-Item -Recurse vscode "$env:USERPROFILE\.vscode\extensions\common-scope"
```

macOS / Linux:

```sh
cp -r vscode ~/.vscode/extensions/common-scope
```

**2. VS Code を再起動する。**

`.cmn` を開いて音節に色が付けば入っている。それ以上の機能がまだない...

**3. コマンドパレット(Windows と Linux は `Ctrl+Shift+P`、macOS は `Cmd+Shift+P`)から呼ぶ。**

| コマンド | |
|---|---|
| `Common scope: notebook を開く` | `server.py` を起動して VS Code の中に出す |
| `Common scope: このファイルを全パネルへ送る` | `Ctrl+Enter` でも同じ |
| `Common scope: パネルを一枚開く` | 層・DAG・ツイ数平面・lane64・接合秩 から選ぶ |
| `Common scope: server を止める` | |

### server.py が見つからないと言われたとき

拡張は開いている workspace の下から `common_scope_notebook/server.py` を探す。
別の場所へ置いたときは、設定にフォルダを絶対パスで書く。

```json
"commonScope.root": "C:\\tools\\common_scope_notebook"
```

| 設定 | 既定 | |
|---|---|---|
| `commonScope.root` | 空 | `common_scope_notebook` のフォルダ |
| `commonScope.port` | 8787 | `server.py` の port |
| `commonScope.python` | `python` | `server.py` を動かす実行ファイル |