メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
NAGAYAMA Misao
永山 操
Connect 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)
Project Start Year (Newest)
Project Start Year (Oldest)
線形論理を用いた新しいプログラミング言語理論について
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
# of Projects (Dsc)
# of Projects (Asc)
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
×
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の連携を行いますか?
※ この処理は、研究者本人だけが実行できます。
×
×