uDiary

◆ [Web] ガラスのおしゃぶりが引き受けてきた時間

• ジン、テレビ、社会的余剰 (Clay Shirky / 青木靖訳)
• 人力計算のチカラ（増井俊之の「界面潮流」第１回）

読んでて似ている気がしたので、くっつけてクリップしておく。

◆ メモ：数学セミナー 2008.06 より「再帰プログラム」

数学セミナー 2008.06 をパラパラ眺めていて、特集記事のうちのひとつ、 「再帰プログラム」が目をひいたので、メモっておく。

1. 再帰プログラムは不動点だ
2. 再帰プログラムは最小不動点だ
3. 再帰プログラムは巡回共有グラフだ
4. 再帰プログラムはトレースだ

記事の最後に挙げられていた参考文献たち：

• 長谷川真人, 「再帰プログラムの意味論について」, 『数学』, 59(2), 180-191, 岩波書店, 2007.
• 大堀純, 『プログラミング言語の基礎理論』, 情報数学講座, 9, 共立出版, 1997.
• 田辺誠, 中島玲二, 長谷川真人, 『コンピュータサイエンス入門: 論理とプログラム意味論』, 岩波書店, 1999.
• 横内寛文, 『プログラム意味論』, 情報数学講座, 7, 共立出版, 1994.

記事筆者のサイト ( http://www.kurims.kyoto-u.ac.jp/~hassei/ ) からも、 （多くは英文だそうですが）関連する論文を入手可能だそうです。

◆ メモ：最大エントロピーモデル

http://www.google.co.jp/search?q=%E6%9C%80%E5%A4%A7%E3%82%A8%E3%83%B3%E3%83%88%E3%83%AD%E3%83%94%E3%83%BC%E3%83%A2%E3%83%87%E3%83%AB

むかしのメモからキーワードだけ拾ってみた。