koba-e964

[改修] 将棋AI : USIエンジン : ONNX Policyプレイヤー

mizar 氏の ONNX Policyプレイヤー を、(apple silicon も含めて) Mac で動かせるようにする方法まとめです。

1. 依存ライブラリーをインストールする

x86 の場合

brew install python3
pip install numpy onnxruntime cshogi

koba-e964

#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

koba-e964

[todai-2023-3-1]
(a,x,y)
1
(A x)(A y)[
    [x^2 + (y-a)^2 = 1] ==> [y > x^2]
].
finish

koba-e964

[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

koba-e964

Keybase proof

I hereby claim:

• I am koba-e964 on github.
• I am koba_e964 (https://keybase.io/koba_e964) on keybase.
• I have a public key ASAMM8xz1dn4e6i5_IWmXDuSLYr74XPurfe_Wo-P-X2U6Ao

To claim this, I am signing this object:

koba-e964

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 がとれる。

koba-e964

[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

koba-e964

[todai-2021-3]
(x)
1
[
    8 x = (x + 1) (x^2 + 3) /\
    x /= 1
].
finish

koba-e964

[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

koba-e964

[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