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

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

参照用 記事

2013-03-29から1日間の記事一覧

一般関手モデル:「圏の表示」の圏

[追記 date="2024-04-18"](11年以上の時を経て)用語法はだいぶ変わっています。 この記事 10年後 圏の表示の圏 Prs 形状の圏、または指標の圏 圏の表示(Prs の対象) 1-コンピュータッド ドクトリン(Sch) ? アンビエント圏(Set) ターゲット圏 「アン…

目玉が動くところ

長男:「おとうさん、自分の目玉が動くところ見たことある?」父親:「ないなー、って、それ無理だろう」長男:「ずっと前にさー、目の端っこが充血していて、鏡で見たのね」父親:「で、目玉を動かしてみた、と」長男:「そう。充血してるところをよく見よ…