Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2009-11-01から1ヶ月間の記事一覧

「層圏トポス」と「コパスタを食べる余会」

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

AnyEventとPlackの社内勉強会資料

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

層圏トポス寄せ鍋 - 終了

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

層圏トポス寄せ鍋 - Math::Category のスライド

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

Gitリポジトリ中のサブディレクトリを別のリポジトリにする

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

Tatsumaki でブラウザベースの Twitter Streaming

それって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。圏の定義はとても簡単なのですが、抽象度の高さのために雲をつかんでいるような感覚に捕わ…