mizar 氏の ONNX Policyプレイヤー を、(apple silicon も含めて) Mac で動かせるようにする方法まとめです。
- 依存ライブラリーをインストールする
x86 の場合
brew install python3
pip install numpy onnxruntime cshogi
mizar 氏の ONNX Policyプレイヤー を、(apple silicon も含めて) Mac で動かせるようにする方法まとめです。
x86 の場合
brew install python3
pip install numpy onnxruntime cshogi
#primes | min prod | last prime |
---|---|---|
0 | 1 | 1 |
1 | 2 | 2 |
2 | 6 | 3 |
3 | 30 | 5 |
4 | 210 | 7 |
5 | 2310 | 11 |
6 | 30030 | 13 |
7 | 510510 | 17 |
[todai-2023-3-1] | |
(a,x,y) | |
1 | |
(A x)(A y)[ | |
[x^2 + (y-a)^2 = 1] ==> [y > x^2] | |
]. | |
finish |
[todai-2012-1_0] | |
(L,t,s,s23,q) | |
1 | |
(E t)(X1 s)(X1 s23)(X1 q)[ | |
[s^2 = t^2 + 1] /\ [s >= 0] /\ | |
[9 s23^2 = 2] /\ [s23 > 0] /\ | |
[q (1 + t^2) = 2 t] /\ | |
[L = (q - s23) s] | |
]. | |
finish |
I hereby claim:
To claim this, I am signing this object:
http://robertborgersen.info/Presentations/GS-05R-1.pdf | |
- Koenig: 二部グラフ G について、最大マッチングと最小点カバーの大きさは等しい。 | |
- Koenig-Egerváry: 01 行列 B に対し、それを二部グラフとしてみなしたときの最大マッチングの大きさを term rank と、点カバーをカバーと呼ぶ。 | |
term rank は最小のカバーの大きさに等しい。 | |
- Birkhoff-Von Neumann: 二重確率行列: 全ての要素が非負な正方行列であって、行の和と列の和がすべて 1 であるもの | |
permutation matrix: 二重確率行列であって要素が 0 または 1 であるもの | |
二重確率行列は permutation matrix の convex combination で表せる。 | |
- Hall: X を集合、S_1, ..., S_n を X の部分集合とする。任意の [n] の部分集合 A に対して |\bigcup_{i \in A} S_i| >= |A| が成立するのであれば、 | |
相異なる x_i in S_i がとれる。 |
[todai-2021-6] | |
(b,c,p,q,r,x) | |
5 | |
(A x)[ | |
x^4 + b x + c = (x^2 + p x + q) (x^2 - p x + r) /\ [p > 0 \/ p < 0] | |
]. | |
finish |
[todai-2021-3] | |
(x) | |
1 | |
[ | |
8 x = (x + 1) (x^2 + 3) /\ | |
x /= 1 | |
]. | |
finish |
[kyodai-2021-2] | |
(l,t,s,dx,dy) | |
1 | |
(E t)(E s)(E dx)(E dy)[ | |
[t s = 1] /\ | |
[2 dx = t + s] /\ | |
[2 dy = t^2 + 1] /\ | |
[l^2 = dx^2 + dy^2] | |
]. | |
finish |
[todai-2021-1] | |
(a,b,x1,x2) | |
2 | |
(X1 x1)(X1 x2)[ | |
[x1^2 + a x1 + b = -x1^2 /\ -1 < x1 /\ x1 < 0] /\ | |
[x2^2 + a x2 + b = -x2^2 /\ 0 < x2 /\ x2 < 1] | |
]. | |
finish |