日々の流転

λ. SFC Antenna

電波状況が改善したのか、いつの間にか電波が届くようになってるっぽい。およよ。

λ. greatest change

Perhaps the greatest change of all, though, is not in how we live but in why we live.

λ. 教科書問題

「韓国政府による修正要求内容」というのを見付けた。これで、やっと修正要求の内容らしきモノを知ったんだけど、これ空いた口が塞がらなぇな。

こういう不当な要求に対して、「前向きに検討する」なんて政府が言ってると思うと、暗澹たる気持ちにさせられるよ。(嘆息)

λ. 決定可能

命題計算(LK|LJ)が決定可能であることを示すにはどうしたら良いだろう?

λ. 読書

『半分少女』

流星ひかる[著]

『屈折リーベ』

西川魯介[著]

λ. 向井研

代数の話がサッパリわからない。チャネル理論は今日は Distributed System の話。きちんと話についていけているのはチャネル理論だけかも……

λ. 構造的・摩擦的失業率は4%もあるのか?

を読んだ。(黒木のなんでも掲示板より。)

λ. monadとF,G-dialgebra

monadとF,G-dialgebraについて分かったような気がする。気がするだけかも。

λ. かけ算のような物

そういえば、有野さんが「かけ算のような物、という言葉で説明しているのは、 おおざっぱに言えば直積、A*Aから、Aへの写像全般な訳です」と書いている「掛け算のようなもの」とは、product functor Id×Id T(A)=A×A, T(f)(x,y)=(f(x),f(y)) であるような endo-functor T によって定義される T-algebra 全般になるのかな。

λ. Generic Programming - An Introduction -

Backhouse, Jansson, Jeuring, and Meertens による ``Generic Programming - An Introduction -'' (summer school on Advanced Funcational Programming 1998 の Lecture notes, http://www.cs.chalmers.se/~patrikj/poly/afp98/) の第二章にあたる部分の summary です。

使っている概念は圏論のものであるにも関わらず、 圏論という言葉が一度も出てきていないのが少し不思議。

ふむ。functorにも、polynominal functor や regular functor といったクラスがあるのか。

λ. ごはん

今日もあろ〜む

λ. マウス壊れたっぽい。ファッキン。

λ. Internationalized Resource Identifiers (IRIs)

IRIについてちょっと調べた。

λ. 東方弾幕風を使って「もってけ！セーラーふく」を弾幕で表現

制服「もってけ！セーラーふく」。 ちょっwww 元ネタを知らないのだが、これは吹いた。

λ. 第五回東京理科大学ピアノの会OB会演奏会

というものを聞きに行ってきた。

• 東京理科大学ピアノの会 OB会

演奏していた曲

例によって、演奏されていた曲を ナクソス・ミュージック・ライブラリ(Naxos Music Library, NML) で探してみた。

• 「主よ、人の望みの喜びよ」ト長調 BWV. 147 / J.S.バッハ
  • <URL:http://ml.naxos.jp/?w=89309>
  • <URL:http://keio.ml.naxos.jp/?w=89309>
• ショパンのエチュードに基づく練習曲第1番ハ長調 / ショパン / ゴドフスキー編
  • ゴドフスキー編のものは見つからず
  • <URL:http://ml.naxos.jp/?t=VO5167_01>
  • <URL:http://keio.ml.naxos.jp/?t=VO5167_01>
• ピアノ・ソナタ第2番変口短調「葬送」op.35より第3楽章「葬送行進曲」 / ショパン
  • <URL:http://ml.naxos.jp/?w=3049>
  • <URL:http://keio.ml.naxos.jp/?w=3049>
• 子守歌変二長調op.57 / ショパン
  • <URL:http://ml.naxos.jp/?w=42175>
  • <URL:http://keio.ml.naxos.jp/?w=42175>
• 2つの伝説 S.175 より第2番「波を渡るパオラの聖フランシス」 / リスト
  • <URL:http://ml.naxos.jp/?t=293044_03>
  • <URL:http://keio.ml.naxos.jp/?t=293044_03>
• バラード第4番 ヘ短調 Op. 52 / ショパン
  • <URL:http://ml.naxos.jp/?w=3006>
  • <URL:http://keio.ml.naxos.jp/?w=3006>
• 交響詩「フィンランディア」作品26 ピアノ編曲版 / シベリウス
  • <URL:http://ml.naxos.jp/?w=12724">
  • <URL:http://keio.ml.naxos.jp/?w=12724">
• ピアノ・ソナタ第8番ハ短調「悲愴」 Op. 13 より第3楽章 / ベートーヴェン
  • <URL:http://ml.naxos.jp/?t=111115_03>
  • <URL:http://keio.ml.naxos.jp/?t=111115_03>
• 10の小品op.12より第7番「前奏由」ハ長調 / プロコフィエフ
  • <URL:http://ml.naxos.jp/?t=D09069_14>
  • <URL:http://keio.ml.naxos.jp/?t=D09069_14>
• ピアノ・ソナタ第14番嬰ハ短調「月光」op.27-2より第1楽章,第2楽章 / ベートーヴェン
  • <URL:http://ml.naxos.jp/?w=1481>
  • <URL:http://keio.ml.naxos.jp/?w=1481>
• エチュードop.10より第12番「革命」 / ショパン
  • <URL:http://ml.naxos.jp/?w=125292>
  • <URL:http://keio.ml.naxos.jp/?w=125292>
• 亡き王女のためのパヴァーヌ / ラヴェル
  • <URL:http://ml.naxos.jp/?w=47310>
  • <URL:http://keio.ml.naxos.jp/?w=47310>
• アンダンテ・スピアナートと華麗なる大ポロネ—ズ　変ホ長調 op.22 / ショパン
  • <URL:http://ml.naxos.jp/?w=143010>
  • <URL:http://keio.ml.naxos.jp/?w=143010>
• ピアノ・ソナタ第21番ハ長調「ワルトシュタイン」より第1楽章 / ベートーヴェン
  • <URL:http://ml.naxos.jp/?t=LV1064_01>
  • <URL:http://keio.ml.naxos.jp/?t=LV1064_01>

あと、「黒猫フンジャッタっ!」という曲も弾いていた。

λ. プログラミング言語の意味論 by 勝股審也

おもしろいみろん - d.y.d で紹介されていたので、読んでみた。Adequacy や Full Abstraction についてはきちんと勉強したことがなかったので、(さわりだけだとは思うけど)勉強になった。