第二回圏論勉強会

2004-12-11 (土) タイムインターメディアにて 14:20 - 18:40

出席者

田中    +------+        |ス
田原    |      | とおる |ク
Shelarcy|      | 酒井   |リ
 今井   |      | 山下   |｜
        +------+        |ン
          豊福

始まる前

高校の時点でやっている人は高等数学とかやっている
- あの時圏論とか知っていたら頑張って勉強したのに
- 入試は計算問題しか出していけないという縛り
- 抽象数学とか入れたらどんな問題になるんだろう？
- Haskell で未踏は伊知地さんではなく、株式会社イグナイトジャパンの酒井さん (オープンソース関係)
  - 伊知地さんは競争率が高かったらしい

Session 3

再び BOOKKEEPING について
- 借りてる側があれば、貸してる側もないといけない

Article II

cartesian座標の cartesian は Descartes（デカルト）に由来する
- ‘Des’ は付かないんだ
algebraとalgorithmの語源
- ちなみに al は英語の the にあたるらしい
なぜ「g=k => fg=fk」か
- 等しいものを代入しても等しいことは暗黙の前提
Exercise 9(p.54)
- map r が a retraction of f なので、f とrの合成写像ｒo f は、ｒo f=1_A をみたす。 e o e=(f o r) o (f o r)=f o (r o f) o r=f o (1_A) o r=f o r=e
- 後半： map f：A →Bが isomorphismなので、 map g： B→ A があって、gf=1_A(= identity map of A)、 fg=1_B(= identity map of B) をみたす。fg=1_B より、g は section 。ｒを retraction of f とすると、Theorem(p.54) より r=g となって、e=fr=fg=1_B で、identity。
retractionとsectionの日本語訳は？
- sectionは「切断」、retractionはよくわからない
- retractionを左逆元、sectionを右逆元と言ったりもする

二次会

Template Haskell は Modern C++ Design とか見てうらやましいと思ったやつだから
ささださんばりに Haskell での実装の詳細について書いていたら、Haskeller の注目すべき日記になるんだろうな
GHC Hacking Guide 欲しい
- 一応 Commentary はあるけど
- だれかソース整備して
- 名前重要
- 型宣言が書いてない
  - コンパイラに手を入れれば型宣言を付加する pretty printer ができるのでは
  - そのコンパイラのソースに型宣言が書いてない => 振り出しに戻る
  - Proxima にソースから型を判定してソース中の型宣言を出す機能があったけど、あれ(Proxima のプロトタイプ)きちんとコンパイルできない
オープンソフトウェア活用基盤はあっちの狙いとずれていて通らなかった
ある Webページからどんな情報で submit されるのか知りたい
- Achilles（アキレス）proxy が使えるのでは
- Mozilla用なら LiveHTTPHeaders が良さそう。
ブッシュが勝ったのには安楽死とかの議論の兼ね合いが
- ケリーに投票したにも関わらず、ブッシュに投票したのではないのではありませんねというよく分からない確認メッセージを出す投票機の話
今振り返って日本の大東亜・太平洋戦争の（回避も含めて）最善の策はなんだったのか
- 宣戦布告に失敗して奇襲の汚名を着せられてしまったのが痛かった
  - それさえ無ければ、ベトナム戦争時のようにアメリカ国内で反戦運動が盛り上がったりという展開もありえたのではないか
- ハルノートに従っていたら日米開戦は避けられたか?
  - ルーズベルトは、日本に最初の一発を撃たせることで第二次世界大戦に参戦する口実を得ようとしていたし、さらなる要求を突きつけられていただけでは?
- 日英同盟を解消していなかった場合はどうか?
- 元寇の時に負けるべきだった
- 秀吉が生きていて、明(あるいはヨーロッパまで進出したモンゴル帝国)を攻め落とす
- 関が原で西軍が勝っていたら標準語が名古屋弁になっていたという小説。清水義範の「金鯱の夢」
日中戦争の始まりを盧溝橋事件とするのはあまり正しくないと思う
- その後一度は停戦協定も結ばれている
- 通州事件によって日本の世論の収まりがつかなくなってしまったことも忘れるべきではない。
Ruby の IO が stdio ではなくなった
RDoc とか Doxygen をみんな使えばいいのに
- 言語ごとに色々あってうざい。誰か統一してくれ。
- でも Boost あたりはクラスよりも演算子のオーバーロードとテンプレートの展開を組み合わせる形なので
  - それって C++ 使う価値あるの？
  - 関数型言語使えって感じだけど、C++ のクラスとか呼べるから……6行のコンパイルに 10 分かかったりすることもあるけど
- Boost は BoostBook という DocBook 形式
日本語プログラミング言語でラムダを表記するときは「入」を使えばよい？
- 「λ」って書けるやん
- たまに「人」になる
darcs って使ってる？
- あれは最初の(initial)コミットもパッチだから……
- 最初のバージョンとそこからのパッチの列で管理してるので、最初にチェックアウトするときには、パッチを当てまくって凄いことになる
make ではなく configure の代替を目指したパッケージツール Cabal
清水義範の著作『バールのようなもの』に倣って『Perlのようなもの』という言語(Something Like Perl)を作ってはどうか
- SyntaxはPerlと同じでSemanticsが違うとか
Computational Category Theory のマニュアルが http://www.cs.man.ac.uk/~david/categories/ から入手できるけど、これって絶版になってしまった本と中身は同じ?
最初に無理数と分かったのは？ √2？黄金比？
Conceptual Mathematics を amazon で買った後にエロエロな本を買ったら「この本を買った人はこんな本も買っています」に載るのだろうか。

第三回圏論勉強会

2005-1-29 (土) タイムインターメディアにて 13:00-16:30

出席者

        +------+        |ス
今井    |      | 酒井   |ク
Shelarcy|      | 豊福   |リ
のなか  |      | 山下   |｜
        +------+        |ン
         とおる

Article II

Session 4

二次会

wxHaskell の GUI を宣言的に書くためのライブラリの問題点
GHC 6.4
- みんな CVS HEAD の GHC を使おう
- Purely Functional Data Structure のアイデアを元に実装された Queue などの例のライブラリが 6.4 に入る
- 6.4 で Concurrent Haskell に入る STM
- Template Haskell で wxHaskell 上に Pan を実装した PanTHeon は 6.3 以降の Template を使っている
Monad / Adjunction / 自由代数 / Kleisli construction
Rubyのいいリファレンス本ってない？
- オンラインマニュアルが一番。。。

Last modified : 2006/06/15 01:53:03 JST

Old/sampou.org/CategoryTheory_圏論勉強会_ConceptualMathematics_Session3-4

CategoryTheory_圏論勉強会_ConceptualMathematics_Session3-4

第二回圏論勉強会

始まる前

Session 3

Article II

二次会

第三回圏論勉強会

Article II

Session 4

二次会