圏論の基礎
圏論の教科書として、一つの定番と呼ばれる本がMacLaneのCategories for the Working Mathematician（邦訳：圏論の基礎）だ。この本は自分自身にとっても大学に入ってから最初に読みふけり、読み切った本としてとても親しみ深い本である。しかし、先日久しぶりに手に取って眺めなおしてみると、少し物足りないと感じるところや良くないと感じるところも多くある。そこで「圏論の基礎（以下CWM）」について今の立場から思う所をレビューしてみようと思う。 ●MacLaneのスタイル まず、CWMに限らずMacLaneの書く本（例えばHomology）は特徴がある。それは「具体から抽象へ」という流れを明確に意識している点だ。例えば、随伴関手の説明をするとする。すると、一般的な話をする前に自由ベクトル空間と忘却関手の話をする。自由グラフの話をする。それらの構造を意識しながら、共通
圏論とは何か
数学に圏論という分野が出来てから半世紀ほど経つ事になる．大学の数学科過程で登場する集合位相，複素解析，環論体論などと比べれば，これはかなりの「若手」である．それゆえか，いまだに日本の数学課程で圏論の授業が行われることは（集中講義などを除けば）ほとんどない．（これは海外でも大差ないという話を聞く．）しかし，ひとたび大学院に入ると，幾何学や代数学を扱う人は，勝手に「圏論」の言葉が出てくる事に驚くかもしれない．圏論は現代数学の言葉として当然のように用いられ，その基礎学習は自習に任されるというのが現状である． しかし，このことは大きな問題を生み出している．というのも，少し齧った程度の自称「専門家」が様々な「圏論万能論」といった怪情報をインターネットに発信してしまっている事が多く見受けられる．また，当然のことながら「どの程度勉強するか」というのは，何をどのように専攻しているかに依存する．にも関わらず
Go言語でプラグイン機構をつくる
dullgiulio/pingo Go言語でのプラグイン機構の提供方法は実装者の好みによると思う（cf. fluentd の go 実装におけるプラグイン構想）．Go言語はクロスコンパイルも含めビルドは楽なのでプラグインを含めて再ビルドでも良いと思う．が，使う人がみなGo言語の環境を準備しているとも限らないし，使い始めてもらう障壁はなるべく下げたい．プラグインのバイナリだけを持ってこればすぐに使えるという機構は魅力的だと思う． Go言語によるプラグイン機構はHashicorpの一連のプロダクトやCloudFoundryのCLIなどが既に提供していてかっこいい．net/rpcを使っているのは見ていてこれを自分で1から実装するのは面倒だなと思っていた． dullgiulio/pingoを使うと実装の面倒な部分を受け持ってくれて気軽にプラグイン機構を作れる． 使い方 サンプルに従ってプラグインを
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Sprains, Strains & Other Soft-Tissue Injuries - OrthoInfo - AAOS