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

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2023-05-30から1日間の記事一覧

テンソル計算(の準備)と型推論・エラボレーション

過去2回の記事「関係(非決定性写像)に関する用語」「(続き) 関係(非決定性写像)に関する記法」で、関係の話をしました。関係の計算にはテンソル計算を使うと便利です。テンソル計算は、物理や微分幾何だけでなく、様々な場面で使える汎用的でとても便利…