日々の流転

λ. -rg

先生方はみんな「アカウント名-rg」というメーリングリストを持っているそうなので、冗談で sakai-rg＠tom.sfc.keio.ac.jp というメールアドレスを作ってみた。qmailさいこー

λ. kinux

kinuxの画面とソースコードをsaimuneさんに見せてもらった。すごいや、やっぱり。

λ. 今日の向井研

結構沢山人が集まった。みんな色々な興味分野があるようで、SFCも捨てたものじゃないなと思った。

• チャネル理論
• ガロア理論
• 金融工学の数学的な基礎
• 証明論とcode verification
• 自然言語
• 論理や数学の学習システム
• カテゴリー論

λ. カリー化と論理

向井先生と一緒にMapping objectをこねくりまわしていて、カリー化の概念は論理では「(A∧B)→C」と「A→B→C」が同値な事に関係するという話を聞いた。目から鱗だった。

【2008-03-15追記】 考えてみると、これがカリー・ハワード対応に触れた最初か。

λ. 時間割り

今の候補の授業はこんな感じなのだけど、悩む。

λ. Hugs の Foreign.C.String での Unicode⇔locale の変換

現実逃避にパッチを作った。FFIで日本語を使うときに幸せになれるかも。でも、Hugsで動くライブラリでそういうのはなさげな罠。

hugs98-Mar2005 用 (2005-03-23)

hugs98-Mar2005-cstring-i18n.diff

hugs98-Dec2003 用

hugs98-Dec2003-cstring-i18n.diff

Tags: haskell

λ. 単位

あと体育と語学とクラスター科目の要件を満たすと、卒業に必要な単位がピッタリそろう事に気がつく。さて、どうするか。

λ. Poderosa(ポデローサ)

Poderosa(ポデローサ) は、タブ式 GUI・SSH2 をサポートしているオープンソースの Windows 用高機能ターミナルエミュレータです。

私は Guevara で特に不便を感じていなかったので、ずっと Guevara を使っていた。だけど、こないだ花見のときにそれを驚かれてしまったので、これを機に Poderosa に乗り換えることにする。 だけど、自分が Guevara で不満に思っていた(些細な)点は Poderosa でも変化していなかったし、むしろ細かい機能が色々追加されているせいで、何だかごちゃごちゃしている印象を受けた。

λ. 不動産市場分析 (1)

不動産の特性

1. 不動性 : 地理的に位置が固定、移動できない(位置固有性、非同質性、立地性)
2. 耐久性
3. 外部性
4. 可塑性 : 併合／分割、用途転換、周辺環境の変化や開発による価値の変化(生産可能性)

λ. 安全保障論 (1)

takotさんとchikoさんに教えてもらったので早速覗きに行った。この授業面白いよ!　学部だけの授業なので履修は出来ないけれど聴講しよっと。

ところで、日本の大学では軍事を含む安全保障の議論は80年代半ばまでタブーだったそうだが……安全保障のような重要なテーマがタブーだったというのは正直言って想像しにくいな。また、かつて安全保障の議論のコミュニティは理論オタクと軍事オタクの巣窟だったとかで、政策学としての安全保障論の重要性を強調していた。

• 安全保障論 (SFC-GC)
• 安全保障論ノススメ

λ. 『銭　弐巻』, 鈴木 みそ

を読んだ。((((゜д゜))))ガクガクブルブルでつよー

λ. プログラミング作法とICPC

火曜は 『プログラミング作法』, ブライアン・カーニハン(Brian Kernighan) , ロブ・パイク(Rob Pike) 著, 福崎 俊博 訳 の輪講と、ICPCの過去問に挑戦ということに。

• Wiki

λ. spectral locale と compact coprime opens

Topology via Logic の p.122。「Definition 9.3.3: A spectral locale D is a spectral algebraic locale iff every compact open can be expressed as a finite join of compact, coprime opens.」の後の「It follows that in a spectral locale every open is a join (not necessarily finite) of compact coprimes」に2日くらい悩んでいたのだが、これってひょっとして条件の「spectral locale」が「spectral algebraic locale」の間違いだったというオチ?

λ. 第三十九回圏論勉強会

今日は圏論勉強会。

The Haskell Programmer's Guide to the IO Monad — Don't Panic を読む三回目で、モナドから。

λ. 第五十一回圏論勉強会

どうも暑いと思ったら、暖房がついていたらしい。

二次会は焼肉に。

カリー化をカリー化と命名したのは、フレーゲとStracheyらしい。Haskell B Curry は1900-1982。

白石さんを問い詰める会(?)