  |
はてなキーワード: 不動点とは
Vを社会福祉とすると、V(W_1,...,W_H)と表せる。
1,...,Hは社会のメンバーに割り当てられた番号であり、Wは満足度である。
また、それぞれのメンバーhに財貨やサービスの転換T_hを課す(e.g. 所得税)。
また、T=(T_1,...,T_H)とおく。
Tが与えられた時、実現可能ベクトルの組(G,I)の集合をK_Tと表す。
hの実現可能集合F_hはG,I, T_hによって定まるので、F_h(G,I,T_h,X_{-h})と記す。ただしX_hは消費ベクトルである。
W_hは消費ベクトルX_hからW_h(X_h)によって決まる。
社会均衡X^*に到達していることとその均衡が一つしかないことを仮定する。均衡X^*はG,I,Tの関数である。
政府はその均衡を予測し、V(W(X_1^*),...,W(X_H^*))の結果を最大化するようにG,I,Tを選択する。
ここで、A: ℝᵐ × ℝⁿ → ℝᵖ は線形写像、B: ℝᵏᴴ → ℝᵖ は凸関数
ここで、Cₕ: ℝˡ × ℝᵐ × ℝⁿ × ℝᵏ → ℝᵠ は凸関数、Dₕ: ℝˡ⁽ᴴ⁻¹⁾ → ℝᵠ は線形写像
均衡 X*: ℝᵐ × ℝⁿ × ℝᵏᴴ → ℝˡᴴ の存在を証明するために：
一意性の証明：
1. Wₕ の Xₕ に関する Hessian 行列が負定値であることを示す
max[G∈ℝᵐ, I∈ℝⁿ, T∈ℝᵏᴴ] V(W₁(X₁*(G, I, T), G, I, T₁), ..., Wᴴ(Xᴴ*(G, I, T), G, I, Tᴴ))
制約条件：A(G, I) ≤ B(T)
L(G, I, T, λ) = V(...) - λᵀ(A(G, I) - B(T))
KKT条件：
1. ∇ᴳL = ∇ᴵL = ∇ᵀL = 0
2. λ ≥ 0
3. λᵀ(A(G, I) - B(T)) = 0
4. A(G, I) ≤ B(T)
均衡 X* のパラメータ (G, I, T) に関する感度を分析するために：
1. 陰関数定理を適用：∂X*/∂(G, I, T) = -[∇ₓF]⁻¹ ∇₍ᴳ,ᴵ,ᵀ₎F
ここで、F は均衡条件を表す関数
時間を連続変数 t ∈ [0, ∞) として導入し、動的システムを以下のように定義：
dX/dt = f(X, G, I, T)
ここで、f: ℝˡᴴ × ℝᵐ × ℝⁿ × ℝᵏᴴ → ℝˡᴴ は Lipschitz 連続
確率空間 (Ω, ℱ, P) を導入し、確率変数 ξ: Ω → ℝʳ を用いて不確実性をモデル化：
max[G,I,T] 𝔼ξ[V(W₁(X₁*(G, I, T, ξ), G, I, T₁, ξ), ..., Wᴴ(Xᴴ*(G, I, T, ξ), G, I, Tᴴ, ξ))]
制約条件：P(A(G, I) ≤ B(T, ξ)) ≥ 1 - α
ここで、α ∈ (0, 1) は信頼水準
2. 確率的勾配降下法を用いて数値的に解を求める
1. (X, 𝒯) を局所凸ハウスドルフ位相線形空間とする。
2. ℱ ⊂ X を弱コンパクト凸集合とする。
3. 各 i ∈ I (ここで I は可算または非可算の指標集合) に対して、効用汎関数 Uᵢ: X → ℝ を定義する。Uᵢ は弱連続かつ擬凹とする。
4. 社会厚生汎関数 W: ℝᴵ → ℝ を定義する。W は弱連続かつ単調増加とする。
sup[y∈ℱ] W((Uᵢ(y))ᵢ∈I)
定理: ℱ が弱コンパクトで、全ての Uᵢ が弱上半連続、W が上半連続ならば、最適解が存在する。
P: sup[y∈ℱ] W((Uᵢ(y))ᵢ∈I)
D: inf[λ∈Λ] sup[y∈X] {W((Uᵢ(y))ᵢ∈I) - ⟨λ, y⟩}
定理 (強双対性): 適切な制約想定のもとで、sup P = inf D が成立する。
∂W を W の劣微分とし、∂Uᵢ を各 Uᵢ の劣微分とする。
0 ∈ ∂(W ∘ (Uᵢ)ᵢ∈I)(y*) + Nℱ(y*)
ここで、Nℱ(y*) は y* における ℱ の法錐である。
T: X → X* を以下のように定義する：
⟨Ty, h⟩ = Σ[i∈I] wᵢ ⟨∂Uᵢ(y), h⟩
ここで、wᵢ ∈ ∂W((Uᵢ(y))ᵢ∈I) である。
⟨Ty*, y - y*⟩ ≤ 0, ∀y ∈ ℱ
L: X → X を L = T ∘ Pℱ と定義する。ここで Pℱ は ℱ 上への射影作用素である。
定理: L のスペクトル半径 r(L) が1未満であれば、最適解は一意に存在し、反復法 y[n+1] = Ly[n] は最適解に収束する。
(Ω, 𝒜, μ) を確率空間とし、U: Ω × X → ℝ を可測な効用関数とする。
定理: 適切な条件下で、以下が成立する：
sup[y∈ℱ] ∫[Ω] U(ω, y) dμ(ω) = ∫[Ω] sup[y∈ℱ] U(ω, y) dμ(ω)
効用関数の族 (Uᵢ)ᵢ∈I を圏 𝐓𝐨𝐩 における関手 U: I → 𝐓𝐨𝐩 と見なす。ここで I は離散圏である。
論文: https://www.ams.org/notices/199502/saari.pdf
この論文は、経済における価格調整プロセスが数学的にどれほど複雑で予測困難であるかを示す複数の定理を扱っている。以下は、論文に登場する主な定理とその数式の要約である。
内容: SMD定理は、エージェントの数 a ≥ n であれば、価格シンプレックス上のどんな動的挙動も再現できることを示している。これは、どのような複雑な振る舞いが選ばれたとしても、それを再現する過剰需要関数が存在することを意味する。
Fε : [U × ℝ₊ⁿ]ᵃ → Ξε(n)
この結果は、アダム・スミスの「見えざる手」の物語が数学的に保証されないことを示唆している[19:6][19:1]。
内容: 価格シンプレックス上のベクトル場 ξ(p) が価格均衡 p* を持つことを示す。
ξ(p*) = 0
この不動点は、供給と需要が一致する価格である。この定理により、価格均衡の存在が保証されるが、価格が均衡に向かって収束するかどうかは別問題である[19:12]。
内容: 価格動態は次のように表される。
p' = ξ(p)
その離散版では、次の式が使用される。
pₙ₊₁ = pₙ + hξ(pₙ)
このモデルは、価格調整がカオス的な挙動を示す可能性があることを示し、均衡価格への収束が保証されないことを指摘している[19:11]。
内容: n ≥ 2 の場合、次のような一般化された価格メカニズムは存在するが、それが常に収束することは保証されない：
pₙ₊₁ = pₙ + M(ξ(pₙ), ξ'(pₙ), …, ξ⁽ˢ⁾(pₙ))
任意の過剰需要関数や初期条件において、収束しないケースが必然的に存在する。したがって、普遍的な価格調整メカニズムの実現は不可能であるとされている[19:0][19:3]。
経済を I 個の財・サービス、J 人の消費者、F 社の企業から成るとする。
各消費者 j ∈ {1, ..., J} の問題は以下のように定式化される：
max Uⱼ(xⱼ)
s.t. p · xⱼ ≤ wⱼ + Σ(f=1 to F) θⱼᶠπᶠ
ここで、
Uⱼ: 消費者 j の効用関数（強い単調性、強い凸性を仮定）
xⱼ = (x₁ⱼ, ..., xᵢⱼ): 消費ベクトル
wⱼ: 初期賦存
πᶠ: 企業 f の利潤
一階条件（Kuhn-Tucker条件）：
∂Uⱼ/∂xᵢⱼ ≤ λⱼpᵢ, xᵢⱼ ≥ 0, xᵢⱼ(∂Uⱼ/∂xᵢⱼ - λⱼpᵢ) = 0 ∀i ∈ I
λⱼ(wⱼ + Σ(f=1 to F) θⱼᶠπᶠ - p · xⱼ) = 0, λⱼ ≥ 0
ここで、λⱼ はラグランジュ乗数。
max πᶠ = p · yᶠ
s.t. yᶠ ∈ Yᶠ
ここで、
yᶠ = (y₁ᶠ, ..., yᵢᶠ): 生産ベクトル（正は産出、負は投入）
一階条件（利潤最大化条件）：
p · y ≤ p · yᶠ ∀y ∈ Yᶠ
Σ(j=1 to J) xᵢⱼ = Σ(f=1 to F) yᵢᶠ + Σ(j=1 to J) wᵢⱼ ∀i ∈ I
ここで、wᵢⱼ は消費者 j の財 i の初期賦存量。
p · (Σ(j=1 to J) xⱼ - Σ(f=1 to F) yᶠ - Σ(j=1 to J) wⱼ) = 0
1. 価格単体を定義：Δ = {p ∈ ℝ₊ᴵ | Σ(i=1 to I) pᵢ = 1}
4. 予算制約とワルラス法則より、p · z(p) = 0 ∀p ∈ Δ を示す
5. 境界条件：pᵢ → 0 ⇒ zᵢ(p) → +∞ を証明
6. Kakutani の不動点定理を適用し、z(p*) = 0 となる p* ∈ Δ の存在を示す
社会的厚生関数 W = W(U₁(x₁), ..., Uⱼ(xⱼ)) を最大化する問題を考える：
max W(U₁(x₁), ..., Uⱼ(xⱼ))
s.t. Σ(j=1 to J) xⱼ = Σ(f=1 to F) yᶠ + Σ(j=1 to J) wⱼ
yᶠ ∈ Yᶠ ∀f ∈ F
一階条件：
∂W/∂Uⱼ · ∂Uⱼ/∂xᵢⱼ = μpᵢ ∀i ∈ I, ∀j ∈ J
p = ∇yᶠπᶠ(yᶠ) ∀f ∈ F
ここで、μ はラグランジュ乗数、∇yᶠπᶠ(yᶠ) は利潤関数の勾配ベクトル。
これらの条件は、消費の効率性、生産の効率性、そして消費と生産の効率性を同時に表現している。
経済を表現する空間を E とし、これを局所凸位相線形空間とする。価格空間 P を E の双対空間 E* の部分集合とし、商品空間 X を E の部分集合とする。
Z: P × Ω → X を一般化された超過需要関数とする。ここで Ω は外生パラメータの空間である。Z は以下の性質を満たす：
(b) 一般化された同次性：任意の λ ＞ 0 に対して Z(λp, ω) ≈ Z(p, ω)
(c) 一般化されたワルラスの法則：＜p, Z(p, ω)＞ = 0
ここで ＜・,・＞ は E* と E の間の双対性を表す
(d) 境界条件：p が P の境界に近づくとき、||Z(p, ω)|| は無限大に発散
価格の動的調整を表現するために、以下の無限次元力学系を導入する：
dp/dt = F(Z(p, ω))
ここで F: X → TP は C^1 級写像であり、TP は P の接束を表す。
定理1（均衡の存在）：適切な位相的条件下で、Z(p*, ω) = 0 を満たす p* ∈ P が存在する。
証明の概略：KKM（Knaster-Kuratowski-Mazurkiewicz）の定理を一般化した不動点定理を応用する。
定理2（局所安定性）：p* の近傍 U が存在し、初期値 p(0) ∈ U に対して、解軌道 p(t) は t → ∞ のとき p* に収束する。
証明の概略：リャプノフ関数 V(p) = ||Z(p, ω)||^2 / 2 を構成し、V の時間微分が負定値となることを示す。
不均衡状態における経済主体の行動を記述するために、以下の最適化問題を導入する：
最大化 U_i(x_i)
制約条件 ＜p, x_i＞ ≤ w_i + Σ_j p_j min{z_ij, 0}
ここで U_i は効用汎関数、w_i は初期富、z_ij は財 j に対する主体 i の超過需要である。
確率空間 (Ω, F, P) 上で、以下の確率微分方程式を考察する：
dp(t) = F(Z(p(t), ω))dt + σ(p(t), ω)dW(t)
ここで W(t) は適切な次元のウィーナー過程、σ はボラティリティ作用素である。
ε dp/dt = F(Z(p, ω))
この解析により、短期的な価格調整と長期的な均衡の関係を明らかにする。
定理3（一般化された不動点定理）：P が局所凸位相線形空間 E の非空、凸、コンパクト部分集合であり、F: P → P が連続写像であるとき、F は不動点を持つ。
この定理を用いて、より一般的な経済モデルにおける均衡の存在を証明できる。
ε → 0 のとき、特異摂動問題 ε dp/dt = F(Z(p, ω)) の解の漸近挙動は、元の動的システムの長期的均衡と一致する。
2016年12月から今（2017年12月）まで、自分のブクマから好きなのをピックアップしてたら大量になったんだけど、好きだから全部紹介しちゃうよ。
と思ったら、2017年に書かれたものじゃないものも含まれてたけど、発掘されたのが2017年なのでそれでもＯＫってことで。
多すぎて時期・ジャンルはまとめられなくてバラバラだけど、気になったものをチェックしていただけたら幸い。
どんな車かわからない人は、「ケータハムスーパー7」でググろう。この車の見た目に大爆笑間違いなし。この奥さん増田には悪いが、笑うわこんなん
ちょっと聞いたことのない性癖でびっくり。その後の追記やトラバでさらに深い話になっていくのも面白い。
何か読んではいけないものを目にしたかのような、クセになる独特すぎる世界観の謎増田文学。おそらく同一人物による作品なので二つにまとめた。ファンになったので、是非続きを読みたいのだが、その後この文体の増田は目にしていない。
会社勤めしながら表現活動をする者が必ずぶちあたる、考えさせられる問題。
もうとっくに終わった話だけど、これで教えてもらって見たら本当によかったので。教えてくれてありがとう！！あんなヤバいものとは思わなかった。みんなも機会があれば、是非観てほしい。
風俗レポって読み捨てられるだけの存在だが、こうしてまじまじと読むとちゃんとしたひとつの「作品」である。
増田のアイドルあうくそえちゃん。これ、個人的にかなり気になってたのに、全く説明ないまま、今も相変わらず助六パクパク、はややーしとる。
冒頭から心を鷲掴みにしてくる憎い増田。とにかく読んでほしい。
本人は本当に辛かろうが、傍から見るとすげえおもしれえ。
たぶん俺も泣く。
漫画って研究され尽くしたと思ってるけど、まだまだ未踏のジャンルがある奥深い世界である。他には植田まさし、パチンコ漫画などもあるな。
当時は毎週楽しみにしてた番組のひとつで、笑い転げてた。たしかに、今見ると全然面白くない。類似企画の空耳アワーは相変わらず面白いのがすごい。
句読点、改行が全くない長文なのに、ものすごい勢いでスラスラ読めてしまう。むしろ逆に読みやすいし、面白い。謎の魅力溢れる、天才が書いたとしか思えない魔文である。
こんなタイトル目にしたら、開かずにいられんだろ！！
今はネットのヒーロー的存在のはあちゅう氏、この頃ははてなでボロクソにされてた。時事ネタとして捻じ込んでみた。
なんともいえない読後感。読んだ後の喪失感がすごい。ブコメも良い。
バカな増田ばかり読んでるけど、急にこういうのが目に入ってくるのも増田の良いところ。
こういうのって有名作家のやつじゃないと面白くないと思ってたけど、そうでもなかった。今年も書いてほしい。（そういや、まだ2017年買って良かった物はまだ増田で目にしないね。）
たぶん去年の暮れに一番笑った増田。今見ても笑う。
読んで鼻水出た。こういうの思いつけるのうらやましい。
新感覚の異次元増田。脳が亜空間に飛ばされる。これはいかん・・・
ブコメが荒んでるが、俺はこれ大好きだよ。好きなものは好きだから今年のベストに選んだ。
議論のあってるあってないはどうでもよく、後半の怒涛の返信ラッシュの勢いがすごい好き。
これが初期２ちゃんねるなら、コピペされて有名になるような香ばしい文章。こんなのが今の時代読めるとは感動すらある
ようつべって自分の好きなジャンルしか観ないから、知らないところで謎のジャンルが広まってたりしてて奥の深い世界だなあ、と。
狂おしいほど愛おしい増田。「クソ雑魚ナメクジ」レベルで流行ると思ったが、そうでもなかった。今から流行らせてもいいのよ？
これの次エントリが、「下ネタを投稿する方、恥ずかしくはないのですか？（anond:20171029172155）」という奇跡の連携プレーで笑う。どちらもブコメ、トラバ共にバカ＆バカ。
最近、量販店でヤバそうな中華コピー品が堂々と販売されているのをよく目にするが、大丈夫なのか。ファミコンハックロム入りの互換機とか堂々と売ってるし。炎上しそうと思ってたら、全く話題にならなかった案件。
他にも紹介したい増田があったけど、けっこう削除されててガッカリ。
あまり他のベスト増田に被らないようにしたつもりなので、みなさんがまだ読んでないものを紹介できてたらいいな！
リンク：五番煎じぐらいの、2017増田50選（anond:20171218232754）
http://anond.hatelabo.jp/20161223141706
昨日見事に保育園落ちたわ。どうすんだよ私活躍出来ねーじゃねーか。子供を産んで子育てして社会に出て働いて税金納めてやるって言ってるのに日本は何が不満なんだ？何が少子化だよクソ。
それは日本のことですか？ それは1億人の社会が活動しているわけではありません。
昨日、私は保育園を驚くほど倒しました。 あなたは何をしていますか私は積極的な役割を果たしませんか？ 私は子供を産み、子供を育て、社会に出て、税金を払って税金を払うという日本人の不満は何ですか？ 出生率の低下とは何なの？
赤ちゃんがいるのはうれしかったですが、あなたが望むように保育園に預けることはほとんど不可能です。子供がいることを心配しないでください。
それは日本についてですか？ 活動していない1億の社会があります。
昨日私は保育園に驚いた。 何をしていますか私は積極的な役割を演じませんか？ 子供を育て、子供を育て、社会に出向き、税金を払い、税金を払うという日本の不満は何ですか？ 出生率の低下はどうですか？
赤ちゃんがいるのは楽しいことですが、あなたが望むようにお子様を保育園に放置することはほとんど不可能です。 子供を持つことを心配しないでください。
この文章が Google翻訳不動点のようだ。これ以上翻訳を繰り返しても文章が変わらない。
Google翻訳で、日→英→日→英→日→英→日→英→日・・と繰り返すとどうなるか？不動点はあるのか？
河野太郎ブログ「まだまだ研究者の皆様へ」https://goo.gl/sT6KxG より
（東京工業大学における研究費の使い勝手の悪さの実例を紹介した記事）
1円から全て検収があり、納品書に検収済みのハンコが必要。1万円以上のものにはシールを貼るが、大概、箱に貼るなど形骸化している。最近は検収を受ける前に使用したとしても、よしとしている。
Tokyo Institute of Technology:
We have all inspections from 1 yen, and we need a hand-picked Hanko in the invoice. For those with more than 10,000 yen, we stick a sticker, but mostly it has become a form of skeleton, such as sticking it in a box. Recently I use it even if I use it before receiving acceptance.
私たちは1円からすべての検査を受けており、請求書には手作りのハンコが必要です。 1万円以上の人はステッカーを貼っていますが、たいてい箱に貼るなど、骨格の形になっています。 最近受け入れを受ける前に使っても使っています。
私はすべての試験を1円から受け取りました。 請求書には手作りスタンプが必要です。 1万円以上の人はステッカーを貼りますが、通常は箱にこだわるなどの骨格があります。 私は最近それを使用する前にそれを使用しています。
と書いていてなんだが、実のところ、完全競争市場において資源配分計画を行う主体が情報を十分に持っていて合理的ならば
共産主義経済のパフォーマンスと市場主義経済のパフォーマンスは同じ。
これは1920年代から1940年代で「経済計算論争」というのが行われて、その中でオスカル・ランゲって人が証明してしまったものなのです
（数学的に完全な説明がついたとされるのは別の人たちの登場を待つけど）。市場経済こそが最高の効率だっていう所に、共産主義も同じだよ？っていわれたときの衝撃は、
ガンダムでいうなら、ダカール演説でクワトロ・バジーナことジオン・ダイクンの遺児であるシャア・アズナブルがアンチ地球連邦政府だけど
地球人類を粛清しようとは思っていないと知らされた時の地球人の衝撃みたいなものかと思われる（どちらも、ま、そうだよね派もいたかと思うけど）。
ということでこの衝撃は、市場を重視する経済学者達の思想を根底から揺さぶったんだけど、これについて有効な反論を行ったのが
池田信夫大先生でおなじみのフリードリヒ・ハイエク。彼は「資源配分計画を行う主体が情報を十分に持っている」という点があり得ないと述べ、
分権的なメカニズムである市場でなければ効率的な資源配分が行えないと述べた。ハイエクは、そのような情報を一握にしようとする組織は文明をも破壊する
と述べるんだけど、アムロもダカール演説を知って、あ、このキャスバル、地球に隕石落とすに違いないと思ったはずなのと似ている（そんな描写ありません）。
さて、この論争どう決着がついたかというと、新訳版にダカール演説が消えたようになかったことになりました。結局、ランゲはこの後、どうやって情報を集めるかってことに
力を入れ、ハイエクは30年くらい冬眠させられる。戦後の2～30年主流となるのは第三の道である介入型市場経済を掲げるケインズ経済学で、それも冬眠からさめた
ハイエクに批判されるのはご存じのとおり。やっぱり重要な論点は政府は情報を集約しきれないところにある。
総括すると、共産主義が駄目な経済理論的な理由は計算不可能性に帰せられ、常識的にはやはり駄目そうということになる。
とはいえ、じゃ、計算できるようになればいいんじゃねと夢を膨らませることは可能である。うん、けど、情報処理能力を高めるのは無理そう。
じゃ情報処理量を抑えればいいんじゃね？人も資源もさ！なら、隕石落とせば…
追記
トラバついたこと、また、トラバついている最中に書き直した点があるので返信します。
まず、十分な情報という点を数学的にという点ですが、残念ながらこの論争はそこまで深い話に行きませんでした。
というより、私の書き方がまずく、数学的証明というのは完全競争市場においてすべての財の受給を一致させるある価格が存在するという
一般均衡の存在が数学的に証明されたことを指しています（角谷の不動点定理とかおなじみの奴ですね。院レベルの話は下段で）。
これが証明されることは、すなわちランゲの主張するように計画主体がすべての財の受給を一致させるある価格を決めることが出来るのであれば
完全競争市場で実現されるような財の配分が共産主義経済にても実現されることを指しました。
さて、本来であれば、その価格決めにおいて計画者と市場どちらがロスが少なく決められるかの論争が行われるべきでした。
しかし、上記のごとく、ランゲはその価格決めの調整過程の研究に入りましたが市場との比較を行うことはありませんでした。
また、アメリカの経済学では（同じように！？）市場で一般均衡解が決まるまでの動学的過程への関心が1970年代以降強まりますが、
調整方法が市場であるか計画であるか言及する人はいませんでした。そうしている間に、1991年ソ連は崩壊し、経済学もアメリカの経済学に収斂します。
残ったのは市場経済と動学的一般均衡モデル。もはや、計画者と市場という論点は消滅しました。
ということでトラバの方には、学部上級レベルの齊藤先生には飽き足らずもっと深い（己の数学的才能のなさに絶望する多分一番経済学の分野でできつい）世界へ進んでもらいたいと思います。
第1章 有限オートマトン D.Perrin：橋口攻三郎 1. 序論 2. 有限オートマトンと認識可能集合 3. 有理表現 4. Kleeneの定理 5. 星の高さ 6. 星自由集合 7. 特殊なオートマトン 8. 数の認識可能集合 第2章 文脈自由言語 J.Berstel and L.Boasson：富田 悦次 1. 序論 2. 言語 2.1 記法と例 2.2 Hotz 群 2.3 曖昧性と超越性 3. 反復 3.1 反復補題 3.2 交換補題 3.3 退化 4. 非生成元の探求 4.1 準備 4.2 生成元 4.3 非生成元と代入 4.4 非生成元と決定性 4.5 主錐の共通部分 5. 文脈自由群 5.1 文脈自由群 5.2 Cayleyグラフ 5.3 終端 第3章 形式言語とべき級数 A.Salomaa：河原 康雄 1. 序論 2. 準備 3. 書換え系と文法 4. Post正準系 5. Markov系 6. 並列書換え系 7. 射と言語 8. 有理べき級数 9. 代数的べき級数 10. べき級数の応用 第4章 無限の対象上のオートマトン W.Thomas：山崎 秀記 序論 Ⅰ部 無限語上のオートマトン 記法 1. Buchiオートマトン 2. 合同関係と補集合演算 3. 列計算 4. 決定性とMcNaughtonの定理 5. 受理条件とBorelクラス 6. スター自由ω言語と時制論理 7. 文脈自由ω言語 Ⅱ部 無限木上のオートマトン 記法 8. 木オートマトン 9. 空問題と正則木 10. 補集合演算とゲームの決定性 11. 木の単項理論と決定問題 12. Rabin認識可能な集合の分類 12.1 制限された単項2階論理 12.2 Rabin木オートマトンにおける制限 12.3 不動点計算 第5章 グラフ書換え：代数的・論理的アプローチ B.Courcelle：會澤 邦夫 1. 序論 2. 論理言語とグラフの性質 2.1 単純有向グラフの類S 2.2 グラフの類D(A) 2.3 グラフの性質 2.4 1階のグラフの性質 2.5 単項2階のグラフの性質 2.6 2階のグラフの性質 2.7 定理 3. グラフ演算とグラフの表現 3.1 源点付きグラフ 3.2 源点付き超グラフ 3.3 超グラフ上の演算 3.4 超グラフの幅 3.5 導来演算 3.6 超辺置換 3.7 圏における書換え規則 3.8 超グラフ書換え規則 4. 超グラフの文脈自由集合 4.1 超辺置換文法 4.2 HR文法に伴う正規木文法 4.3 超グラフの等式集合 4.4 超グラフの文脈自由集合の性質 5. 超グラフの文脈自由集合の論理的性質 5.1 述語の帰納的集合 5.2 論理構造としての超グラフ 5.3 有限超グラフの可認識集合 6. 禁止小グラフで定義される有限グラフの集合 6.1 小グラフ包含 6.2 木幅と木分解 6.3 比較図 7. 計算量の問題 8. 無限超グラフ 8.1 無限超グラフ表現 8.2 無限超グラフの単項性質 8.3 超グラフにおける等式系 8.4 関手の初期不動点 8.5 超グラフにおける等式系の初期解 8.6 等式的超グラフの単項性質 第6章 書換え系 N.Dershowitz and J.-P.Jouannaud：稲垣 康善，直井 徹 1. 序論 2. 構文論 2.1 項 2.2 等式 2.3 書換え規則 2.4 決定手続き 2.5 書換え系の拡張 3. 意味論 3.1 代数 3.2 始代数 3.3 計算可能代数 4. Church-Rosser性 4.1 合流性 4.2 調和性 5. 停止性 5.1 簡約順序 5.2 単純化順序 5.3 経路順序 5.4 書換え系の組合せ 6. 充足可能性 6.1 構文論的単一化 6.2 意味論的単一化 6.3 ナローイング 7. 危険対 7.1 項書換え 7.2 直交書換え系 7.3 類書換え 7.4 順序付き書換え 7.5 既約な書換え系 8. 完備化 8.1 抽象完備化 8.2 公平性 8.3 完備化の拡張 8.4 順序付き書換え 8.5 機能的定理証明 8.6 1階述語論理の定理証明 9. 書換え概念の拡張 9.1 順序ソート書換え 9.2 条件付き書換え 9.3 優先度付き書換え 9.4 グラフ書換え 第7章 関数型プログラミングとラムダ計算 H.P.Barendregt：横内 寛文 1. 関数型計算モデル 2. ラムダ計算 2.1 変換 2.2 計算可能関数の表現 3. 意味論 3.1 操作的意味論：簡約と戦略 3.2 表示的意味論：ラムダモデル 4. 言語の拡張 4.1 デルタ規則 4.2 型 5. 組合せ子論理と実装手法 5.1 組合せ子論理 5.2 実装の問題 第8章 プログラミング言語における型理論 J.C.Mitchell：林 晋 1. 序論 1.1 概論 1.2 純粋および応用ラムダ計算 2. 関数の型をもつ型付きラムダ計算 2.1 型 2.2 項 2.3 証明系 2.4 意味論と健全性 2.5 再帰的関数論的モデル 2.6 領域理論的モデル 2.7 カルテシアン閉圏 2.8 Kripkeラムダモデル 3. 論理的関係 3.1 はじめに 3.2 作用的構造上の論理的関係 3.3 論理的部分関数と論理的同値関係 3.4 証明論的応用 3.5 表現独立性 3.6 論理的関係の変種 4. 多相型入門 4.1 引数としての型 4.2 可述的な多相的計算系 4.3 非可述的な多相型 4.4 データ抽象と存在型 4.5 型推論入門 4.6 型変数をもつλ→の型推論 4.7 多相的宣言の型推論 4.8 他の型概念 第9章 帰納的な関数型プログラム図式 B.Courcelle：深澤 良彰 1. 序論 2. 準備としての例 3. 基本的な定義 3.1 多ソート代数 3.2 帰納的な関数型プログラム図式 3.3 同値な図式 4. 離散的解釈における操作的意味論 4.1 部分関数と平板な半順序 4.2 離散的解釈 4.3 書換えによる評価 4.4 意味写像 4.5 計算規則 5. 連続的解釈における操作的意味論 5.1 連続代数としての解釈 5.2 有限の極大要素と停止した計算 6. 解釈のクラス 6.1 汎用の解釈 6.2 代表解釈 6.3 解釈の方程式的クラス 6.4 解釈の代数的クラス 7. 最小不動点意味論 7.1 最小で唯一の解を得る不動点理論 7.2 Scottの帰納原理 7.3 Kleeneの列と打切り帰納法 8. プログラム図式の変換 8.1 プログラム図式における同値性の推論 8.2 畳込み，展開，書換え 8.3 制限された畳込み展開 9. 研究の歴史，他の形式のプログラム図式，文献ガイド 9.1 流れ図 9.2 固定された条件をもつ一様な帰納的関数型プログラム図式 9.3 多様な帰納的関数型プログラム図式 9.4 代数的理論 9.5 プログラムの生成と検証に対する応用 第10章 論理プログラミング K.R.Apt：筧 捷彦 1. 序論 1.1 背景 1.2 論文の構成 2. 構文と証明論 2.1 1階言語 2.2 論理プログラム 2.3 代入 2.4 単一化子 2.5 計算過程―SLD溶融 2.6 例 2.7 SLD導出の特性 2.8 反駁手続き―SLD木 3. 意味論 3.1 1階論理の意味論 3.2 SLD溶融の安全性 3.3 Herbrand模型 3.4 直接帰結演算子 3.5 演算子とその不動点 3.6 最小Herbrand模型 3.7 SLD溶融の完全性 3.8 正解代入 3.9 SLD溶融の強安全性 3.10 手続き的解釈と宣言的解釈 4. 計算力 4.1 計算力と定義力 4.2 ULの枚挙可能性 4.3 帰納的関数 4.4 帰納的関数の計算力 4.5 TFの閉包順序数 5. 否定情報 5.1 非単調推論 5.2 閉世界仮説 5.3 失敗即否定規則 5.4 有限的失敗の特徴付け 5.5 プログラムの完備化 5.6 完備化の模型 5.7 失敗即否定規則の安全性 5.8 失敗即否定規則の完全性 5.9 等号公理と恒等 5.10 まとめ 6. 一般目標 6.1 SLDNF-溶融 6.2 SLDNF-導出の安全性 6.3 はまり 6.4 SLDNF-溶融の限定的な完全性 6.5 許容性 7. 層状プログラム 7.1 準備 7.2 層別 7.3 非単調演算子とその不動点 7.4 層状プログラムの意味論 7.5 完全模型意味論 8. 関連事項 8.1 一般プログラム 8.2 他の方法 8.3 演繹的データベース 8.4 PROLOG 8.5 論理プログラミングと関数プログラミングの統合 8.6 人工知能への応用 第11章 表示的意味論 P.D.Mosses：山田 眞市 1. 序論 2. 構文論 2.1 具象構文論 2.2 抽象構文 2.3 文脈依存構文 3. 意味論 3.1 表示的意味論 3.2 意味関数 3.3 記法の慣例 4. 領域 4.1 領域の構造 4.2 領域の記法 4.3 記法上の約束事 5. 意味の記述法 5.1 リテラル 5.2 式 5.3 定数宣言 5.4 関数の抽象 5.5 変数宣言 5.6 文 5.7 手続き抽象 5.8 プログラム 5.9 非決定性 5.10 並行性 6. 文献ノート 6.1 発展 6.2 解説 6.3 変形 第12章 意味領域 C.A.Gunter and D.S.Scott：山田 眞市 1. 序論 2. 関数の帰納的定義 2.1 cpoと不動点定理 2.2 不動点定理の応用 2.3 一様性 3. エフェクティブに表現した領域 3.1 正規部分posetと射影 3.2 エフェクティブに表現した領域 4. 作用素と関数 4.1 積 4.2 Churchのラムダ記法 4.3 破砕積 4.4 和と引上げ 4.5 同形と閉包性 5. べき領域 5.1 直観的説明 5.2 形式的定義 5.3 普遍性と閉包性 6. 双有限領域 6.1 Poltkin順序 6.2 閉包性 7. 領域の帰納的定義 7.1 閉包を使う領域方程式の解法 7.2 無型ラムダ記法のモデル 7.3 射影を使う領域方程式の解法 7.4 双有限領域上の作用素の表現 第13章 代数的仕様 M.Wirsing：稲垣 康善，坂部 俊樹 1. 序論 2. 抽象データ型 2.1 シグニチャと項 2.2 代数と計算構造 2.3 抽象データ型 2.4 抽象データ型の計算可能性 3. 代数的仕様 3.1 論理式と理論 3.2 代数的仕様とその意味論 3.3 他の意味論的理解 4. 単純仕様 4.1 束と存在定理 4.2 単純仕様の表現能力 5. 隠蔽関数と構成子をもつ仕様 5.1 構文と意味論 5.2 束と存在定理 5.3 隠蔽記号と構成子をもつ仕様の表現能力 5.4 階層的仕様 6. 構造化仕様 6.1 構造化仕様の意味論 6.2 隠蔽関数のない構造化仕様 6.3 構成演算 6.4 拡張 6.5 観測的抽象化 6.6 構造化仕様の代数 7. パラメータ化仕様 7.1 型付きラムダ計算によるアプローチ 7.2 プッシュアウトアプローチ 8. 実現 8.1 詳細化による実現 8.2 他の実現概念 8.3 パラメータ化された構成子実現と抽象化子実現 8.4 実行可能仕様 9. 仕様記述言語 9.1 CLEAR 9.2 OBJ2 9.3 ASL 9.4 Larch 9.5 その他の仕様記述言語 第14章 プログラムの論理 D.Kozen and J.Tiuryn：西村 泰一，近藤 通朗 1. 序論 1.1 状態，入出力関係，軌跡 1.2 外的論理，内的論理 1.3 歴史ノート 2. 命題動的論理 2.1 基本的定義 2.2 PDLに対する演繹体系 2.3 基本的性質 2.4 有限モデル特性 2.5 演繹的完全性 2.6 PDLの充足可能性問題の計算量 2.7 PDLの変形種 3. 1階の動的論理 3.1 構文論 3.2 意味論 3.3 計算量 3.4 演繹体系 3.5 表現力 3.6 操作的vs.公理的意味論 3.7 他のプログラミング言語 4. 他のアプローチ 4.1 超準動的論理 4.2 アルゴリズム的論理 4.3 有効的定義の論理 4.4 時制論理 第15章 プログラム証明のための手法と論理 P.Cousot：細野 千春，富田 康治 1. 序論 1.1 Hoareの萌芽的な論文の解説 1.2 C.A.R.HoareによるHoare論理のその後の研究 1.3 プログラムに関する推論を行うための手法に関するC.A.R.Hoareによるその後の研究 1.4 Hoare論理の概観 1.5 要約 1.6 この概観を読むためのヒント 2. 論理的，集合論的，順序論的記法 3. プログラミング言語の構文論と意味論 3.1 構文論 3.2 操作的意味論 3.3 関係的意味論 4. 命令の部分正当性 5. Floyd-Naurの部分正当性証明手法とその同値な変形 5.1 Floyd-Naurの手法による部分正当性の証明の例 5.2 段階的なFloyd-Naurの部分正当性証明手法 5.3 合成的なFloyd-Naurの部分正当性証明手法 5.4 Floyd-Naurの部分正当性の段階的な証明と合成的な証明の同値性 5.5 Floyd-Naurの部分正当性証明手法の変形 6. ライブネスの証明手法 6.1 実行トレース 6.2 全正当性 6.3 整礎関係，整列集合，順序数 6.4 Floydの整礎集合法による停止性の証明 6.5 ライブネス 6.6 Floydの全正当性の証明手法からライブネスへの一般化 6.7 Burstallの全正当性証明手法とその一般化 7. Hoare論理 7.1 意味論的な観点から見たHoare論理 7.2 構文論的な観点から見たHoare論理 7.3 Hoare論理の意味論 7.4 構文論と意味論の間の関係：Hoare論理の健全性と完全性の問題 8. Hoare論理の補足 8.1 データ構造 8.2 手続き 8.3 未定義 8.4 別名と副作用 8.5 ブロック構造の局所変数 8.6 goto文 8.7 （副作用のある）関数と式 8.8 コルーチン 8.9 並行プログラム 8.10 全正当性 8.11 プログラム検証の例 8.12 プログラムに対して1階論理を拡張した他の論理 第16章 様相論理と時間論理 E.A.Emerson：志村 立矢 1. 序論 2. 時間論理の分類 2.1 命題論理 対 1階述語論理 2.2 大域的と合成的 2.3 分岐的 対 線形 2.4 時点と時区間 2.5 離散 対 連続 2.6 過去時制 対 未来時制 3. 線形時間論理の技術的基礎 3.1 タイムライン 3.2 命題線形時間論理 3.3 1階の線形時間論理 4. 分岐的時間論理の技術的基礎 4.1 樹状構造 4.2 命題分岐的時間論理 4.3 1階の分岐的時間論理 5. 並行計算：その基礎 5.1 非決定性と公平性による並列性のモデル化 5.2 並列計算の抽象モデル 5.3 並列計算の具体的なモデル 5.4 並列計算の枠組みと時間論理の結び付き 6. 理論的見地からの時間論理 6.1 表現可能性 6.2 命題時間論理の決定手続き 6.3 演繹体系 6.4 モデル性の判定 6.5 無限の対象の上のオートマトン 7. 時間論理のプログラムの検証への応用 7.1 並行プログラムの正当性に関する性質 7.2 並行プログラムの検証：証明論的方法 7.3 時間論理による仕様からの並行プログラムの機械合成 7.4 有限状態並行システムの自動検証 8. 計算機科学における他の様相論理と時間論理 8.1 古典様相論理 8.2 命題動的論理 8.3 確率論理 8.4 不動点論理 8.5 知識 第17章 関係データベース理論の構成要素 P.C.Kanellakis：鈴木 晋 1. 序論 1.1 動機と歴史 1.2 内容についての案内 2. 関係データモデル 2.1 関係代数と関係従属性 2.2 なぜ関係代数か 2.3 なぜ関係従属性か 2.4 超グラフとデータベーススキーマの構文について 2.5 論理とデータベースの意味について 3. 従属性とデータベーススキーマ設計 3.1 従属性の分類 3.2 データベーススキーマ設計 4. 問合わせデータベース論理プログラム 4.1 問合わせの分類 4.2 データベース論理プログラム 4.3 問合わせ言語と複合オブジェクトデータモデル 5. 議論：関係データベース理論のその他の話題 5.1 不完全情報の問題 5.2 データベース更新の問題 6. 結論 第18章 分散計算：モデルと手法 L.Lamport and N.Lynch：山下 雅史 1. 分散計算とは何か 2. 分散システムのモデル 2.1 メッセージ伝達モデル 2.2 それ以外のモデル 2.3 基礎的概念 3. 分散アルゴリズムの理解 3.1 挙動の集合としてのシステム 3.2 安全性と活性 3.3 システムの記述 3.4 主張に基づく理解 3.5 アルゴリズムの導出 3.6 仕様記述 4. 典型的な分散アルゴリズム 4.1 共有変数アルゴリズム 4.2 分散合意 4.3 ネットワークアルゴリズム 4.4 データベースにおける並行性制御 第19章 並行プロセスの操作的および代数的意味論 R.Milner：稲垣 康善，結縁 祥治 1. 序論 2. 基本言語 2.1 構文および記法 2.2 操作的意味論 2.3 導出木と遷移グラフ 2.4 ソート 2.5 フローグラフ 2.6 拡張言語 2.7 その他の動作式の構成 3. プロセスの強合同関係 3.1 議論 3.2 強双模倣関係 3.3 等式による強合同関係の性質 3.4 強合同関係における置換え可能性 3.5 強等価関係上での不動点の唯一性 4. プロセスの観測合同関係 4.1 観測等価性 4.2 双模倣関係 4.3 観測合同関係 4.4 プロセス等価性上での不動点の唯一性 4.5 等式規則の完全性 4.6 プロセスの等価性に対するその他の概念 5. 双模倣等価関係の解析 5.1 等価性の階層構造 5.2 階層構造の論理的特性化 6. 合流性をもつプロセス 6.1 決定性 6.2 合流性 6.3 合流性を保存する構成子 7. 関連する重要な文献
まあどのくらいの数の異所属カップルが誕生するかは別にして，「生命科学専門でもないが理系で化学系の知識があり，生物にもそれなりに好奇心がある」ような人を想定してコンセプトを選択してみようと思う．（彼女を専門に引き込むというよりか自分の興味がこんなことなのだよと紹介する意味で．同じことを彼女にもしてもらうとよいかもしれない．）あくまでコミュニケーションとしてなので，あまり概念中にたくさんの専門用語がでてくることは避けたい．多くて半ダース．あといくら基礎だとはいっても，いきなり宇宙はエネルギーのあり方で生命はその一形式だというそもそも論も避けたい．
彼女は中学の生物は大体覚えているが高校の生物は習っておらず，専門は理論化学よりの有機合成化学の学部生で頭は切れて時々おっちょこちょい，生化学や分子生物学には興味がないわけでない，というきわめて好都合な条件の下紹介すべき十概念を考えてみた．以下の順番はちょっとした思想の配列として少し気を使ったがあからさまにそれを伝えなければいけないほどのものでもない．
まあ，いきなり大御所だがここははずせない．物質科学全盛の時代に生命科学もそこにアクセスする活路を切り開いたということで．ただここであまりの情報の蓄積を彼女にぶつけてしまうとうんざりさせてしまうかもしれない．素材自体が一級なのだから彼女の興味と質問とが誘起されるような語り口がよいと思う．
「生命科学系の学生が考えるに有機化学の学生に受け入れられそうな概念（思い込んでいるだけ．実際は全然受け入れられない）」そのものという意見には半分賛成・半分反対なのだけれど，それを彼女にぶつけて確かめてみるには一番よさそうな素材なんじゃないのかな．
彼女も酵素の構造が機能と密接にかかわっていることは知っているだろうし，それを酵素や分子機械で実現することの面白さをぶつけてみたり，代謝が全体として大きな制御システム回路のようなものになっていことをぶつけてみたり，その中で彼女の生物特有の機構への興味が増せば儲けもの．
iPSはノーベル賞をとるといわれているし鉄板かな．案外作るために必要なことは制限酵素とウイルス遺伝子の挿入が本質でわかりやすく応用可能性も広い．
細胞創造と生命の起源の話はいままでの話よりはコアかなと思う．でも彼女は有機合成が専門だし細胞を合成するという巨大なプロセスに興味をもってくれるかもしれないし，それが一回地球の表面でおこっただろうということはロマンだよな．地雷でもあるかもしれない．
これはもう完全に僕の興味とスケベ心からで，マニアックすぎるかもしれないけれど，これからの生物学の方法としてかなり有力だし，分子数が多い細胞の中の各要素（components: DNA, RNA, Ribosomes, Electrolytes, water, cytoskeleton etc）間の関係性をシステムとして記述することの重要性と難しさとを語ってみたい．もし彼女が難しい素反応がたくさんある合成との類比で興味を抱いてくれるとよいのだけれどあまり深追いはできないな．
そんなに新しくないし，フォンノイマンみたいな人が見たら不動点定理に過ぎないと怒り出すかもしれないが，線形で静的で平衡系が非線形で動的で非平衡の系のちょっとしたヒントになることと分子・細胞・個体・生態のどのレベルでも同じような思考ができるというこれまでの話をちょっと豊かにする意味はある．遺伝子で始まり生態で終わるのも少し対比があってよいかと思う．ただこの話題には全然自信が無いからよければもっとぴったりするものを提案してほしい．
つづき：http://anond.hatelabo.jp/20091006002250
