• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

永山 操  NAGAYAMA Misao

ORCIDORCID連携する *注記
研究者番号 30237557
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2000年度 – 2002年度: 東京女子大学, 文理学部, 助教授
1995年度 – 1999年度: 東京女子大学, 文理学部, 講師
1995年度: 東京女子大学, 文理学部, 専任講師
1992年度 – 1994年度: 東京女子大学, 文理学部, 助手
審査区分/研究分野
研究代表者
数学一般(含確率論・統計数学)
研究代表者以外
解析学 / 基礎解析学 / 幾何学 / 代数学
キーワード
研究代表者
非可換論理 / Linear Logic / 線形論理 / stack condition / Strong planarity / 線型論理 / 平列計算 / 論理型プログラシング / 関数型プログラシング / プログラシング言語 … もっと見る / 数理論理学 / 証明論 / Full-Abstraction / Proof net / 意味論 / Mathematical Logic / Computer Science / 証明探索 / Lambek Calculus / non-commutative logic / Correctness theorem / strongly planarity / proof nets / Stack Condition / characterization Theorem / higher order predicate logic / Type Theory / Characterization Theorem / strong planity / characterization-theorem / substructural logic / FL_W ligic / Relevant Logic / P-W問題 / Substructural logic … もっと見る
研究代表者以外
特異積分 / ハーディ空間 / シャープ最大関数 / algebraic analysis / symbolic computation / Groebner base / algorithm / linear partial differential equation / D-module / 自由分解 / グレブナ基底 / 数式処理 / 代数解析 / 線型微分方程式 / アルゴリズム / D加群 / Hardy's theorem / Triebel-Lizorkin space / Sharp maximal function / Fractional integration / Weighted Hardy space / Multilinear operator / Singular integral / Hardy space / ハ-ディの定理 / フーリエ変換 / ソボレフ空間 / 特異積分作用素 / ハ-ディ空間 / ハーディの定理 / トリーベル・リゾルキン空間 / 分数階積分 / 重み付きハーディ空間 / 多重線型作用素 / 重み付き不等式 / チェザロ作用素 / 合成積 / A_p荷重 / 移植定理 / 合成績 / ローレンツ空間 / Banach algebra / 延長定理 / アトム分解 / グラフホモローグ / 平面グラフ / 空間グラフ / グラフ / 絡み目 / 結び目 / 代数的サイクル / 代数多様体 / 生成定理 / 半群 / 差分近似 / dissipatire作用素 / monotone作用素 / Mintyの定理 / 発展方程式 隠す
  • 研究課題

    (13件)
  • 共同研究者

    (11人)
  •  線形論理を用いた新しいプログラミング言語理論について研究代表者

    • 研究代表者
      永山 操
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東京女子大学
  •  種々の関数空間における因数分解の研究

    • 研究代表者
      宮地 晶彦
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      萌芽研究
    • 研究分野
      基礎解析学
    • 研究機関
      東京女子大学
  •  D加群のアルゴリズムの研究

    • 研究代表者
      大阿久 俊則
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      基礎解析学
    • 研究機関
      東京女子大学
  •  数学基礎論のプログラミング言語理論への応用研究代表者

    • 研究代表者
      永山 操
    • 研究期間 (年度)
      1998 – 1999
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東京女子大学
  •  特異積分作用素と関数空間の研究

    • 研究代表者
      宮地 晶彦
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      基盤研究(C)
    • 研究分野
      解析学
    • 研究機関
      東京女子大学
  •  振動積分作用素と最大関数の研究

    • 研究代表者
      宮地 晶彦
    • 研究期間 (年度)
      1996
    • 研究種目
      基盤研究(C)
    • 研究分野
      解析学
    • 研究機関
      東京女子大学
  •  数学基礎論のプログラミング言語理論への応用研究代表者

    • 研究代表者
      永山 操
    • 研究期間 (年度)
      1996 – 1997
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東京女子大学
  •  3次元・4次元多様体の位相幾何学的研究

    • 研究代表者
      小林 一章
    • 研究期間 (年度)
      1995
    • 研究種目
      一般研究(C)
    • 研究分野
      幾何学
    • 研究機関
      東京女子大学
  •  数理論理学のプログラミング言語理論への応用研究代表者

    • 研究代表者
      永山 操
    • 研究期間 (年度)
      1995
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東京女子大学
  •  数学基礎論による代数のプログラミング言語理論への応用研究代表者

    • 研究代表者
      永山 操
    • 研究期間 (年度)
      1994
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東京女子大学
  •  代数多様体の交叉の研究

    • 研究代表者
      山島 成穂
    • 研究期間 (年度)
      1993
    • 研究種目
      一般研究(C)
    • 研究分野
      代数学
    • 研究機関
      東京女子大学
  •  数学基礎論による代数のプログラミング言語理論への応用研究代表者

    • 研究代表者
      永山 操
    • 研究期間 (年度)
      1993
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東京女子大学
  •  発展方程式の解の構造の研究

    • 研究代表者
      高村 多賀子
    • 研究期間 (年度)
      1992
    • 研究種目
      一般研究(C)
    • 研究分野
      解析学
    • 研究機関
      東京女子大学
  • 1.  小林 一章 (50031323)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 2.  近藤 武 (20012338)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 3.  宮地 晶彦 (60107696)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 4.  高村 多賀子 (60086345)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 5.  山島 成穂 (80086347)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 6.  谷山 公規 (10247207)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  杉山 真澄 (30086368)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  守屋 悦朗 (00017427)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 9.  篠原 昌彦 (70086346)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 10.  大阿久 俊則 (60152039)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  松原 稔 (20086341)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi