以下のGitHubのReadmeから、圏論の見出しにあります。 github.com そうだ圏論勉強しよ、ということで重い腰を上げてStaks Projectを読み始めました。他にも良い資料はいくらでもあるけど、なんだかんだこれを参照するのが安定なのかなって思います。 米田の…

www.duolingo.com Duolingoという外国語学習サービスでイタリア語を学んでいるのですが、ついに連続300日を達成しました。 長く続けられた理由 今の所継続できていますが、レベルデザインがしっかりしていること、反復練習が基本なので負荷が軽いこと、それ…

タイトル通りです。下のリンクのREADMEを読んでChromeウェブストアに行き、拡張機能をブラウザにインストールすればmarkdownに数式が書ける。 github.com GitHubのmarkdownで数式が書けたらいいなとずっと思っていました。 ライバルのGitLabには一応その機能…