• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

NAGAYAMA Misao  永山 操

ORCIDConnect your ORCID iD *help
Researcher Number 30237557
External Links
Affiliation (based on the past Project Information) *help 2000 – 2002: 東京女子大学, 文理学部, 助教授
1995 – 1999: 東京女子大学, 文理学部, 講師
1995: 東京女子大学, 文理学部, 専任講師
1992 – 1994: 東京女子大学, 文理学部, 助手
Review Section/Research Field
Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
解析学 / Basic analysis / Algebra / Geometry
Keywords
Principal Investigator
非可換論理 / 線型論理 / Strong planarity / stack condition / 線形論理 / Linear Logic / Substructural logic / P-W問題 / Relevant Logic / FL_W ligic … More / substructural logic / characterization-theorem / strong planity / Characterization Theorem / Type Theory / higher order predicate logic / characterization Theorem / Stack Condition / proof nets / strongly planarity / Correctness theorem / non-commutative logic / Lambek Calculus / 証明探索 / Computer Science / Mathematical Logic / 意味論 / Proof net / Full-Abstraction / 証明論 / 数理論理学 / プログラシング言語 / 関数型プログラシング / 論理型プログラシング / 平列計算 … More
Except Principal Investigator
シャープ最大関数 / ハーディ空間 / 特異積分 / 発展方程式 / Mintyの定理 / monotone作用素 / dissipatire作用素 / 差分近似 / 半群 / 生成定理 / 代数多様体 / 代数的サイクル / 結び目 / 絡み目 / グラフ / 空間グラフ / 平面グラフ / グラフホモローグ / アトム分解 / 延長定理 / Banach algebra / ローレンツ空間 / 合成績 / 移植定理 / A_p荷重 / 合成積 / チェザロ作用素 / 重み付き不等式 / 多重線型作用素 / 重み付きハーディ空間 / 分数階積分 / トリーベル・リゾルキン空間 / ハーディの定理 / ハ-ディ空間 / 特異積分作用素 / ソボレフ空間 / フーリエ変換 / ハ-ディの定理 / Hardy space / Singular integral / Multilinear operator / Weighted Hardy space / Fractional integration / Sharp maximal function / Triebel-Lizorkin space / Hardy's theorem / D加群 / アルゴリズム / 線型微分方程式 / 代数解析 / 数式処理 / グレブナ基底 / 自由分解 / D-module / linear partial differential equation / algorithm / Groebner base / symbolic computation / algebraic analysis Less
  • Research Projects

    (13 results)
  • Co-Researchers

    (11 People)
  •  線形論理を用いた新しいプログラミング言語理論についてPrincipal Investigator

    • Principal Investigator
      永山 操
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Woman's Christian University
  •  種々の関数空間における因数分解の研究

    • Principal Investigator
      宮地 晶彦
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      Basic analysis
    • Research Institution
      Tokyo Woman's Christian University
  •  Study on Algorithms for D-Modules

    • Principal Investigator
      OAKU Toshinori
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Basic analysis
    • Research Institution
      Tokyo Woman's Christian University
  •  数学基礎論のプログラミング言語理論への応用Principal Investigator

    • Principal Investigator
      永山 操
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Woman's Christian University
  •  Research on singular integral operators and function spaces

    • Principal Investigator
      MIYACHI Akihiko
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      解析学
    • Research Institution
      Tokyo Woman's Christian University
  •  振動積分作用素と最大関数の研究

    • Principal Investigator
      宮地 晶彦
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      解析学
    • Research Institution
      Tokyo Woman's Christian University
  •  数学基礎論のプログラミング言語理論への応用Principal Investigator

    • Principal Investigator
      永山 操
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Woman's Christian University
  •  3次元・4次元多様体の位相幾何学的研究

    • Principal Investigator
      小林 一章
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Geometry
    • Research Institution
      Tokyo Woman's Christian University
  •  数理論理学のプログラミング言語理論への応用Principal Investigator

    • Principal Investigator
      永山 操
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Woman's Christian University
  •  数学基礎論による代数のプログラミング言語理論への応用Principal Investigator

    • Principal Investigator
      永山 操
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Woman's Christian University
  •  代数多様体の交叉の研究

    • Principal Investigator
      YAMASHIMA Seiho
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Algebra
    • Research Institution
      Tokyo Woman's Christian University
  •  数学基礎論による代数のプログラミング言語理論への応用Principal Investigator

    • Principal Investigator
      永山 操
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Woman's Christian University
  •  発展方程式の解の構造の研究

    • Principal Investigator
      KOMURA Takako
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      解析学
    • Research Institution
      Tokyo Woman's Christian University
  • 1.  KOBAYASHI Kazuaki (50031323)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 2.  KONDO Takeshi (20012338)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 3.  MIYACHI Akihiko (60107696)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 4.  KOMURA Takako (60086345)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 5.  YAMASHIMA Seiho (80086347)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 6.  TANIYAMA Kouki (10247207)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 7.  杉山 真澄 (30086368)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  守屋 悦朗 (00017427)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  SHINOHARA Masahiko (70086346)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  OAKU Toshinori (60152039)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  松原 稔 (20086341)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi