2019-01-30から1日間の記事一覧

決定性オートマトンの圏と非決定性オートマトンの圏はキレン同値

ってことだと思う。 ダニエル・キレン Quillen equivalence in nLab 次のビデオだと、Quillenは「クーレン」に聞こえる。 https://www.youtube.com/watch?v=52HujNvYbAY

旧ダイアリーの管理画面URL

管理画面には今でもアクセス可能。 http://d.hatena.ne.jp/m-hiyama/config [追記]2021-09-09: もうリダイレクト先が変わっている。[/追記]

横長過ぎる数式

ベックの分配法則の事例と計算法 - 檜山正幸のキマイラ飼育記 (はてなBlog) のTeX数式で、= や := が2つ以上入ると、横に長過ぎる。スマホで見ると横スクロールが発生してしまう。