  |
はてなキーワード: 境界条件とは
コボルディズム（cobordism）とパンツダイアグラムの関係は、トポロジカルな観点からトポロジカル量子場理論（TQFT）や弦理論の世界で重要な役割を果たす。コボルディズムは、異なる次元を持つ多様体の間にどのような接続が可能かを調べる手法であり、特にトポロジカルな場の理論において境界を介した変形（つまり、どのようにして異なる多様体が連結されるか）を表すために利用される。
パンツダイアグラムは、名前の通り「パンツ」形状をした2次元多様体で、弦理論においては2つの弦が1つに結合したり、1つの弦が2つに分裂したりするプロセスを視覚的に表現する。このようなプロセスはコボルディズムの一種であり、3つの境界を持つリーマン面として記述できる。特に、パンツダイアグラムは、物理的には弦の結合や分裂を表現し、数学的には2次元の多様体のコボルディズムとして扱うことができる。
具体的には、コボルディズムの考え方に基づき、あるリーマン面が異なる境界条件を持つ複数の弦に分解される場合、それをパンツダイアグラムで視覚化することができる。例えば、パンツ状のコボルディズムは、3つの穴（境界）を持ち、それぞれの境界が異なる弦の状態に対応する。このようにして、パンツダイアグラムは、弦理論におけるトポロジカルな変換をコボルディズムを通して幾何学的に示す手法の一つと見なされる。
さらに、トポロジカルM理論やTQFTの枠組みでは、コボルディズムやパンツダイアグラムが理論の構造や不変量を計算するための基本的なモジュールとして扱われる。これにより、特定の物理的プロセス（たとえば、弦の結合・分裂やパス積分の構成）が、数学的にはコボルディズムの空間での操作として表現されることになる。
- 6次元のAモデルとBモデル（トポロジカルストリング理論）。
- Ω = ρ + i · ŕ
- V_S(σ) = ∫_M √(384^{-1} · σ^{a₁a₂b₁b₂}σ^{a₃a₄b₃b₄}σ^{a₅a₆b₅b₆} · ε_{a₁a₂a₃a₄a₅a₆} · ε_{b₁b₂b₃b₄b₅b₆})
- ここで、ε_{a₁...a₆} は6次元のレヴィ・チヴィタテンソルです。
- V₇(Φ) = ∫_X √(det(B))
- ここで、計量 g は次のように3-フォーム Φ から導かれます：
- g_{ij} = B_{ij} · det(B)^{-1/9}
- B_{jk} = - (1/144) Φ^{ji₁i₂} Φ^{ki₃i₄} Φ^{i₅i₆i₇} ε_{i₁...i₇}
- V₇(G) = ∫_X G ∧ *G
幾何学的ラングランズ・プログラムと M 理論・超弦理論の関係を、抽象数学を用いて厳密に数理モデル化する。
まず、以下のデータを考える。
- このスタックはアルティンスタックであり、代数幾何学的な手法で扱われる。
- 𝑋 上の ᴸ𝐺-局所系（つまり、平坦 ᴸ𝐺-束）の同型類全体のスタック。
- これは、基本群 π₁(𝑋) の表現のモジュライスタックと同一視できる。
幾何学的ラングランズ予想は、以下のような圏の同値を主張する。
𝐷ᵇ\_ℎₒₗ(𝐵𝑢𝑛\_𝐺(𝑋)) ≃ 𝐷ᵇ\_𝑐ₒₕ(𝐿𝑜𝑐\_{ᴸ𝐺}(𝑋))
ここで、
この同値は、フーリエ–ムカイ変換に類似した核関手を用いて構成されると予想されている。
核関手 𝒫 を 𝐵𝑢𝑛\_𝐺(𝑋) × 𝐿𝑜𝑐\_{ᴸ𝐺}(𝑋) 上の適切な対象として定義し、それにより関手
Φ\_𝒫: 𝐷ᵇ\_ℎₒₗ(𝐵𝑢𝑛\_𝐺(𝑋)) → 𝐷ᵇ\_𝑐ₒₕ(𝐿𝑜𝑐\_{ᴸ𝐺}(𝑋))
Φ\_𝒫(ℱ) = 𝑅𝑝₂ₓ(𝑝₁∗ ℱ ⊗ᴸ 𝒫)
ここで、
𝑝₁: 𝐵𝑢𝑛\_𝐺(𝑋) × 𝐿𝑜𝑐\_{ᴸ𝐺}(𝑋) → 𝐵𝑢𝑛\_𝐺(𝑋), 𝑝₂: 𝐵𝑢𝑛\_𝐺(𝑋) × 𝐿𝑜𝑐\_{ᴸ𝐺}(𝑋) → 𝐿𝑜𝑐\_{ᴸ𝐺}(𝑋)
問題点は、この核 𝒫 を具体的に構成することが難しく、これが幾何学的ラングランズ予想の核心的な課題となっている。
ヒッチン写像を導入する。
ℎ: ℳₕ(𝐺) → 𝒜 = ⨁ᵢ₌₁ʳ 𝐻⁰(𝑋, Ωₓᶦᵈⁱ)
ここで、ℳₕ(𝐺) は 𝐺-ヒッグス束のモジュライ空間、ᶦᵈⁱ は 𝐺 の基本不変式の次数。
完全可積分系: ヒッチンファイブレーション ℎ は完全可積分系を定義し、そのリウヴィル可積分性がモジュライ空間のシンプレクティック構造と関係する。
Kontsevich のホモロジカルミラー対称性予想に基づく。
𝐷ᵇ\_𝑐ₒₕ(ℳₕ(𝐺)) ≃ 𝐷ᵖⁱ 𝐹ᵘₖ(ℳₕ(ᴸ𝐺))
ここで、
- 𝐷ᵇ\_𝑐ₒₕ は連接層の有界導来圏。
- 𝐷ᵖⁱ 𝐹ᵘₖ はフカヤ圏のコンパクト対象からなる導来圏。
この同値は、ヒッチンファイブレーションを介してシンプレクティック幾何と複素幾何の間の双対性を示唆する。
𝐷ᵇ(𝐹ₗₐₜ\_𝐺(𝑋)) ≃ 𝐷ᵇ(𝐻ᵢ₉₉ₛ\_𝐺(𝑋))
ここで、
- 𝐹ₗₐₜ\_𝐺(𝑋) は 𝑋 上の平坦 𝐺-束のモジュライスタック。
- 𝐻ᵢ₉₉ₛ\_𝐺(𝑋) は 𝑋 上の 𝐺-ヒッグス束のモジュライスタック。
作用素:
M 理論におけるブレーンの配置:
- ℝ¹,³ は 4 次元の時空。
- Σ は曲線 𝑋。
Lurie の高次圏論:
幾何学的ラングランズ・プログラムと M 理論・超弦理論の関係は、以下の数学的構造を通じてモデル化される。
これらの数学的構造を組み合わせることで、幾何学的ラングランズ・プログラムと M 理論・超弦理論の関係性をモデル化できる。
超弦理論では、時空は10次元の滑らかな微分多様体 M^{10} としてモデル化されます。各点の近傍 U ⊆ M^{10} に局所座標 x^{μ}: U → ℝ^{10} を導入します（μ = 0,1,…,9）。
弦の運動は、パラメータ σ^{α}（α = 0,1）で記述される2次元の世界面（ワールドシート） Σ 上の埋め込み写像 X^{μ}(σ^{α}) を用いて表されます。
S = -T/2 ∫_{Σ} d²σ √(-h) h^{αβ} ∂_{α} X^{μ} ∂_{β} X^{ν} g_{μν}(X),
ここで：
- T は弦の張力（T = 1/(2πα')）、
- h_{αβ} は世界面の計量、
- g_{μν}(X) は時空の計量テンソル、
M理論では、時空は11次元の微分多様体 M^{11} となり、M2ブレーンやM5ブレーンのダイナミクスが中心となります。M2ブレーンの世界体積は3次元で、埋め込み写像 X^{μ}(σ^{a})（a = 0,1,2）で記述されます。作用は次のように与えられます：
S = -T_{2} ∫ d³σ √(-det(G_{ab})) + T_{2} ∫ C_{μνρ} ∂_{a} X^{μ} ∂_{b} X^{ν} ∂_{c} X^{ρ} ε^{abc},
ここで：
- G_{ab} = ∂_{a} X^{μ} ∂_{b} X^{ν} g_{μν} は誘導計量、
カラビ–ヤウ多様体は、超弦理論のコンパクト化において重要な役割を果たす複素代数多様体であり、スキームの言葉で記述されます。
例えば、3次元カラビ–ヤウ多様体は、射影空間 ℙ^{4} 内で次の斉次多項式方程式の零点として定義されます：
f(z_{0}, z_{1}, z_{2}, z_{3}, z_{4}) = 0,
ここで [z_{0} : z_{1} : z_{2} : z_{3} : z_{4}] は射影座標です。
各点 x は、局所環 ℴ_{X,x} の極大イデアル ℳ_{x} に対応します。これにより、特異点やその解消、モジュライ空間の構造を厳密に解析できます。
弦理論では、世界面 Σ から時空多様体 M への写像の空間 Map(Σ, M) を考えます。この空間の元 X: Σ → M は、物理的には弦の配置を表します。
特に、開弦の場合、端点はDブレーン上に固定されます。これは、境界条件として写像 X がDブレーンのワールドボリューム W への射 ∂Σ → W を満たすことを意味します。
この設定では、開弦のモジュライ空間は、境界条件を考慮した写像の空間 Hom(Σ, M; ∂Σ → W) となります。
弦理論の物理量は、しばしば背景多様体のコホモロジー群の要素として表現されます。
- ラマンド–ラマンド（RR）場は、時空のコホモロジー群の要素 F^{(n)} ∈ H^{n}(M, ℝ) として扱われます。
- Dブレーンのチャージは、K理論の元として分類されます。具体的には、Dブレーンの分類は時空多様体 M のK群 K(M) の元として与えられます。
- グロモフ–ウィッテン不変量は、弦のワールドシート上のホモロジー類 [Σ] ∈ H_{2}(M, ℤ) に対応し、弦の瞬間子効果を計算するために使用されます。
例えば、グロモフ–ウィッテン不変量は、モジュライ空間 ℤ̄{M}_{g,n}(M, β) 上のコホモロジー類の積分として計算されます：
⟨∏_{i=1}^{n} γ_{i}⟩_{g,β} = ∫_{[ℤ̄{M}_{g,n}(M, β)]^{vir}} ∏_{i=1}^{n} ev_{i}^{*}(γ_{i}),
ここで：
- g はワールドシートの種数、
- β ∈ H_{2}(M, ℤ) は曲面のホモロジー類、
- γ_{i} ∈ H^{*}(M, ℝ) は挿入するコホモロジー類、
- ev_{i} は評価写像 ev_{i}: ℤ̄{M}_{g,n}(M, β) → M。
弦理論の摂動論的計算では、世界面をパンツ分解などの方法で細分化し、それらの組み合わせを考慮します。
- パンツ分解: リーマン面を基本的なペアオブパンツ（3つの境界を持つ曲面）に分割し、それらを組み合わせて高次の曲面を構築します。
- 世界面のトポロジーを組合せ論的に扱い、弦の散乱振幅を計算します。
弦の散乱振幅は、各トポロジーに対して次のようなパス積分として与えられます：
A = ∑_{g=0}^{∞} g_{s}^{2g-2} ∫_{ℳ_{g}} D[h] ∫ D[X] e^{-S[X,h]},
ここで：
- g_{s} は弦の結合定数、
- D[h] は計量に関する積分（ファデエフ–ポポフ法で適切に定義）、
- S[X,h] はポリャコフ作用。
- 共形対称性: ワールドシート上の共形変換は、ビラソロ代数
[L_{m}, L_{n}] = (m - n) L_{m+n} + c/12 m (m^{2} - 1) δ_{m+n,0}
{G_{r}, G_{s}} = 2 L_{r+s} + c/3 (r^{2} - 1/4) δ_{r+s,0},
[L_{n}, G_{r}] = (n/2 - r) G_{n+r}
を満たします。
- T-双対性: 円状にコンパクト化された次元において、半径 R と α'/R の理論が等価である。このとき、運動量 p と巻き数 w が交換されます：
p = n/R, w = m R → p' = m/R', w' = n R',
ここで R' = α'/R。
- S-双対性: 強結合と弱結合の理論が等価であるという双対性。弦の結合定数 g_{s} が変換されます：
g_{s} → 1/g_{s}。
時空の計量 g_{μν} は、弦の運動を決定する基本的な要素です。背景時空がリッチ平坦（例えばカラビ–ヤウ多様体）の場合、以下を満たします：
R_{μν} = 0。
β関数の消失条件から、背景場は次のような場の方程式を満たす必要があります（一次順序）：
- 重力場：
R_{μν} - 1/4 H_{μλρ} H_{ν}^{\ λρ} + 2 ∇_{μ} ∇_{ν} Φ = 0、
- B-フィールド：
∇^{λ} H_{λμν} - 2 (∂^{λ} Φ) H_{λμν} = 0、
- ディラトン場：
4 (∇Φ)^{2} - 4 ∇^{2} Φ + R - 1/12 H_{μνρ} H^{μνρ} = 0。
M理論では、三形式場 C_{μνρ} とその場の強度 F_{μνρσ} = ∂_{[μ} C_{νρσ]} が存在し、11次元超重力の場の方程式を満たします：
- 場の強度の方程式：
d * F = 1/2 F ∧ F、
- アインシュタイン方程式：
R_{μν} = 1/12 (F_{μλρσ} F_{ν}^{\ λρσ} - 1/12 g_{μν} F_{λρσδ} F^{λρσδ})。
世間は「働け」って簡単に言うけど、人生はそんな単純なもんやない。
人生をもっと高度に数学的に捉えるなら、L(x, y, z, t) を人生の満足度として、x, y, z をそれぞれ仕事、家庭、健康の状態、t を時間とする。ほんなら、人生は次のような偏微分方程式で表現できるかもしれん。
∂L/∂t = ∇⋅(κ ∇L) + R(x, y, z, t)
ここで、
この方程式は、非線形かつ時間依存で、解の存在や一意性が保証されへん。初期条件や境界条件によって、解の挙動が大きく変わるんや。
この偏微分方程式における安定解を見つけるためには、リャプノフ解析を行う必要がある。リャプノフ指数を計算することで、解の安定性を評価できるんや。
λ = lim(t→∞) (1/t) log |∂L(x, y, z, t)/∂L(x₀, y₀, z₀, 0)|
このリャプノフ指数が正である限り、人生はカオス的で予測不能や。安定した解を見つけるためには、外部からの影響を最小化して、内部の状態を調整する必要があるんや。
こんなにキレ散らかしても、何も変わらへんことは理解してる。でも、分析することで、少しでも解決の糸口が見つかるかもしれん。
今日の結論は、現状を変えるために新しい初期条件と境界条件を設定することや。少しずつでも、安定した解に近づけるように、何か行動を起こさなあかん。
経済を 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, ω)) の解の漸近挙動は、元の動的システムの長期的均衡と一致する。
馬鹿だなぁ。
Teslaは世界一、世界で先進的とかいう割に負けてるのを受け入れられないんじゃん。
トヨタもレクサスにLiDAR追加してレベル3リリース間近だし、BMWもあとちょっとだし負けたのを受け入れろよ。
馬鹿だと、Deep Learningについて詳しくなくてデータ量さえ集めたら勝ちだと思ってるかも知れないが、
レベル3自動運転みたいなのは実験条件揃えて、きちんと境界条件のデータを集めるのが重要だし、
いくら処理を自動化しても収集したデータももきちんと加工してやらないと使い物にならないゴミの山なるだけだから、
Teslaみたいにβ版方式でやってたら事故多発するだけで失敗するぞ。
EVとしてのTeslaは終わった。
ブラック企業という言葉が市民権を得てしばらく経ちますね。毎年、ブラック企業大賞なるものが発表され、だれもが聞いたことのあるような企業が名を連ねます。それに対し、ブラック研究室という言葉も有名なものの、どこの研究室がブラックだとかいった情報は大学内部の学生でないとなかなか知りえないものがあります。ましてや研究室の内情は所属している学生しか分かりません。
今回は、そんな研究室の中でも異質なケースとして、自分が修士課程の2年間過ごした研究室の話をみなさんに紹介したいと思い、筆を執りました。必ずしも拘束時間が長く、人格否定を行うような研究室だけが悪い環境ではないということ、メディアなどでよく見かけ、有名で人気な研究室が良い環境であるとは言えないということだけでも皆さんに覚えていただきたいです。後進の方々の研究室選びの参考に少しでもなれば幸いです。
第一に、とにかく人員が不足していたというのがあります。まず、先生(教授・講師)はあまり研究室にいませんでした。先生たちは予算の獲得や大学内外の事務に追われるため、多忙になります。基本的に助教や研究員・博士課程の方が下の修士・学士課程の学生の面倒を見ることになります。これだけなら普通なのですが、先生が後先考えずにどんどん仕事を受けてしまうことにより、プロジェクトに対して人間が足りていない状況が常に生じます。（先生曰く「断るの苦手なんだよね～」とのこと。）その仕事は研究だけではなく、各メディアの取材や研究室見学など多岐にわたります。自分が研究室に配属されて一年は、講義を受けるほかに、（詳しくは後述しますが）研究室の立ち上げ用に物を発注したり組み立てたり、見学者対応をやる日々で、ほとんど研究はしなかったように思います。さらに、月一くらいの頻度で（今はだいぶ減りましたが）先生のお友達を呼んで講演兼パーティーをやる準備や、先生の思い付きで増える仕事などに日々忙殺されていました。また、インターンやアルバイトといった形で外部の学生を呼んで研究してもらうこともあり、その人達は雑用をする義務はなくお金をもらいながら成果を出していたのに対し、学費を払っている学生は雑用に追われるといった状況もありました。事務スタッフも教授が所属している社団法人の経理をさせられたり、共同研究先の企業から出向(?)の形で来てた研究員の方も、後述の巨大予算の運営周りの仕事をやらされたりとひどい状況でした。
第二に、新設の研究室で、研究を行う環境づくりをゼロから始めなければいけないことがありました。これは事前からわかっていたことではありましたが、自分の想像以上の大変さでした。情報系の研究室なんて机と椅子とPCを発注すれば、あとは個々人の研究に応じて必要なものを買い足していくだけだろうと思っていました。しかし、先生の方針で、リビングラボという生活空間と研究室が融合したような形態でラボを運営することが決まっていたため、それを満たすような研究室の構築に修士の最初の一年は消えました。なぜ一年もこのようなことをしていたのかというと、9月ごろに先生がとある巨大予算を獲得し、学生・スタッフを増員するとの方針でキャンパスを移動することに決まったからです。一度ゼロから作り上げた研究室をもう一度ゼロから作り上げることになりました。自分としてはキャンパス移動ですら最初に聞いていた話と違うので、とても不満に思いました。通学時間も10倍以上増え、それだけでも大きな負担となりました。（授業は元のキャンパスでやることがほとんどで引っ越すわけにもいきませんでした。）
このような状態でまともに研究が回るはずもなく、助教（自分の所属する学科・専攻で博士までとった唯一の人）はやめてしまいました。そこから、特任研究員の方に学生指導の仕事が集中します。（本来、特任研究員は助教とは違い、学生の指導ではなく自分の研究に専念するという名目で雇用されます。）そして、社会人博士の方がその有能さゆえに研究室内の仕事を一手に引き受けこなしてくれたおかげでなんとかなっていた（?）のですが、当然彼らも自分の研究は進みません。
第三に、教授・講師間でうまく連携が取れていなかったようにも感じました。二人とも物事を放置・後回しにしたり散発的に進んだりと、計画性とは無縁の進行でした。ミーティングでもその場の思い付きのアイデアで話を発散させるばかりで収束には向かわず、学生はどうしたらいいか当惑することが多かったです．
さらに、二人の共感性の低さも研究室内の人間関係に大きくヒビを入れていました。特に事務の方々への接し方や飲み会の席（講師は酒を飲まないので主に教授ですが）での学生に対する発言は聞くに堪えないものがありました。（詳しくは後述）
また、学内の期限(修論の題目の提出など)を過ぎてから学生に通知したりと時間・期限に非常にルーズでした。そのことを詫びる様子もなく平然としている様子も腹が立ちました。その結果、学生や事務員が期限を守らない印象を外部に与えていたのではないかと懸念しています。
オーサーシップ周りに関しても不満が残りました。これは自分ではないのですが、大して面倒を見てたわけでもないのに、camera readyになって急に講師が「見るからオーサーに載せろ」と主張してくることがありました。 教授もゴーストオーサーの常連だからかそれには強く言わず結果的に受け入れられる形となりました。学生側としては教員陣の命令に背くわけにもいきませんしね。(この話に関しては、この研究室に限らず、分野としてそういう傾向があるのかなあと思います。他研究室の話は詳しく知りませんが。)
このように研究室としての体を全くなしておらず、自分を含め最初3人いた同期修了出来たのは自分だけで、1人が休学、1人が留年という形になりました。（もう一人修了者はいますが、別の研究室がなくなった結果移ってきた人です。）
次に、研究室の主である教授の性格が合わず、人間として尊敬できなかったということについて話したいと思います。上司と合わないということはよくあることだと思いますが、よくあることだからこそ、記しておきます。
初めに、衝動的な発言や暴言が多く看過できないということがありました。衝動的気質に相まって、酒癖の悪さがそれを助長していました。例えば、論文を提出できなかった学生に対して「負け犬じゃん」といったり、昔自死した学生に対して「勝手に死んだんじゃん」などといったことがありました。（なお、これらの発言は学生や職員に窘められ即座に撤回しましたが、そう思っていたという事実は消えないと思います）。その他にも配慮のない発言が多くありました。
また、自己顕示欲の強さとマウンティング(いわゆるイキり)が挙げられます。「君たちは潤沢な資金のあって、待遇のいいこの研究室に来てラッキーだ」などといった身内へのイキりを聞いた時は、上で書いたような現状に疲弊していた自分の感情を逆なでするのには十分でした。また、自分は偉く、自分が言ったことはどんな無茶でも通ると思っているきらいがあり、無茶な予算申請で事務の人を疲弊させることが多くありました。それにあきれ果てた事務の人が次々とやめることがあり、その結果事務仕事が逼迫することもありました。怪しい予算の使い方をしていて、機構の人に怒られたみたいな話を聞きました。大学に目をつけられているのはいわずもがな。
内弁慶というわけではなく、外部の人間に対しても自分を良く見せようとしていることが多く、鼻につくこともありました。自分にはこのような先生の在り方が、いわゆる口だけの軽薄な人間に感じられてしまいました。いい環境を作りたいとは口では言いつつも自分は何もせず下の人間が苦労したり（「然るべきとき然るべき場所」というアイバン・サザランドの言葉をよく引用しますが、これが「然るべき場所」なら笑止です。）、自分は人脈のハブだといいつつスタッフをなかなか引っ張って来れなかったり(前の大学にいるときこの業界で悪評が立ち、人が来たがらないとの噂)とあきれかえることが多かったです。他にも「教育が最優先」と口では言いつつも後回しにしたり、下の人間に任せているようなことなどとにかく「口だけの人間」というイメージです。隔月で1回20分ほどの面談で教育したということなのでしょうか。
専門用語を拡大解釈して援用することで知識人を気取るようなスタンスが多く見受けられたのも癪に障りました。例えば、「インピーダンスマッチング」という、高周波の電気信号の伝送路において、入力と出力のインピーダンス（電圧を電流で割った値で直流回路では抵抗にあたります）を合わせるという意味の言葉があります。この単語は力学などでも用いられます（こういった多分野に共通する背景理論を研究しようという思想を持っているのが我が学科・専攻です）が、これを特に理論的背景もなく「折り合いをつける」くらいの意味で使って、さも各分野に精通している感を醸し出すことに長けていました。他には「バウンダリーコンディション」とかもありますね。微分方程式で言うところの境界条件です。これを前提・条件みたいな意味で使います。（こちらについては検索すると若干引っ掛かりますが。）これらにツッコミを入れた学生は以降食事会に呼ばれなくなりました。自分に媚を売らない用済みな人間は簡単に切り捨てるようです。こういった拡大解釈した単語を用いてアナロジーを使い、自分の分野に話を引き寄せるのは上手いなと感じていて、知識がない人を煙に巻いたうえで自分の得意技を披露するのは、非常に参考になると思いました。
3つ目に研究分野であるHCI研究(と研究者コミュニティ)との不適合について書きたいと思います。これは研究室自体の問題というより、自分との相性の問題ですが、研究に着手できなかった大きな要因のひとつです。
そもそも、自分はどちらかというと、巨大で合ったり高性能であったりするものを着実に組み上げていくのが好きで、アイデア勝負だったり、プロトタイピングといった手法だったりが受け付けなかったというのがあります（同じような人のエントリ https://swimath2.hatenablog.com/entry/2018/07/30/205255）。
また、この研究分野は、一見役立たなさそうなおもちゃのようなものに、理屈をこねくり回して正当化させるのが多いように感じ(もちろんすべての研究がそうというわけではありません)、興ざめしてしまったのも要因の一つです。元々内向的な性格なのもあって、自我・意識などに興味があり、ならば「人に興味があるということであり、工学的なアプローチで人の研究をやれるのはこの分野だろう」という薄い理由で選んだのもあって、この不適合はモチベーションに意外と大きく関わりました。学部時代の成績は良い方で（必要な進振り点はそこそこの学科でしたが、コース内ではトップクラスと周りには言われていました）院試も第一希望で通りましたが、勉強ができるということが研究できるというわけではないという言葉を痛感しました。ただ、この研究室を選ばなければ、自分ももっと研究が出来ていたのではないかと思い、研究室の選択を毎日後悔しています。
それではなぜ、このような大きな問題点が数多く存在しながら、この研究室に進学してしまったのでしょうか？
第一に、自分の所属していた学科は、院試が卒論の研究室配属より前に存在し（実質4か月で卒論を書かないといけないのです）、自分の研究および研究室への適性がいまいちわからないまま、修士で進学する研究室を決めなければいけないという点が挙げられます。(一応研究室に配属されてプチ研究のようなことをするのですが、研究室生活とは程遠いので参考にするのは難しいです） それに加え、卒論の研究室と修論の研究室を別にするという慣習があり、卒論配属後合わないから冬入試を受けようというのも難しいです。
第二に、サークルの先輩(同じ研究室ではないです)にこの研究室を勧められたというのがあります。サークルの飲み会の時に、同じ分野で研究をしている先輩に、「この研究室はいいところだし、一期生として面倒を見てくれる」と勧められたというのがありました。当時は若く、盲目的に先輩の話を信じてしまいました。悪い噂が流れてこないなら大丈夫だろうと。それに先生の記事はネット上で見たこともあり、先生の研究も科学雑誌を通して知っていたこともありました。学科内でも新設の研究室に関わらず人気があり、これは安パイだろうと考えていました。今考えると人気・有名だから自分にとっていい環境だろうと考えるとは愚かなことです。(ちなみに、この先輩はD取得後うちの研究室の内定を蹴り、他の研究室のポストに就くそうです。)
第三に、一番重要ともいえる点ですが、上でも書いた通り自分の大学では新設の研究室で、情報が流れてこなかったというのがあります。今思えば前の大学のOBの方などに話を伺うなどをすればよかったとも思いますが、学部の勉強やサークルに追われていてそこまで気が回らなかったし、回っていたとしてもする余裕まであったかわかりません。しかしながら、新設の研究室に進学するというのは大きなリスクをはらんでいるということはもっとしっかりと自覚するべきでした。これを読んでいる方でもし新設の研究室に行くという人がいれば、もう一度自分の選択をよく考え直してほしいです。
ブラック研究室といえば、拘束時間が長いとか日常的な人格否定などがやり玉に挙げられやすいですが、最近では放置系ブラックなどという言葉も耳にする通り、劣悪な環境というのは色々な形で存在しています。また、他人にとっての良い環境が自分にとっても良いとは限りません。トルストイは著作に「幸せな家族はどれもみな同じようにみえるが、不幸な家族にはそれぞれの不幸の形がある」（望月哲男訳、光文社古典新訳文庫）との言葉を残しています。研究室も一つの小さなコミュニティであり、同じことが言えるのではないでしょうか。これから研究室に配属される人には慎重に自分の進路を考えていただきたいと思います。このエントリを通して構成員がみんな幸せになるような運営に変わってくれると嬉しいです。
http://anond.hatelabo.jp/20170525162032
162cの４年以上の犯罪を組織的犯罪集団の活動の一部として合意した場合、共謀罪が成立する、という段のところ。
Norsk-English-日本語の順で訳したので、正確性は低いでしょうが、大まかに議論の内容がわかってきました。
これ日本でもたまにありますが、複数案が用意されていました。またそれぞれの案のメリット・デメリットについて、高裁、検事、弁護士グループ、マスメディアなどに意見聴取しています。それぞれの意見が述べられています。多くの団体は、参加罪の有罪の境界条件判定が難しいことを理由に共謀罪を支持しています。共謀罪は既に、内乱や殺人などについて経験が有るから、前例に従ってできる。結社の自由はノルウェーの憲法では明記されていないが、人権上問題があることを理由に反対しています。そのなかで、裁判所、検事は、共謀罪に反対しています。これが意外でしたが、共謀罪の表現は非常にあいまいで、合意があるかどうかについての証拠集めは難しい、これでは有罪判決を出すことはできないから空文化する恐れがある、それに対して参加罪なら参加しているかどうかの証拠を挙げるのはよりやりやすい、という主張をしています。この主張は2015年時点でも変わっていないようで、Convention against Corruptionの訪問調査においても、検事総長(Director of public Prosecutors)がそもそもノルウェーではごく限られた犯罪以外に準備行為すら犯罪化しておらず、49条や162条cのような条文があることは望ましくない、と回答しています。
特に新たな法律を導入しなくても、TOC条約を締結することはできる、という意見はノルウェー内でもあったようです。またこの条約が要求しているのは経済犯罪だけなので、経済犯罪だけに絞った対応も可能ではないか、という意見も出ています。これに対して、非常に広範な共謀罪規定がある国がある以上、条約の要請を忠実にfullfillしておくことで、ノルウェー人が海外でこの犯罪を犯した場合に国内で裁判を行えるようにしたい、という意見があり、対象犯罪を限定しないという結論になったようです。そのために刑法第12条に３、4項を追加する改正も同時に行われた模様。
委員会の議論の中では、裁判所や検察の意見に応じて、162cに明確な構成要件を追加するかどうかについても議論されています。
委員会は、本提案が、検察官に162cを用いて有罪にするために、特定の犯罪に対する合意が、4年以上の犯罪の規定でその有罪を十分に説明できるだけの証拠となることが必要となるであろうことをnoteする。また委員会は、この新設する162cによる有罪判決は、裁判所が、特定の犯罪に関連した合意の存在を認定した場合に成立することも合わせてnoteする。しかしながら委員会は、この犯罪の成立に特別な構成要件を求めるべきではない事にも同意する。しかし組織の活動としての明確な証拠が認定されない場合には、有罪を認定する十分な証拠が提示されているとは言えないこともnoteする。
Komiteen har merket seg at det i proposisjonen legges til grunn at det ikke skal være et krav for domfellelse etter ny straffeloven § 162 c at påtalemyndigheten kan føre bevis for hvilken konkret forbrytelse avtalen gjelder, så lenge den kan bevise at det gjelder en forbrytelse med en nedre strafferamme på minst 4 år.Komiteen antar at de fleste domfellelsene etter § 162 c vil bygge på at retten har funnet forbundet knyttet til konkrete forbrytelser.Komiteen er enig i at det derimot ikke bør være et krav til at forbrytelsen konkretiseres, men bemerker at hvis det ikke i det hele tatt er ført bevis for noen hovedgrupper av handlinger, vil det være vanskelig å føre tilstrekkelige bevis for domfellelse.
ということなので、is to be commitedというのは単なる未来形を表しているだけで、要件は無い、という理解でいいようです。しかし検事がこの法律での有罪化は難しいと述べている通り、薬物犯罪で検挙された400ほどの例の捜査対象者900名ほどのうち、162cが適用されたのは5件というような状態になっているということは、やはりこのようなあいまいな表現をもって有罪にすることはノルウェーでは難しいという事なのでしょうか。 60aや162cのようなvague and circularな表現は弁護士にとって格好の攻撃材料になる、とFighting・・・の本にも書いてありました。
有罪判決は出ない、ということですが、捜査の対象にはなるだろうということですが、捜査令状の取得のためには、その疑惑について、裁判所に詳細を説明する必要がある、警察は令状を取得し、被疑者を逮捕した後、４時間以内に捜査の内容、それによって得られた容疑の内容、拘留の正当性についての書類を裁判所とEOSCommitteeに提出、裁判所は土日を除いて24時間以内に拘留を認めるか、仮釈放するかを決定するという手続きのようです。起訴の有無に関わらず、EOS committeeは捜査の妥当性について検証し、国会に報告する。ということのようです。EOS committee(Stortingets kontrollutvalg for etterretnings-, overvåkings- og sikkerhetstjeneste)は国会に任命される独立組織で、国の諜報活動、警察活動のすべてにアクセスできるということです。これがイギリスの例でも出てきたようなセーフガードなんでしょうね。ただし、ノルウェーでも2011年に大規模な個人によるテロ事件が起きたのち、インターネット空間をpublicスペースと規定し、その中でのテロリストの活動については、133条のテロ組織への勧誘行為を根拠にした監視の強化は進んでいるようです。
20年以上前、卒論の研究で、自分が設計した半導体デバイスの特性を計算するために、
境界条件がいろいろややこしいポワソン方程式（＝微分方程式の一種）をガシガシと解いて、
ベーシックでFOR - NEXT 構文使って数値計算してグラフ描いたなぁ。
ドットプリンタの出力が汚かったから、ロットリングペンと雲形定規で清書までして。
今はエクセルあるけど、そういう微分方程式を自分で解かないと、セルに入力する式が得られない。
何が言いたいかというと、暗記だけの数学しかやって来なかったら、
解けるかどうか分からない微分方程式を、「解こう」とチャレンジしなかっただろうなあ、ということ。
若いのにせっかくの学ぶ機会を潰してもったいないなあ、とオッサンは思う。
その、登る山を決めるにはどうしたらいいのだろうか？
説明できるような決め方があれば皆がやってるだろう。
俺は特に考えもせず興味を持つことをやってたらいつの間にか登ってたパターンなんで、幸運なのかもしれない。ただある程度登ったおかげで、「登ってみないとわからないことがある(というより、登ってみないとわからないことの方が多い)」ということに気づいた。
だから俺から言えるのは、本当に全く決められないなら、適当に仮決めしてとりあえず登ってみることだ。仮なんだから、サイコロ振ったっていいし、それじゃあんまりだと思うなら誰かロールモデルになりそうな人を見つけて、あの人の近くに行きたい、とか適当に理由を作れば良い。もしかすると数年無駄にするかもしれないが、その数年で学べるものは、多分麓で迷っているだけで得られるものよりずっと大きい。
効率最大化、なんて考えからすると数年無駄になんて出来ないと思うかもしれないが、最適化問題というのは境界条件が決まった中で答えを出すもので、分からない条件があれば答えはもともと出ないし、条件が変化すれば答えも変化する。最初から最適な道があるなんていうのは幻想。
境界条件が不変なら効用最大化ゲームの戦略はどんどん洗練されてゆく。
戦略がこれ以上不可能なところまで洗練されると、次はルールの検討ということになる。
ルールの書き換えをめぐってあからさまな嘘や直接的にルール決定過程にピンポイントで介入する暴力が発生するようになる。民主主義下ではまず「率先して衆愚となる」人々があらわれた。これは「数が力である」ことの当然の帰結となる。ともかくいろいろな人の話を聞いて問題を理解するのが大事、というが、問題をみんなが完全に理解していれば、理解していない振りをして自分の利害をごり押しするのがむしろ合理的だ。
ついには昔、工場もなく、肉の分け前や水利権をめぐって殺し合いをしていた人たちとなんら変わらないところまで人類は落ちぶれてゆくのかもしれない。あれは人類が愚かだったからでも、貧しかったからでもなくて、たぶん、自分たちの利害を理解しすぎていたのだ。
上司の立場になって考えてみると良いと思う。
元増田にとってジレンマになりそうなレベルの案件は上司にとっても元増田に任せて良いものかどうかのジレンマがあるはず。
仕事をこなせる出来るやつほど仕事を任せられるわけで、上司から見れば元増田の判断を見て評価をしているということ。
例に挙げているような極端な判断ではなく、日常業務での判断を見て仕事を与えているのがまともな上司。
例えば、こいつのやることなら多少のことは自分の裁量で何とか出来ると思えば自分の休みの日の値引きの判断を任せる。
任せられなきゃ「値引きはいくらまで」など境界条件を整えて仕事を落とすはず。
サーバー保守も判断できると思うから携帯も預ける。トラぶったので自分で判断して再起動しましたといわれるのを覚悟して。
そうじゃなきゃ任せない、と思う。
なので、日常業務で常に自分の判断を上司に提案することを積み上げておくのがいいと思う。
その判断に対する評価(正否）で自分の判断レベルが上司に近づいていく。
どうかな？
とはいえ、
上で誰かが書いてたけど、いろんな上司がいるからことは簡単にいかないんだけれどね。。。。。
まともな上司にめぐり合うことの方が少ないかもなあ。。。。
