• 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 / Geometry / Algebra
Keywords
Principal Investigator
非可換論理 / Linear Logic / 線形論理 / stack condition / Strong planarity / 線型論理 / 平列計算 / 論理型プログラシング / 関数型プログラシング / プログラシング言語 … More / 数理論理学 / 証明論 / 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 … More
Except Principal Investigator
特異積分 / ハーディ空間 / シャープ最大関数 / 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の定理 / 発展方程式 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 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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi