昨日、コンボで参加してきました。層圏トポスは層の復習。位相がわからないときつい内容ですので、数学の素養がないと参加は厳しそうです。内容はとても面白いので、情報系に限らず学部レベルの数学を復習したい社会人や*1、学部生が参加するといいかもしれ…

社内で Shibuya.pm*1でmiyagawaさんのTatsumakiの話を聞く上での予備知識のつもりな勉強会をするので、利用するスライドだけ貼っておきます。AnyEvent and PlackView more documents from hiratara. *1:自分は行けなくなりましたが・・・orz

参加してきました。時間の都合でスライドは途中まで。まあ、そんなに面白い発表ではなかったのでいいかとｗ 一応、今朝の修正分も入れた最新版に差し替えておきました。内容は今までの復習に近かったのですが、id:m-hiyamaさんとckuwataさんのカロウビ展開圏…

2009-11-21 の 層圏トポス寄せ鍋用のスライドです。Math::Category は自分の勉強用に実装した、 Perlで主に射の概念を抽象的に扱うためのモジュールです。現在、関手、自然変換、モナドの概念に対応してます。極限や随伴とかは実装してません。 Math::Catego…

clone して filter-branch を使うと、サブディレクトリを別のリポジトリにできます。例えば、/tmp/hoge にあるリポジトリに hoge と subdir/foo と言うファイルがあって、ログが以下とすると、 % git log -p --pretty=oneline ac27f0a1f18108cd81be52634b072…

それってHamakiなんですが、試しに作ってみたので一応。ただし、Tatsumakiは、 This is considered as alpha quality software. Most of the stuff are undocumented since it's considered unstable and will likely to change. You should sometimes look …

第一回層圏トポス寄せ鍋(ATND)が行われるそうです。恐らく、圏論を勉強して半年くらいの初心者達が、ゆるく圏論について語り合う場になるんじゃないかと思います*1。圏の定義はとても簡単なのですが、抽象度の高さのために雲をつかんでいるような感覚に捕わ…