このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

参照用 記事

2025-09-16から1日間の記事一覧

バンドル-ファミリー対応を簡潔に書く

https://x.com/m_hiyama/status/1966421418729763136 にて: (-1)乗の記法はオーバーロードが激しいので「これ以上に用法を増やしたくない」という気持ちはあるのだが:ファイブレーション α のファミリー(あるいはインデキシング)は α^{-1} と書くのが一…