「ARG」を含む日記 RSS

はてなキーワード: ARGとは

2024-09-19

[] 政策決定の数理

抽象数理モデル

1. モデルセットアップ

(a) 消費者集合と効用関数

消費者集合:N = {1, 2, ..., n}

消費ベクトル:各消費者 i の消費ベクトルを X_i ∈ X_i ⊆ ℝ^(k_i) とする。

個人効用関数:U_i: X_i × G → ℝ

ここで、G は政府提供する公共財の集合である

個人効用自分の消費 X_i と政府支出使用用途 G に依存する。

 

(b) 政府政策変数

税収:T ∈ ℝ_+

国債発行額:B ∈ ℝ_+

政府支出の配分:G = (G_1, G_2, ..., G_m) ∈ G ⊆ ℝ_+^m

G_j は公共財またはプロジェクト j への支出である

政策空間:P = { (T, B, G) ∈ ℝ_+ × ℝ_+ × G }

 

(c) 政府予算制約

予算制約:

Σ_(j=1)^m G_j = T + B

政府総支出は税収と国債発行額の合計に等しい。

 

(d) 消費者予算制約

可処分所得消費者 i の可処分所得 Y_i は、所得税 t_i によって決まる。

Y_i = Y_i^0 - t_i

Y_i^0 は消費者 i の総所得である

税制考慮:総税収 T は個々の所得税の合計である

T = Σ_(i=1)^n t_i

消費者予算制約:

p_i · X_i ≤ Y_i

p_i は消費財価格ベクトルである

2. 力学系の2つのステップ

(a) ステップ1:政府の決定

目的政府社会的厚生 W を最大化するために、以下の政策変数を決定する。

個人別の税負担 { t_i }

国債発行額 B

政府支出の配分 G = (G_1, G_2, ..., G_m)

制約:

政府予算制約。

税制に関する法律規制

 

(b) ステップ2:消費者の消費行動

消費者最適化政府政策 (t_i, G) を所与として、各消費者 i は効用を最大化する。

最大化 U_i(X_i, G)

X_i ∈ X_i

制約条件:p_i · X_i ≤ Y_i

結果:各消費者の最適な消費選択 X_i*(G) が決定される。

3. 社会的厚生関数

社会的厚生関数:W: ℝ^n → ℝ

W(U_1, U_2, ..., U_n) は個々の効用社会的厚生に集約する。

合成関数

W(U_1(X_1*(G)), ..., U_n(X_n*(G)))

これは政府政策 G と { t_i } の関数となる。

4. 政府最適化問題の定式化

政府は以下の最適化問題を解く。

最大化 W(U_1(X_1*(G)), ..., U_n(X_n*(G)))

{ t_i }, B, G

制約条件:

Σ_(j=1)^m G_j = Σ_(i=1)^n t_i + B

t_i ≥ 0 ∀i, B ≥ 0, G_j ≥ 0 ∀j

X_i*(G) = arg max { U_i(X_i, G) | p_i · X_i ≤ Y_i } ∀i

X_i ∈ X_i

5. 数学的解析

(a) 政府消費者相互作用

政府役割公共財の配分 G と税制 { t_i } を決定する。

消費者の反応:消費者政府の決定を受けて、最適な消費 X_i*(G) を選択する。

 

(b) 力学系の特徴

スタックルベルゲーム政府リーダー)と消費者フォロワー)の間の戦略的相互作用

最適反応関数消費者の最適な消費行動は政府政策依存する。

 

(c) 一階条件の導出

ラグランジュ関数

L = W(U_1(X_1*), ..., U_n(X_n*)) - λ ( Σ_(j=1)^m G_j - Σ_(i=1)^n t_i - B ) - Σ_(i=1)^n μ_i (p_i · X_i* - Y_i)

微分政策変数 t_i, B, G_j に関する一階条件を計算する。

チェーンルール消費者の最適反応 X_i* が G に依存するため、微分時に考慮する。

6. 公共財使用用途モデル

(a) 公共財の種類

公共財ベクトル:G = (G_1, G_2, ..., G_m)

例えば、教育 G_edu、医療 G_health、インフラ G_infra など。

 

(b) 消費者効用への影響

効用関数への組み込み

U_i(X_i, G) = U_i(X_i, G_1, G_2, ..., G_m)

公共財 G_j が個人効用にどのように影響するかをモデル化。

 

(c) 政府支出の配分の最適化

目的公共財の配分 G を最適化し、社会的厚生を最大化。

制約:政府予算制約内で配分を決定。

7. 政府政策選択解釈

(a) 税制設計

所得税の設定:各消費者所得税 t_i を調整。

再分配政策所得格差を是正するための税制設計

 

(b) 国債発行の役割

将来への影響:国債発行は将来の税負担に影響するため、長期的な視点必要

制約:債務の持続可能性に関する制約をモデルに組み込むことも可能

 

(c) 公共財の最適配分

効率性と公平性公共財の配分が効用に与える影響を考慮

優先順位の決定:社会的厚生を最大化するための公共財への投資配分。

8. 力学系としてのモデル

(a) ステップ1:政府最適化

政府の決定問題消費者の反応を予測しつつ、最適な { t_i }, B, G を決定。

情報の非対称性消費者の選好や行動に関する情報を完全に知っていると仮定

 

(b) ステップ2:消費者最適化

消費者の行動:政府政策所与として、効用最大化問題を解く。

結果のフィードバック消費者選択社会的厚生に影響し、それが政府の次の政策決定に反映される可能性。

9. 結論

(a) モデルの意義

包括的政策分析政府税制国債発行、公共財使用用途統合的にモデル化。

力学系アプローチ政府消費者相互作用を動的に考察

 

(b) 政策提言への応用

最適な税制支出配分:社会的厚生を最大化するための政策設計の指針。

財政の持続可能性:国債発行と将来の税負担バランス考慮

 

(c) 抽象化のメリット

一般性の確保:特定経済状況やパラメータ依存しないモデル

理論洞察政府役割政策効果に関する深い理解を促進。

 

政府は、税制 { t_i }、国債発行額 B、そして公共財の配分 G を戦略的に決定することで、消費者効用 U_i を最大化し、社会的厚生 W を高めることができる。

このモデルでは、政府政策決定と消費者の消費行動という2つのステップ力学系考慮し、公共財使用用途も組み込んでいる。

2024-09-18

[] 補償原理の導出

定義仮定:

経済主体の集合 I と財の集合 L を考える。各主体 i ∈ I は以下を持つ:

  • 消費集合 Xᵢ ⊆ ℝ₊ᴸ
  • 完備的、推移的、連続的、凸的、局所的非飽和性を満たす選好関係 ≽ᵢ
  • 初期保有 ωᵢ ∈ Xᵢ

市場価格ベクトル p ∈ ℝ₊ᴸ が与えられると、各主体は以下の予算集合を持つ:

Bᵢ(p) = { x ∈ Xᵢ | p · x ≤ p · ωᵢ }

第1基本定理(厚生経済学の第1基本定理):

仮定の下で、競争均衡はパレート効率である

証明:

競争均衡 (p*, x*) を考える。ここで、x* = (xᵢ*)ᵢ∈I は各主体の最適選択であり、市場均衡条件を満たす:

1. 最適性条件:

xᵢ* ∈ arg max{x∈Bᵢ(p*)} { x | x ≽ᵢ xᵢ }

2. 市場均衡条件:

Σᵢ∈I xᵢ* = Σᵢ∈I ωᵢ

仮に x* がパレート効率的でないとすると、ある実現可能な配分 y = (yᵢ)ᵢ∈I が存在して:

  • yᵢ ≽ᵢ xᵢ* (全員が現状以上)
  • 少なくとも一人について yᵢ ≻ᵢ xᵢ*
  • Σᵢ∈I yᵢ ≤ Σᵢ∈I ωᵢ

zᵢ = yᵢ - xᵢ* と定義すると:

Σᵢ∈I zᵢ ≤ 0

主体の最適性より:

p* · yᵢ ≥ p* · xᵢ*

従って:

p* · zᵢ ≥ 0

しかし、少なくとも一人について p* · zᵢ > 0。すると:

Σᵢ∈I p* · zᵢ > 0

しかし:

Σᵢ∈I p* · zᵢ = p* · Σᵢ∈I zᵢ ≤ 0

これは矛盾である。従って、x* はパレート効率である

第2基本定理(厚生経済学の第2基本定理):

仮定の下で、任意パレート効率的配分は、適切な初期保有の再分配後、競争均衡として実現可能である

証明:

任意パレート効率的配分 x* = (xᵢ*)ᵢ∈I を考える。社会的に望ましい配分として、適切な価格ベクトル p* ∈ ℝ₊ᴸ を構築する。

1. ハイパープレーンの分離定理適用:

パレート効率性より、以下の集合は交わらない:

これらの凸集合を分離するハイパープレーン存在し、その法線ベクトルとして価格 p* を得る。

2. 各主体最適化問題:

再分配された初期保有 ω̃ᵢ を考える(Σᵢ∈I ω̃ᵢ = Σᵢ∈I ωᵢ)。各主体は以下を最大化する:

max{x∈Xᵢ} { x | x ≽ᵢ xᵢ, p* · x ≤ p* · ω̃ᵢ }

適切な ω̃ᵢ を選ぶことで、xᵢ* が各主体の最適解となる。

補償原理:

ある政策変更により得られる利得者の利得が、損失者の損失を完全に補償できる場合、その政策潜在的パレート改善である

証明:

経済内の二つの状態 A と B を考える。状態 B への移行で利得者と損失者が存在する。

1. カルドア基準:

利得者の余剰 G と損失者の損失 L を計測し、G > L であれば、利得者から損失者への補償可能である

2. ヒックス基準:

損失者が利得者に支払ってでも状態 A を維持したい額を W とすると、G > W であれば、状態 B への移行が望ましい。

3. 潜在的パレート改善:

補償が実際に行われなくとも、理論可能であれば、社会的に望ましいと判断される。

2024-09-10

[] ミクロ経済学抽象化

1. 圏論アプローチによる消費者理論

1.1 基本設定
1.2 選好の表現
1.3 一般化された効用最大化問題

sup_{x ∈ U(X)} x subject to φ(x) ≤ w

ここで、φ: U(X) → ℝ は連続線形汎関数、w ∈ ℝ は初期富である

2. 微分位相幾何学アプローチによる生産理論

2.1 基本設定
2.2 一般化された利潤最大化問題

sup_{y ∈ T_p𝓜} ω(y)

2.3 生産対応特性化

生産対応を η: T*𝓜 → 2^{T𝓜} とし、以下の条件を満たす:

∀ω ∈ T*𝓜, η(ω) = {y ∈ T_p𝓜 : dω(y) = 0}

ここで、dω は ω の外微分である

3. 作用素代数アプローチによる一般均衡理論

3.1 経済定義

経済 ℰ をC*-代数 𝒜 上の作用素の組として定義

ℰ = ((ℋ_i, π_i, Ω_i)_{i ∈ I}, (T_j)_{j ∈ J})

ここで、

3.2 均衡の定義

状態 (ψ_i*)_{i ∈ I} と価格作用素 P ∈ 𝒜 が均衡であるとは、以下を満たすことを言う:

1. ∀i ∈ I, ψ_i* = arg max_{ψ ∈ ℋ_i} ⟨ψ, π_i(P)ψ⟩ subject to ⟨ψ, π_i(P)ψ⟩ ≤ ⟨Ω_i, π_i(P)Ω_i⟩ + ∑_{j ∈ J} θ_{ij} τ(PT_j)

2. ∀j ∈ J, T_j = arg max_{T ∈ 𝒜} τ(PT)

3. ∑_{i ∈ I} (ψ_i* - Ω_i) = ∑_{j ∈ J} T_j

ここで、τ は 𝒜 上のトレース、θ_{ij} は消費者 i の生産者 j に対する利潤シェアである

4. 非可換幾何学アプローチによる市場構造

4.1 スペクトル三つ組

市場構造を非可換幾何学の枠組みでモデル化:

(𝒜, ℋ, D)

ここで、

4.2 市場均衡の特性化

市場均衡を以下の作用素方程式特性化

[D, π(a)] = 0, ∀a ∈ 𝒜_{eq}

ここで、𝒜_{eq} ⊂ 𝒜 は均衡状態を表す部分代数、π は 𝒜 の ℋ 上の表現である

5. ホモトピー理論と均衡動学

均衡への収束過程ホモトピー理論を用いて分析

H: [0,1] × X → X

ここで、X は経済状態空間、H(0,x) = x_0(初期状態)、H(1,x) = x*(均衡状態である

均衡の安定性は、ホモトピー H の特異点構造と関連付けられる。

2024-08-26

[] 社会厚生の公理的定式化

基本設定

1. 経済主体の集合は E = {1, 2, ..., n} である

2. 財の集合は G = {1, 2, ..., m} である

3. 消費集合は Xᵢ ⊆ ℝᵐ₊ for i ∈ E である

4. 選好関係は ≽ᵢ on Xᵢ for i ∈ E である

5. 生産可能性集合は Y ⊆ ℝᵐ である

効用最大化問題

消費者 i の効用最大化問題は以下のようになる。

max{xᵢ∈Xᵢ} uᵢ(xᵢ) subject to p · xᵢ ≤ wᵢ

ここで、uᵢ: Xᵢ → ℝ は効用関数、p ∈ ℝᵐ₊ は価格ベクトル、wᵢ は初期賦存量である

利潤最大化問題

企業利潤最大化問題は以下のようになる。

max{y∈Y} p · y

一般均衡

一般均衡は以下の条件を満たす配分 (x*, y*) と価格ベクトル p* の組である

1. xᵢ* ∈ arg max{xᵢ∈Xᵢ} {uᵢ(xᵢ) : p* · xᵢ ≤ wᵢ} for all i ∈ E

2. y* ∈ arg max{y∈Y} p* · y

3. Σ{i∈E} xᵢ* = Σ{i∈E} wᵢ + y*

厚生経済学の基本定理
ホテリング補題

利潤関数を π(p, w) とすると、

∂π(p, w)/∂pⱼ = yⱼ(p, w)

ここで、yⱼ は財 j の供給関数である

生産者余剰の変化

価格変化による生産者余剰の変化は以下のようになる。

ΔPS = ∫{p₀}^{p₁} y(p, w) dp

公共経済学の定式化

社会厚生関数は W: ℝⁿ → ℝ である

政府問題は以下のようになる。

max{x,y,t} W(u₁(x₁), ..., uₙ(xₙ))

subject to:

1. Σ{i∈E} xᵢ = Σ{i∈E} wᵢ + y

2. y ∈ Y

3. xᵢ ∈ arg max{xᵢ∈Xᵢ} {uᵢ(xᵢ) : p · xᵢ ≤ wᵢ + tᵢ} for all i ∈ E

4. Σ{i∈E} tᵢ = 0 (予算均衡条件)

ここで、tᵢ は個人 i への移転支払いを表す。

2024-07-23

[] 公理主義ゲーム理論モデル

ゲーム構造

1. プレイヤー集合: N = {P₁, P₂, ..., Pₙ}

2. 行動集合: 各プレイヤー Pᵢ の行動の集合を Aᵢ とする

3. 情報集合: 各プレイヤー Pᵢ の情報集合を Hᵢ とする

4. 選好関係: 各プレイヤー Pᵢ の選好関係を ≽ᵢ とする

履歴戦略

1. 履歴: H = ∪ Hᵢ

2. 終端履歴: Z をゲームの終端履歴の集合とする

3. 純粋戦略: Sᵢ = ∏ Aᵢ(h)

4. 戦略プロファイル: S = ∏ Sᵢ

効用関数

プレイヤー Pᵢ に対して、効用関数 uᵢ: Z → ℝ を定義する

公理

1. 完備性と推移性:

  • 完備性: ∀z, z' ∈ Z, z ≽ᵢ z' ∨ z' ≽ᵢ z
  • 推移性: ∀z, z', z'' ∈ Z, (z ≽ᵢ z' ∧ z' ≽ᵢ z'') → z ≽ᵢ z''

2. 期待効用仮説:

p ≽ᵢ q ⇔ 𝔼ₚ[uᵢ] ≥ 𝔼ᵩ[uᵢ]

行動戦略

σᵢ: Hᵢ → Δ(Aᵢ), ここで Δ(Aᵢ) は Aᵢ 上の確率分布の集合

信念システム

μ を各情報集合 h ∈ H に対する確率測度 μₕ ∈ Δ(h) の集合と定義

完全ベイズ均衡 (PBE)

(σ*, μ*) が完全ベイズ均衡であるとは、以下を満たすとき:

1. 逐次合理性: ∀i ∈ N, ∀h ∈ Hᵢ,

σᵢ*(h) ∈ arg max σᵢ(h) 𝔼σ₋ᵢ*,μₕ*[uᵢ | h, σᵢ(h)]

2. ベイズ一貫性: 信念は可能な限り戦略から Bayes 則で導出

2024-07-12

考察:絵の付加価値、または今のツイッターランド惨状について

前提:この日記は一個人考察である。この日記言及する人が全員そうという訳ではないことも十分承知している。その上でこれを読んでほしい(そうでもしないと「自分はそうではない!」というコメントで溢れかえるだろうから

絵を見る人々の中で価値観に差が生まれてるような気がする。

「絵の作者に価値を見出すか否か」でかなり分断が生まれていると考察している。

自分価値観他人にはないということはよくあることだ。(「え、街中で綺麗な文字見かけた時にどのフォントが気になりませんか!?」「え、便利なサービス見かけた時にバックエンドフレームワーク何使ってるかとか気になりませんか!?」と書けばわかりやすいだろうか?)

おそらく、見出さない人はイラストAIイラストでも気にしていない。「別にかわいい/萌えるからいいじゃん」と言った感じ。

しかしたらマイナージャンル/CP/性癖なら「供給が増えた!!」となっている可能性もある。

一方、見出す人はAIイラストだとわかると複雑な気分になる。

その絵を描いたもの=AIイラストモデルに対してマイナス付加価値が設定されており、さらにはそのユーザー=AI術師に対してマイナス付加価値を設定する。「こいつAI使ってたからこの人の絵嫌い」と言った感じだ。

もしモナリザを描いた人が完全に無名ひよっこだった場合、今ほどの価値は生まれていたのだろうか?もし大罪人だったら?自分はそうはならないと思っている。ダヴィンチが描いているからあそこまでの価値一般に広まっていると思っている。(正直、自分はあの絵のARG要素くらいしか魅力を感じない)

今のツイッターランドで起こっているであろうことの一つに、フィルターバブルエコーチェンバーによって「全ての人は絵師を気にしている!」(またはその逆)という幻想が生まれていることがある。絵師界隈、さらにその中の反AI村という村社会の中で情報更新されていないように見える(一部の過激派のせいで対立が激化している原因の一つにも思われる、こっちはノイジーマイノリティとかの効果もあるが)

もちろんこれは反々AIに対しても言えるが。

少しは村の外に目を向けて得られる視点考察もあるのではないだろうか。

2024-04-29

かがみの特殊少年更生施設攻略終わったー

謎解き難しかったけどおもろかった

やっぱThe White DoorもそうだけどARGはええね

2021-10-12

日本の新型コロナワクチン接種回数は正しいの?

日本の新型コロナワクチン接種回数は6月中旬以降、ほぼ線形に伸びてきている。

https://ourworldindata.org/explorers/coronavirus-data-explorer?zoomToSelection=true&time=2020-03-01..latest&facet=none&pickerSort=asc&pickerMetric=location&Metric=People+fully+vaccinated&Interval=7-day+rolling+average&Relative+to+Population=true&Align+outbreaks=false&country=AUS~CAN~SAU~USA~IND~RUS~ZAF~TUR~ARG~BRA~MEX~FRA~DEU~ITA~GBR~IDN~JPN~KOR~NZL~TWN~PRT~ESP

ツイッター観測しているとワクチンを予約できないという声はここ数週間目立って減ってきていて

接種を希望する人にはかなり行きわたっているように見えるけど

上のグラフを見ると増加が緩やかになる状況にはなっていない。

公式ワクチン接種回数は現状を正しく反映しているのかな?どうなんだろ

2018-02-25

五輪開会式の入場行進を「いろは順」にしたら

順番国・地域コード五十音順との差
168ギリシャGRE-115 (←53)
1イタリアITA+19 (←20)
2イラクIRQ+19 (←21)
3イラン・イスラム共和国IRI+19 (←22)
4イエメンYEM+12 (←16)
5イギリスGBR+12 (←17)
6イギリス領バージン諸島IVB+12 (←18)
7イスラエルISR+12 (←19)
8インドIND+15 (←23)
9インドネシアINA+15 (←24)
10ロシア連邦RUS+196 (←206)
11ハイチHAI+123 (←134)
12ハンガリーHUN+133 (←145)
13バハマBAH+125 (←138)
14バヌアツVAN+123 (←137)
15バルバドスBAR+128 (←143)
16バーレーンBRN+117 (←133)
17バージン諸島ISV+115 (←132)
18バミューダBER+122 (←140)
19バングラディシュBAN+127 (←146)
20パレスチナPLE+124 (←144)
21パナマPAN+115 (←136)
22パラオ共和国PLW+119 (←141)
23パラグアイPAR+119 (←142)
24パプアニューギニアPNG+115 (←139)
25パキスタンPAK+110 (←135)
26ニカラグアNCA+100 (←126)
28ニュージーランドNZL+101 (←129)
29ニジェールNIG+98 (←127)
30ホンコン・チャイナHKG+141 (←171)
31ホンジュラスHON+141 (←172)
32ボリビアBOL+137 (←169)
33ボツワナBOT+135 (←168)
34ボスニア・ヘルツェゴビナBIH+133 (←167)
35ポルトガルPOR+135 (←170)
36ポーランドPOL+130 (←166)
37ベトナムVIE+122 (←159)
38ベリーズBIZ+125 (←163)
39ベルギーBEL+126 (←165)
40ベネズエラVEN+121 (←161)
41ベナンBEN+119 (←160)
42ベラルーシBLR+120 (←162)
43ペルーPER+121 (←164)
44トリニダード・トバゴTRI+75 (←119)
45トルクメニスタンTKM+75 (←120)
46トルコTUR+75 (←121)
47トーゴTOG+69 (←116)
48トンガTGA+74 (←122)
49ドイツGER+66 (←115)
50ドミニカDMA+67 (←117)
51ドミニカ共和国DOM+67 (←118)
52チリCHI+60 (←112)
53朝鮮民主主義人民共和国PRK+58 (←111)
54チャイニーズ・タイペイTPE+52 (←106)
55チャドCHA+52 (←107)
56チェコ共和国CZE+49 (←105)
57チュニジアTUN+53 (←110)
58中華人民共和国CHN+51 (←109)
59中央アフリカCAF+49 (←108)
60リベリアLBR+140 (←200)
61リトアニアLTU+136 (←197)
62リヒテンシュタインLIE+137 (←199)
63リビアLBA+135 (←198)
64ルワンダRWA+139 (←203)
65ルーマニアROU+136 (←201)
66ルクセンブルグLUX+136 (←202)
67カタールQAT-24 (←43)
68カナダCAN-24 (←44)
69カーボベルデCPV-29 (←40)
70カザフスタンKAZ-28 (←42)
71カメルーンCMR-25 (←46)
72カンボジアCAM-24 (←48)
73ガイアナGUY-32 (←41)
74ガボンGAB-29 (←45)
75ガーナGHA-36 (←39)
76ガンビアGAM-29 (←47)
77ヨルダンJOR+117 (←194)
78タイTHA+23 (←101)
79タジキスタンTJK+24 (←103)
80タンザニア連合共和国TAN+24 (←104)
81大韓民国KOR+21 (←102)
82レバノンLBN+123 (←205)
83レソトLES+121 (←204)
84ソロモン諸島SOL+16 (←100)
85ソマリアSOM+14 (←99)
86ツバルTUV+27 (←113)
87ネパールNEP+43 (←130)
88ナイジェリアNGR+35 (←123)
89ナウルNRU+35 (←124)
90ナミビアNAM+35 (←125)
91ラトビアLAT+105 (←196)
92ラオス人民民主共和国LAO+103 (←195)
93ウルグアイURU-65 (←28)
94ウガンダUGA-69 (←25)
95ウクライナUKR-69 (←26)
96ウズベキスタンUZB-69 (←27)
97ノルウェーNOR+34 (←131)
98オランダNED-60 (←38)
99オーストリアAUT-63 (←36)
100オーストラリアAUS-65 (←35)
101オマーンOMA-64 (←37)
102クロアチアCRO-41 (←61)
103クック諸島COK-44 (←59)
104クウェートKUW-46 (←58)
105グレナダGRN-45 (←60)
106グアムGUM-49 (←57)
107グアテマラGUA-51 (←56)
108マリMLI+69 (←177)
109マルタMLT+69 (←178)
110マダガスカルMAD+65 (←175)
111マレーシアMAS+68 (←179)
112マラウイMAW+64 (←176)
113マケドニアMKD+61 (←174)
114マーシャル諸島MHL+59 (←173)
115ケイマン諸島CAY-53 (←62)
116ケニアKEN-53 (←63)
117フィリピンPHI+32 (←149)
118フィジーFIJ+30 (←148)
119フィンランドFIN+31 (←150)
120フランスFRA+34 (←154)
121ブルガリアBUL+34 (←155)
122ブルネイダルサラーBRU+35 (←157)
123ブルキナファソBUR+33 (←156)
124ブルンジBDI+34 (←158)
125ブラジルBRA+28 (←153)
126ブータンBHU+25 (←151)
127プエルトリコPUR+25 (←152)
128コロンビアCOL-60 (←68)
129コソボKOS-63 (←66)
130コートジボワールCIV-66 (←64)
131コモロCOM-64 (←67)
132コスタリカCRC-67 (←65)
133コンゴCGO-64 (←69)
134コンゴ共和国COD-64 (←70)
135エチオピアETH-103 (←32)
136エリトリアERI-103 (←33)
137エルサルバドルESA-103 (←34)
138エクアドルECU-109 (←29)
139エジプトEGY-109 (←30)
140エストニアEST-109 (←31)
141デンマークDEN-27 (←114)
142アイルランドIRL-140 (←2)
143アイスランドISL-142 (←1)
144アルバニアALB-133 (←11)
145アルーバARU-137 (←8)
146アルメニアARM-134 (←12)
147アルジェリアALG-138 (←9)
148アルゼンチンARG-138 (←10)
149アラブ首長国連邦UAE-142 (←7)
150アフガニスタンAFG-146 (←4)
151アメリカ領サモアASA-145 (←6)
152アメリカ合衆国USA-147 (←5)
153アゼルバイジャンAZE-150 (←3)
154アンドラAND-139 (←15)
155アンゴラANG-142 (←13)
156アンティグア・バーブーダANT-142 (←14)
157サウジアラビアKSA-86 (←71)
158サモアSAM-86 (←72)
159サントメ・プリンシペSTP-86 (←73)
160サンマリノSMR-85 (←75)
161ザンビアZAM-87 (←74)
162キリバスKIR-108 (←54)
163キルギスタンKGZ-108 (←55)
164キプロスCYP-113 (←51)
165キューバCUB-113 (←52)
166ギニアGUI-117 (←49)
167ギニアビサウGBS-117 (←50)
169メキシコMEX+15 (←184)
170南アフリカRSA+11 (←181)
171南スーダンSSD+11 (←182)
172ミクロネシア連邦FSM+8 (←180)
173ミャンマーMYA+10 (←183)
174シリア・アラブ共和国SYR-94 (←80)
175シェラレオSLE-99 (←76)
176シンガポールSGP-95 (←81)
177ジョージアGEO-98 (←79)
178ジャマイカJAM-100 (←78)
179ジブチDJI-102 (←77)
180ジンバブエZIM-98 (←82)
181東ティモールTLS-34 (←147)
182モロッコMAR+9 (←191)
183モルドバ共和国MDA+7 (←190)
184モルディヴMDV+5 (←189)
185モナコMON+3 (←188)
186モーリタニアMTN±0 (←186)
187モーリシャスMRI-2 (←185)
188モザンビークMOZ-1 (←187)
189モンゴルMGL+3 (←192)
190モンテネグロMNE+3 (←193)
191セイシェルSEY-99 (←92)
192セルビアSRB-97 (←95)
193セネガルSEN-99 (←94)
194赤道ギニアGEQ-101 (←93)
195セントルシアLCA-97 (←98)
196セントクリストファー・ネイビスSKN-100 (←96)
197セントビンセント・グレナディーンVIN-100 (←97)
198スイスSUI-115 (←83)
199スロバキアSVK-110 (←89)
200スロベニアSLO-110 (←90)
201スペインESP-115 (←86)
202スリナムSUR-115 (←87)
203スリランカSRI-115 (←88)
204スワジランドSWZ-113 (←91)
205スーダンSUD-120 (←85)
206スウェーデンSWE-122 (←84)
27日本JPN+101 (←128)

2016-11-05

シンゴジラARGを全力で潰す

まずはTwitterで片っ端から副垢使って通報しまくるところから始めよう。

2016-11-04

ARGは「人を不快にさせるコンテンツであると知った。

よってARGは俺の敵。

全力で潰す。

2012-01-18

Python vs Ruby vs PHP vs Haskell プログラミング言語バトル part1

 

42 : デフォルト名無しさん : 2011/11/12(土) 23:53:51.20

Pythonの方が弄れる対象が多いのに、なんでウェブ系だとPHPの方が流行ってんだろ

端末からテキスト処理も楽だし、数値計算周りのライブラリも充実しているのに

PHPが優遇されているのって歴史的な経緯以外に何か他の理由でもあるのか?

けどまぁ、情弱文系SEが大半を占めているバカだらけの日本じゃ別にPHPで困ることもないか

45 : デフォルト名無しさん : 2011/11/13(日) 01:41:24.25

数値計算や端末からテキスト処理なんてWeb系じゃ大して使わないからなあ…

43 : デフォルト名無しさん : 2011/11/13(日) 00:04:23.30

PHPが未だに現役なのは、単に歴史的な経緯でしかないだろ

Pythonに関しては、ZopeさえコケていなければWebサーバLLとして大成功していたはずなのに、

Railsなんかが登場したおかげで、すっかり影が薄くなってしまますた....

44 : デフォルト名無しさん : 2011/11/13(日) 00:49:55.28

zopeってコケてたんだ

ってか、railsインスパイアされたフレームワークって今じゃ幾らでもあるよね

djangoとかCakePHPとか。rubyってRoRを使いたいユーザを除くと、

pythonPHPの方がユーザー数は圧倒的に多いと思うんだけど

本家railsって、他を遥かに越えるほど良いものなんだっけ?

48 : デフォルト名無しさん : 2011/11/13(日) 08:30:25.68

44

Zopeが登場した当時、RDB+PHPはもう古い、これからOODB+ZopeWebの中軸になる!」

さかんに宣伝され、雑誌でもZope特集が組まれていた

 

少なくとも自分ZopeからPythonという言語を知ったし、その時点でRubyは知らなかった

そして、その後のORM(RDB)+Railsの出現と華々しい革新性への注目は、誰もが知っているだろう

今でもZopeの開発は継続されてはいるが、結果的に当初の期待が大きく裏切られたという事実は動かしがたい

 

djangoCakePHPについては実際に触っていないので憶測になるが、おそらく技術水準ではRailsと同等だろう

しかしRailsはRailsコミュニティの活動が活発だし、その進化は異常に早い

 

Railsに何か致命的なトラブルが発生して開発が停滞する、あるいはdjangoCakePHPから

何かのイノベーションが提示されでもされない限り、後発のdjangoCakePHPRailsに追いつくのは無理

Railsは決して技術的に完璧Webフレームワークではないんだけどね....(たとえばSeaSideのような.... )

 

からこそ「もしもZopeが....だったなら」という「たら・れば」感はPythonコミュニティの潜在認識になっている

51 : デフォルト名無しさん : 2011/11/13(日) 12:55:40.83

 C a k e P H P は う ん こ   

遅い、設計が古い、動作がおかしいの3重苦

日本では流行ってないけど海外だとYiiが流行ってきてる

55 : デフォルト名無しさん : 2011/11/13(日) 17:31:12.14

CakePHP使ってんの?

可哀そうにw

53 : デフォルト名無しさん : 2011/11/13(日) 14:44:48.55

求人PHPばかりだからPHPやるしかないだろ。

57 : デフォルト名無しさん : 2011/11/13(日) 19:34:04.95

でもやっぱりいつもの使い慣れたLL(Python/Ruby)で

Webサービスを書きたいってのがある

73 : デフォルト名無しさん : 2011/11/15(火) 17:32:46.07

アメリカ言語ユーザー数は

Python>>>>>>>>Ruby

求人数は

Ruby on Rails>>>>>>>>Django

http://www.indeed.com/jobtrends?q=django%2Cruby+on+rails&l=

どういうことなの?

74 : デフォルト名無しさん : 2011/11/15(火) 17:48:15.59

RubyRails以外に使い道がないか

75 : デフォルト名無しさん : 2011/11/15(火) 17:54:35.50

海外ではRubyは昨今のRailsバブルのお陰で

もはやWebスタートアップ共通語になってるらしいからね

求人数が多いのはそのためだと思うよ

76 : デフォルト名無しさん : 2011/11/15(火) 18:03:23.05

なんかのミスかと思ったがアメリカでもRuby on Railsは人気があるのかなあ・・・

Pythonのほうが使いやすいと思うのだがフレームワークRailsが優位なんだろうか

77 : デフォルト名無しさん : 2011/11/15(火) 18:23:14.33

Djangoは周辺ライブラリ微妙だし本体も鈍くさい感じがする。

でも、FlaskはSinatraより好きだからPythonが嫌いってわけではない。むしろ好き。

 

ただ、いざ作り始めるとやっぱりRailsが楽だなあってなって、Railsを使い続けている。

78 : デフォルト名無しさん : 2011/11/15(火) 18:38:46.28

同感だ

同じように思っている人が他にもいて安心した

79 : デフォルト名無しさん : 2011/11/15(火) 18:54:37.13

PHPJavaScalaには

Railsみたいなフレームワークあるのに

Pythonはいいのないんだよな

80 : デフォルト名無しさん : 2011/11/15(火) 21:19:09.89

PHPフレームワークが乱立しすぎているから、RailsPHPで実装してみようというやつが出てきた。

Scalaも注目されだしたのはつい最近のことだしな。

それに比べてPythonは、Zopeというデファクトスタンダードが既に存在していたけど、

つの間にかフェードアウト

ただ、どうやってもRailsもどきRailsを超えることはできないのは間違いない。

83 : デフォルト名無しさん : 2011/11/15(火) 21:25:38.55

パクリオリジナルを超えられない(キリッ って定型句だけど、

これってキリッって言いたいだけだと思う。

後発品が先に出たものを超えたものなんていくらでもあるから

84 : デフォルト名無しさん : 2011/11/15(火) 21:30:04.39

D言語って超えたって?

85 : デフォルト名無しさん : 2011/11/15(火) 21:31:12.00

B言語って超えたって?

86 : デフォルト名無しさん : 2011/11/15(火) 21:53:33.76

でもRailsRubyの黒魔術を使いまくりから

PHPで同じ事をできないわけではないだろうけど、Ruby on Railsほど簡潔にはできない

90 : デフォルト名無しさん : 2011/11/15(火) 22:50:07.81

スタートアップなんて根無し草の集まりにとって、

googleが囲った言語coolさを見出せないんだろ

123 : デフォルト名無しさん : 2011/11/20(日) 11:32:16.79

まあくだらねえWEBサービス作って喜んでる情弱は早く死ねって事だよ

91 : デフォルト名無しさん : 2011/11/15(火) 22:52:42.98

そういう理由じゃなくてRailsのほうが単純に情報プラグインも多いからでしょ

3 : デフォルト名無しさん : 2011/11/15(火) 23:07:07.67

linuxじゃデフォのツールなんだし、ツールとの連携を考えたらpython一択じゃん

わざわざ不合理で不完全な言語を使うなんて

社会からハミ出た奴らの精神的な作用によるものじゃないの?

95 : デフォルト名無しさん : 2011/11/15(火) 23:20:20.21

django情報プラグインが増えないという、

現実に対する鬱憤を吐いてるようにしか聞こえないな

もしも

linuxじゃデフォのツールなんだし、ツールとの連携を考えたらpython一択じゃん

真実であるのなら、今頃はdjango情報プラグインが溢れかえっているはず

104 : デフォルト名無しさん : 2011/11/16(水) 01:20:49.05

Python信者乙。

yumや、gdbgnome拡張pythonであるからといって、それをwebアプリでも使いたいと思う人は少ないというだけのこと。

ソースからインストールする必要があったとしても、web開発ではrubyを使いたいという人が多いというだけのこと。

94 : デフォルト名無しさん : 2011/11/15(火) 23:15:11.93

というか、世界中Pythonプログラマが Remeber Zope!! を合い言葉

打倒RailsたるWebフレームワークを開発しているはずだけど、

いまだにRailsを超えるプロダクトが登場しないのはナゼ?

Railsも登場してから、かなりの年月が経過しているんだけどなぁ....

その間にもRailsRails 3が登場して、REST/AJAXの強化等の進化継続しているよ

347 : デフォルト名無しさん : 2011/12/09(金) 10:16:35.22

Ruby では

ary.map {|x| x**2}

となるものが、Python では

map(lambda x: x**2, ary)

となり、lambda の本体が1つの式では表現しきれなくなると

def mapper(x):

.....

map(mapper, ary)

書き換える必要があります

348 : デフォルト名無しさん : 2011/12/09(金) 10:24:20.94

Pythonのlambdaを用いた階乗計算

f = lambda x:(x and f(x-1)*x)or 1

RubyにはPythonのように「lambda本体は式でなければならない」という限定がありませんから

andやorを使った不自然記述をしなくても

f = lambda{|x|if x == 0 then 1 else x*f.call(x-1) end}

または

f = lambda{|x|x == 0 ? 1 : x*f.call(x-1)}

と書けます。lambda内でreturnが使えますから、書きたければ

f = lambda{|x|if x == 0 then return 1 else return x*f.call(x-1) end}

でもOKです。

390 : デフォルト名無しさん : 2011/12/10(土) 15:35:41.62

348

これはPythondisっているように見せかけてRubydisっているのか? と一瞬思ってしまったw

だってRubyのほうが長くない?CLのfuncallみたいなcall()がちょっとうざいし…

そしてどっちもlambda式の中で束縛変数名前再帰可能、と

350 : デフォルト名無しさん : 2011/12/09(金) 11:12:13.28

要素に対する関数適用と、抽出を組み合わせる場合

Python

print [x*2+100 for x in [1,2,3,4,5] if x > 2 and x < 5]

暗号のように見える。

Ruby

puts [1,2,3,4,5].select{|i| i > 2 and i < 5}.map{|i| i*2+100}

思考の流れと、コードの流れが一致しているので書きやすい。

351 : デフォルト名無しさん : 2011/12/09(金) 11:22:55.04

だれだPythonなら書き方はひとつとか言ってるのは

map(lambda x: x*2+100, filter(lambda x: x > 2 and x < 5, [1,2,3,4,5]))

354 : デフォルト名無しさん : 2011/12/09(金) 12:22:07.37

pythonて可読性が高いのをうたってる割にはそこいまいちだよね

353 : デフォルト名無しさん : 2011/12/09(金) 12:10:08.46

Ruby場合には、左から右へと無名関数データフローあるいは

パイプラインのように並ぶからコードが読みやすい

 

関数型プログラミングに不慣れな初心者でも、参照透明性のあるコード自然に書ける

プログラマにとって優しい or プログラミングの楽しさを教えてくれるのがRuby

 

それと比較すると、Pythonコードは、関数型プログラミングというもの

いかに高度で難解なものであるかという事をもったいぶってプログラマ押し付け

 

もしもPythonしか知らないプログラマであれば、関数型 = 難解 という印象を持つだろう

356 : デフォルト名無しさん : 2011/12/09(金) 12:53:45.66

階乗計算くらいだと単純すぎて、ナゼ重要なのかが分かりづらいと思うのでコードで示す

result_list = source_list.map { |elem|

  x = foo(elem.x)  # ここが局所宣言を書く部分

  y = bar(elem.y)  # ここも局所宣言の続き

  x + y       # 最後に評価された式の値が、無名関数のリターン値になる

}

Rubyでは、map等に与える無名関数の中で局所的な環境(クロージャ)が作られるから

x = foo(...) のような代入文がいくつでも(= 複雑な処理でも)書ける

このポイントは、実用的なプログラム関数型風で書こうとした時に、威力を発揮する

357 : デフォルト名無しさん : 2011/12/09(金) 12:59:21.07

余計分かりづらくなった

358 : デフォルト名無しさん : 2011/12/09(金) 13:17:26.54

リスト内包表記が暗号みたいと言ってる奴は

高卒ドカタなんだろうなぁと可哀想になる

大学数学に触れる機会があれば

集合の表記に似せてることが分かるから

386 : デフォルト名無しさん : 2011/12/10(土) 01:41:34.46

数学とかで慣れてるし区切りが関数のがわかりやすい

359 : デフォルト名無しさん : 2011/12/09(金) 13:46:31.97

355

map/filterはfor/ifと同じだと言っているだけだから、難解という印象は持たない。

関数型プログラミングに慣れた、あるいは得意な人であれば、そういった印象なんだろね

Rubyの魅力はこれから関数型プログラミングを学ぼうとする初心者、 あるいはそんな初心者へ教える立場から見た、優しさ or 分かりやすさなんだ

360 : デフォルト名無しさん : 2011/12/09(金) 13:53:28.85

Rubyだと直感的に書けるコード

[1,4,3,2].sort.reverse.map{|x| x.to_s}.join('-')

Pythonだと読みにくい。

'-'.join(map(str, reversed(sorted([1,4,3,2]))))

361 : デフォルト名無しさん : 2011/12/09(金) 14:07:17.88

360

Pythonでは思考の流れと一致しないばかりか、「カッコだらけ」のコードになると.....

364 : デフォルト名無しさん : 2011/12/09(金) 14:28:55.99

カッコだらけのコードを分かりやすくする基本的な方法静的単一代入じゃないか

Rubyのやり方は基本ではなく玄人のやり方だろ

372 : 369 : 2011/12/09(金) 16:21:03.82

Pythonでは組み込みの型でメソッドチェインはやって欲しくないな

listにmap,filterメソッドができたとしても、

似たようなコレクションtuple,deque,array,queue等にも同じメソッドが必要になってくるし。

シーケンスプロトコルの利点が活かせない。

383 : デフォルト名無しさん : 2011/12/10(土) 01:17:28.39

372

外部のライブラリでも列挙可能なものは、たいていEnumerableモジュールをimportしてます

Rubyユーザーは列挙可能なものmapselectできて当然だろって思ってる気がしま

377 : デフォルト名無しさん : 2011/12/09(金) 18:41:51.79

Pythonは「何かを便利に書くためのしわ寄せ」をはっきり寄せてくる

得意と不得意を言語レベルではっきり主張するのでメリケン好みと言えなくもない

Rubyは全方位になんとなく八方美人なので、全体的になんとなく書きやすくてなんとなくキモくて遅い

379 : デフォルト名無しさん : 2011/12/09(金) 18:48:52.27

Pythonユーザー調教っぷりは異常

「書きにくいってことはその処理に向いてないってことだから諦めろ」を地で行く

387 : デフォルト名無しさん : 2011/12/10(土) 13:40:40.74

リストの内包表記はシンプルに書けるときは使うけど

基本その場でdefするのがPython風なんだと思う。

389 : デフォルト名無しさん : 2011/12/10(土) 14:40:31.04

無名関数が文を使うほど複雑なら名前を付けるのが Python 流と想像

384 : デフォルト名無しさん : 2011/12/10(土) 01:23:49.48

outer(center(inter( arg )))

これを読みづらいと感じるのは、左から右に流れる

日本語文に慣れているからだと思うが、

もしかしてアラビア語ネイティブな人からすると逆に読みやすいのか?

385 : デフォルト名無しさん : 2011/12/10(土) 01:34:57.89

なるほど、ということは右から左、左から右どっちでも行ける言語が最高ですね

F#パイプライン演算子最高ということで

2011-10-24

ARGへの参加障壁?について

ARGについて昨夜ひともりあがりあったので書いとこう。

(問題≠謎として見てください)

SCRAPリアル脱出ゲームをはじめ、短期のイベントとして成立しているものについては

・「スタート」がはっきりしている

・何をすべきかが結構提示されている(解答用紙が渡されたり、ここの部屋の中でヒントをさがしてくださいといわれたり)

のほかに、

スタート時がみんな一斉に横並び

だということ。

まり、みんなが最初にとりかかるものが「全体に対しての第一問」なわけで。

勿論、解明すべき順番が決まっていないものもありますが、

みんなそのイベントに限っては「イベント内での知識」が同じ状態からはじめられる。

そして、導入部分の解決すべき問題というのは、得てして難易度が低かったりするもので。

ちょっとずつその世界に入っていけるんですよね。

だけれど、長期のARGにおいては、時間の進行が不可逆である限り、

全員が開始時からとりかかることができるとは限らない。

そのため、途中から入ったユーザ最初に直面する問題が、とても難解な

しかもこれまでの情報から推測したりすることが必要なものとなる可能性は結構高い。

(詰まる箇所って「○○で集まれ」など物理的にすぐには動きづらいもの以外では、非常に難易度高い問題の場合が多数だと思うので)

そこで初めて訪れたユーザは「意味がわからない」「入りづらい」という印象を持ち易くなる。

となると、コアユーザがFAQやまとめ、途中参入のユーザからの質問に逐一答えるべきか?

逐一となると対応者が疲弊してしまう。

アユーザがオープン空気にしていくことを心がけるのとともに、新しく入るユーザ

教えてもらったらお礼を言う、過去の質問内容を読む。など、基本的なことは行わないといけないと思う。

はいえ、そもそもARGとはなんぞ?という層に対して、「そんな基本的なことから質問するな」というような投げかけをしても

「基本的なところからからない」のだから、仕方がない。

ROMってろ。というのは、確かに読んでいると参考になることもあるんだが排他的にも感じ、

ARG自体にそこまで魅力を感じていない層の人は確実に「ARGに関わる人=怖い、内輪で固まってキモい」という

印象を持つだろう。

まずは経験だよ経験。といわれても、「常連さんの邪魔になる」「自分みたいな初心者・・・」等

発言もしづらいだろう。

的外れな発言したら「それ、もう終わったから」「関係ないよそれ」とか立て板に水的な感じでパシーンと文字で言われちゃうんだよ。

初めての人からしたら怖いっしょ。

ARGって何なの?」「何をすればいいの?」「結局何からとりかかればいいかからないんだけど?」という部分を噛み砕いた

わかりやすい導入ガイドみたいなものがあればいいのかな。と思ったりしています

 
ログイン ユーザー登録
ようこそ ゲスト さん