generated at
2/16/2025, 5:30:34 PM
A翻訳
from
否定翻訳
A-translation
フリードマン
どのフリードマンかわからん..
\varphi
をA翻訳すると
\varphi^A
となる
参考
http://www.kurims.kyoto-u.ac.jp/~terui/summer2013.pdf
p.26~
