永島孝ナカ゛シマタカシ

研究者番号	00017526
その他のID	https://orcid.org/0000-0001-9125-8469
所属 (過去の研究課題情報に基づく) *注記	1997年度: 一橋大学, 大学院・経済学研究科, 教授 1990年度 – 1996年度: 一橋大学, 経済学部, 教授 1986年度 – 1988年度: 一橋大学, 経済学部, 教授 1986年度: 一橋大, 経済学部, 教授
審査区分/研究分野	研究代表者数学一般(含確率論・統計数学) 研究代表者以外数学一般 / 解析学 / 代数学・幾何学 / 代数学
キーワード	研究代表者証明論 / 単項述語 / ゲンツェン / 標準型 / 生成文法 / 文脈自由文法 / 第一階述語論理 / LISP / 帰納的関数 / 計算可能性 … もっと見る / クレイグの補題 / 関数記号 / スコーレムの定理 / 数理論理学 … もっと見る研究代表者以外アトム分解 / ブラウン運動 / 拡散過程 / ナビエ・ストークス方程式 / モレー空間 / 最大関数 / クローン / デザイン / Mathieu群 / 擬微分作用素 / ω言語 / exterior domains / weak L^n spaces / stability / stationary solutions / Navier-Stokes equations / Lorentz空間 / 外部領域 / 弱L^n-空間 / 安定性 / 定常解 / Navier-Stokes方程式 / simple module / finite group / conformal element / Virasoro algebra / vertex operator algebra / 既約表現 / 有限群 / 共形元 / ヴィラソロ代数 / 頂点作用素代数 / フェファーマン=スタイン分解 / BMO / リトルウッド=ペーリー不等式 / ハーディ=ソボレフ空間 / ハーディ空間 / Wittシステム / 確定特異型の条件 / 不確定度 / ホロノミック加群 / リテラルシャッフル / ゲーム論理 / 有限状態機械 / 無限記号列 / 数理論理学 / ゲーム理論 / カッツ・ムーディー代数 / デリバティブ / アルゴリズム / 連分数 / 論理関数のクローン / 多値論理関数 / モレ-空間 / ナビユ・ストークス方程式 / 放物型偏微分方程式 / 確率微分方程式 / デリヴァティブ(金融派生商品) / スコーレムの定理 / ナビエストークス方程式 / ケーラー性 / 複素多様体 / ベゾフ空間 / ソボレフ空間 / 本質的極小クローン / 素子計算量 / 離散的問題 / 関数空間C_p^α / 亜群 / Steinerシステム / (Mathieu-)Wittシステム / 本質的自己共役性 / ワイル表象 / 大偏差原理 / 自己相似的スピ-ド測度 / (ε,δ)領域 / Cp^α空間 / 置換表現 / 直交多項式 / 指標表 / アソシエ-ションスキ-ム / ω正則表現 / 単項2階述語論理式 / 有限オ-トマトン隠す

研究課題
(19件)
共同研究者
(9人)

群の作用する頂点作用素代数の研究
- 研究代表者
  
  山田裕理
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  代数学
- 研究機関
  一橋大学
補間空間と摂動論を用いるNavier-Stokes方程式の研究
- 研究代表者
  
  山崎昌男
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  解析学
- 研究機関
  一橋大学
無限記号列の変換理論研究
- 研究代表者
  
  山崎秀記
- 研究期間 (年度)
  1996
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  一橋大学
多値論理におけるクローン束の構造の解明
- 研究代表者
  
  町田元
- 研究期間 (年度)
  1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  一橋大学
フラクタルと数の同時近似について
- 研究代表者
  
  藤田岳彦
- 研究期間 (年度)
  1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  一橋大学
オプション価格理論への確率解析の応用
- 研究代表者
  
  藤田岳彦
- 研究期間 (年度)
  1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  一橋大学
種々の関数空間とその応用の研究
- 研究代表者
  
  宮地晶彦
- 研究期間 (年度)
  1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  解析学
- 研究機関
  一橋大学
フラクタル上の確率過程の研究
- 研究代表者
  
  藤田岳彦
- 研究期間 (年度)
  1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  一橋大学
証明論の基礎的研究研究代表者
- 研究代表者
  
  永島孝
- 研究期間 (年度)
  1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  一橋大学
Mathieu群を中心とする単純群の研究
- 研究代表者
  
  岩崎史郎
- 研究期間 (年度)
  1992
- 研究種目
  
  一般研究(C)
- 研究分野
  
  代数学・幾何学
- 研究機関
  一橋大学
離散的問題に対する計算量の解析
- 研究代表者
  
  町田元
- 研究期間 (年度)
  1992
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  一橋大学
代数的組合せ論における直交多項式の研究
- 研究代表者
  
  山田裕理
- 研究期間 (年度)
  1991
- 研究種目
  
  一般研究(C)
- 研究分野
  
  代数学・幾何学
- 研究機関
  一橋大学
実関数論的方法による調和解析
- 研究代表者
  
  宮地晶彦
- 研究期間 (年度)
  1991
- 研究種目
  
  一般研究(C)
- 研究分野
  
  解析学
- 研究機関
  一橋大学
計算理論の数学的基礎の研究
- 研究代表者
  
  山崎秀記
- 研究期間 (年度)
  1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  一橋大学
実関数論の方法による調和解析の一般化
- 研究代表者
  
  宮地晶彦
- 研究期間 (年度)
  1988
- 研究種目
  
  一般研究(C)
- 研究分野
  
  解析学
- 研究機関
  一橋大学
組合せ論的考察を中心とする群の研究
- 研究代表者
  
  岩崎史郎
- 研究期間 (年度)
  1987
- 研究種目
  
  一般研究(C)
- 研究分野
  
  代数学・幾何学
- 研究機関
  一橋大学
数学基礎論のアルゴリズムへの応用研究代表者
- 研究代表者
  
  永島孝
- 研究期間 (年度)
  1987
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  一橋大学
ホロノミックなDx加群の不確定度について
- 研究代表者
  
  真島秀行
- 研究期間 (年度)
  1986
- 研究種目
  
  一般研究(C)
- 研究分野
  
  解析学
- 研究機関
  一橋大学
計算理論の基礎的研究研究代表者
- 研究代表者
  
  永島孝
- 研究期間 (年度)
  1986
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  一橋大学

1. 町田元 (40090534)

共同の研究課題数: 15件

共同の研究成果数: 0件
2. 宮地晶彦 (60107696)

共同の研究課題数: 14件

共同の研究成果数: 0件
3. 岩崎史郎 (00001842)

共同の研究課題数: 14件

共同の研究成果数: 0件
4. 山崎秀記 (30108188)

共同の研究課題数: 13件

共同の研究成果数: 0件
5. 山田裕理 (50134888)

共同の研究課題数: 11件

共同の研究成果数: 0件
6. 山崎昌男 (20174659)

共同の研究課題数: 11件

共同の研究成果数: 0件
7. 藤田岳彦 (50144316)

共同の研究課題数: 11件

共同の研究成果数: 0件
8. 真島秀行 (50111456)

共同の研究課題数: 4件

共同の研究成果数: 0件
9. 石村直之 (80212934)

共同の研究課題数: 2件

共同の研究成果数: 0件

永島 孝 ナカ゛シマ タカシ

研究課題

共同研究者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

証明論の基礎的研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

永島孝ナカ゛シマタカシ