Emacs + 暗号 + 数学 + プログラム
You could have designed state of the art positional encoding を読んだ。
TikZによるLaTeXグラフィックス | Stefan Kottwitz, 黒川 利明 を購入した。 TikZはやろうやろうと考えていたのでこれを気にある程度勉強したい。
書籍中のコードは PacktPublishing/LaTeX-graphics-with-TikZ: LaTeX graphics with TikZ, by Packt Publishing にある。
書籍のP.008に掲載されているコードは以下にある。
上記をEmacsのOrgモードのコードブロックで使えるようにする。ちょっと複雑になってしまうが、あとで実用的な方法を考えよう。
#+header: :file "images/v0ud5YVim1jv4.png" #+header: :results raw :fit yes :border 0cm #+header: :imagemagick t #+header: :iminoptions -density 400 #+header: :imoutoptions -geometry 200 -flatten #+begin_src latex :results file \begin{tikzpicture} \draw[thin,dotted] (-3,-3) grid (3,3); \draw[->] (-3,0) -- (3,0); \draw[->] (0,-3) -- (0,3); \end{tikzpicture} #+end_src
Mergiraf は Tree-sitter を利用したgitのマージを補助するツールのようだ。
gitで他の開発者が実装したブランチをマージする際に開発箇所が被ると衝突の回避をする必要がある。gitがうまく解決してくれることがあるが、手動は気を使う作業になる。
Margiral はその衝突を回避するために構文(syntax)を考慮してマージ作業をしてくれるようだ。
gitやバージョン管理のツールはこれ以外にもいくつかあるので、併せて試してみたい。
(Shalev-Shwartz and Ben-David 2009) を読んでいる。ふと定理の数式を実験できないかと考えた。
詳細は省くが、以下のような数式がある。 これを実験できないか？
\[ \underset{S \sim \mathcal{D}^m}{\mathbb{E}}\left[\sum_{i: C_i \cap S=\emptyset} \mathbb{P}\left[C_i\right]\right] \leq \frac{r}{m e} \]
\(\mathcal{D}^m\) を 0 から 1000000 の値を一様に出力する確率分布だとして実験する。
import numpy as np def D(size, low=0, high=1000000): return np.random.randint(X_low, X_high, size) def P(n, low=0, high=1000000): return n / (X_high - X_low) m = 2000 r = 10 C = D((r, 10)) N = 100 lst_sum_P = [] for _ in range(N): sum_P = 0 S = D(m) for i in range(r): if np.intersect1d(S, C[i]).size == 0: pass else: sum_P += P(C[i].size) lst_sum_P.append(sum_P) np.mean(lst_sum_P) <= r / (m * np.e)
True
Breaking CityHash64, MurmurHash2/3, wyhash, and more… を読んだ。
卒論でMD6のコンポーネントに対して高階差分解析をやったことを思いだした。また、ハッシュ関数を実装してみよう。
winston を使ったスタックトレースの出しかた。
import { createLogger, format, transports } from 'winston'; const { combine, timestamp, errors, printf, cli, metadata } = format; const myFormat = printf(({ level, message, metadata }) => { if (metadata && metadata.stack) { return `${metadata.timestamp} ${level}: ${metadata.stack}`; } else { return `${metadata.timestamp} ${level}: ${message}`; } }); export const logger = createLogger({ format: combine( errors({ stack: true }), timestamp(), cli(), metadata(), myFormat, ), transports: [new transports.Console()], });
import {logger} from '../../src/logger.js' import { test } from 'vitest' test("winstonの通常ログ", () => { logger.info("これはINFOです。"); }); test("winstonの例外時にスタックトレースを表示する", () => { try { throw new RangeError("これは範囲エラーです."); }catch(err) { logger.error(err); } });
RUN v2.1.0 /home/hoge/projects/hello_typescript
stdout | __tests__/unit/logger.test.ts > winstonの通常ログ
2024-11-04T10:58:55.786Z info: これはINFOです。
stdout | __tests__/unit/logger.test.ts > winstonの例外時にスタックトレースを表示する
2024-11-04T10:58:55.789Z error: RangeError: これは範囲エラーです.
at /home/hoge/projects/hello_typescript/__tests__/unit/logger.test.ts:12:11
at file:///home/hoge/projects/hello_typescript/node_modules/@vitest/runner/dist/index.js:146:14
at file:///home/hoge/projects/hello_typescript/node_modules/@vitest/runner/dist/index.js:529:11
at runWithTimeout (file:///home/hoge/projects/hello_typescript/node_modules/@vitest/runner/dist/index.js:61:7)
at runTest (file:///home/hoge/projects/hello_typescript/node_modules/@vitest/runner/dist/index.js:982:17)
at processTicksAndRejections (node:internal/process/task_queues:95:5)
at runSuite (file:///home/hoge/projects/hello_typescript/node_modules/@vitest/runner/dist/index.js:1131:15)
at runFiles (file:///home/hoge/projects/hello_typescript/node_modules/@vitest/runner/dist/index.js:1188:5)
at startTests (file:///home/hoge/projects/hello_typescript/node_modules/@vitest/runner/dist/index.js:1197:3)
at file:///home/hoge/projects/hello_typescript/node_modules/vitest/dist/chunks/runBaseTests.9YDrdSI4.js:130:11
✓ __tests__/unit/logger.test.ts (2)
✓ __tests__/unit/main.test.ts (3)
✓ build/__tests__/unit/main.test.js (2)
Test Files 3 passed (3)
Tests 7 passed (7)
Start at 19:58:55
Duration 209ms (transform 52ms, setup 0ms, collect 95ms, tests 12ms, environment 0ms, prepare 141ms)
Can a Rubik’s Cube be brute-forced? を読んだ。
ルービックキューブと群論は (Joyner 2010) で興味をもったことを思いだした。Common Lispも会得しようと考えていたが、いまだ覚つかない。これらを高レベルに融合するのが私の人生の目標の一つであったが、それは果せるだろうか？