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

YASUMOTO Masahiro  安本 雅洋

ORCIDConnect your ORCID iD *help
… Alternative Names

安本 雅洋  ヤスモト マサヒロ

Less
Researcher Number 10144114
Other IDs
External Links
Affiliation (based on the past Project Information) *help 2006: Nagoya University, Gratuate School of formation Science, professor, 大学院情報科学研究科, 教授
2004 – 2005: 名古屋大学, 大学院・情報科学研究科, 教授
1999 – 2002: 名古屋大学, 大学院・人間情報学研究科, 教授
1995 – 1998: Nagoya University, Graduate School of Polymathematics, Associate Professor, 大学院・多元数理科学研究科, 助教授
1997: Nagoya Univ., Graduate School of Math, Assoc.Professor, 大学院多元数理科学研究科, 助教授 … More
1995: 名古屋大学, 多元数理科学研究科, 助教授
1994: 名古屋大学, 理学部, 助教授
1992: 名古屋大学, 教養部, 助教授
1990: 名古屋大学, 教養部, 助教授
1989: 名古屋大学, 教養部, 講師
1986: 名古屋大学, 理学部, 助手 Less
Review Section/Research Field
Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / Geometry / General mathematics (including Probability theory/Statistical mathematics) / Algebra / Geometry / 代数学・幾何学
Keywords
Principal Investigator
超準モデル / ブール値モデル / 多項式時間計算量 / 限定算術 / nonstandard models / computational complexity / bounded arithmetic / 多項式時間計算可能 / 超準解析 / 不定方程式 / モデル理論 … More
Except Principal Investigator
… More 計算量 / 量子力学 / 帰納的関数 / 巨大基数 / 公理的集合論 / consecutive positives / combinatorial designs / positive detecting / LDPC code / Bayesian Network / pooling experiment / DNA library screening / stability / structure / model / 数学基礎論 / nonstandard analysis / recursive function / 量子測定 / 量子アルゴリズム / 量子回路 / 量子チューリング機械 / 量子計算 / ブール値モデル / 超準解析 / 位相作用素 / Schrodinger表現 / ユニタリ表現 / 超準解析学 / 強制法 / algebra / mathematical logic / geometry / 定義可能集合 / 順序極小構造 / 半代数的集合 / モデル理論 / 実代数幾何学 / 代数学 / 幾何学 / Convex-concave procedure / Combinatorial designs / Baysean Network / decoding algorithm / LDPC / convex-concave procedure / Distribution Relation / Bernoulli Numbers / Zeta Function / Formal Group / Number Theory / distribution relation / ベルヌーイ数 / ゼータ関数 / 形式群 / 数論 / 定義可能性 / 一階論理式 / ペアノの公理 / 可算モデル / controlled NOT gate / fault-tolerant quantum computing / quantum operation / quantum gates / quantum complexity theory / quantum circuits / quantum Turing machines / quantum computing / 量子情報 / 量子計算量 / 量子回路族 / 完全正写像 / 量子コンピュータ / 量子オラクルTuring機械 / 閾値定理 / 計算基底 / 制御否定素子 / 万能量子論理素子 / 誤り訂正理論 / 加法的保存量 / 制御否定ゲート / 量子誤り訂正理論 / 量子論理素子 / 量子ゲート / 量子計算量理論 / 量子Turing機械 / polynomial-time / computational quantity / 多項式時間計算可能性 / lambda calculus / bounded arithmetic / reverse mathematics / second order arithmetic / formal arithmetic / type theory / theory of computation / logical structures / 算術のモデル / 証明論 / ロジック / ラムダ計算 / 限定算術 / 逆数学 / 2階算術 / 形式算術 / 型理論 / 計算論 / 論理構造 / quantizations / phase operators / hyperfinite / unitary representations / canonical commutation relatins / Heisenberg groups / quantum optics / Hilberk■間 / Naimark拡大 / 作用素測度 / 超準殻 / Z_1飽和的超準宇宙 / Heisenberg群 / 量子化 / 超有限 / 正準交換関係 / Heisenberg(ハイゼンベルク)群 / 量子光学 / Grassman structure / third order ODE / twistor / involutive system / differential form / ツイスター構造 / グラスマン構造 / 3階の常微分方程式 / ツイスター / 包合系 / 微分形式 / axiomatic set theory / Boolean-valed model / computational complexity / 【C^ω】Nash多様体 / ノンスタンダードモデル / ブール値解析学 / 有限の型の対象 / β-モデル / 【Δ(^1-2)】 / 帰納的関数論 / 停止問題 / 確率過程 / ブール超巾 / 超有限行列環 / 超有限Heisenberg群 / ブール代数値解析学 / 最大羃零拡大 / 実2次体 / Lie接触構造 / 極小曲面 / シュレジンガ-作用系 / 構成可能性公理 / 極小次数 / 決定性公理 / 連続体仮説 / Kleene次数 Less
  • Research Projects

    (21 results)
  • Co-Researchers

    (49 People)
  •  Research of real algebraic geometry by model theory

    • Principal Investigator
      SHIOTA Masahiro
    • Project Period (FY)
      2005 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Geometry
    • Research Institution
      Nagoya University
  •  Efficient algorithms of pooling experiments for gene analysis by utilizing group testing and Bayesian network

    • Principal Investigator
      JIMBO Masakazu
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
      Keio University
  •  research on number theoretic concepts attached formal group

    • Principal Investigator
      SATOH Junya
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Algebra
    • Research Institution
      NAGOYA UNIVERSITY
  •  MATHEMATICAL LOGIC AND ITS APPLICATION TO COMPUTATIONAL COMPLEXITYPrincipal Investigator

    • Principal Investigator
      YASUMOTO Masahiro
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      UNIVERSITY OF NAGOYA
  •  Mathematical Research on Mathematical Models of Quantum Computing

    • Principal Investigator
      OZAWA Masanao
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tohoku University
      Nagoya University
  •  Study of theories with finitely many countable models.

    • Principal Investigator
      TSUBOI Akito
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba.
  •  量子チューリング機械の停止問題に関する研究

    • Principal Investigator
      小澤 正直
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  限定算術と多項式時間計算量Principal Investigator

    • Principal Investigator
      安本 雅洋
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Studies on logical structures of arithmetic and computation

    • Principal Investigator
      TANAKA Kazuyuki
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      TOHOKU UNIVERSITY
  •  applicatin of the recursive function theory to problems of computational quantity

    • Principal Investigator
      SATOH Junya, 篠田 壽一
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Theory of Differential Forms and Twistor Structures

    • Principal Investigator
      SATO Hajime
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Geometry
    • Research Institution
      Nagoya University
  •  Unitary Representations of Hyperfinite Heisenberg Groups and Their Applications to Quantum Physics

    • Principal Investigator
      OZAWA Masanao
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  イデアルの巨大基数公理的性質の研究

    • Principal Investigator
      松原 洋
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  帰納的関数論の計算量問題への応用

    • Principal Investigator
      篠田 壽一
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  巨大基数公理としてのイデアルの研究

    • Principal Investigator
      松原 洋
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  無限小解析学の数理物理学への応用

    • Principal Investigator
      小澤 正直
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Comprehensive Study of Recursive Function Theory

    • Principal Investigator
      SHINODA Juichi
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  モデル理論とその不定方程式論への応用Principal Investigator

    • Principal Investigator
      安本 雅洋
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  幾何構造,数理物理とトポロジ-

    • Principal Investigator
      SATO Hajime
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      代数学・幾何学
    • Research Institution
      Nagoya University
  •  高階の帰納的関数の研究

    • Principal Investigator
      SHINODA Juichi
    • Project Period (FY)
      1989
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  高階の帰納的関数の研究

    • Principal Investigator
      篠田 寿一
    • Project Period (FY)
      1986
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  • 1.  SHINODA Juichi (30022685)
    # of Collaborated Projects: 13 results
    # of Collaborated Products: 0 results
  • 2.  OZAWA Masanao (40126313)
    # of Collaborated Projects: 13 results
    # of Collaborated Products: 0 results
  • 3.  MATSUBARA Yo (30242788)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 4.  IHARA Shunsuke (00023200)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 5.  TSUKAJI Tasuie (70291961)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 6.  三宅 克哉 (20023632)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 7.  横井 英夫 (50023560)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 8.  MORIMOTO Hiroshi (20115645)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 9.  SHIOTA Masahiro (00027385)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 10.  SATO Hajime (30011612)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  EJIRI Norio (80145656)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  TANAKA Kazuyuki (70188291)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  SATOH Junya (20235352)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  YOSHINOBU Yasuo (90281063)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  KAKUDA Yuzuru (50031365)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  YAMATO Kazuo (30022677)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  TSUCHIYA Akihito (90022673)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  KASHIMA Ryo (10240756)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  HORAI Masako (00015588)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  AKAMA Yohji (30272454)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  HASEGAWA Ryu (20243107)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  TATSUTA Makoto (80216994)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  MITSUI Taketomo (50027380)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  MATSUMOTO Hiroyuki (00190538)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  TSUBOI Akito (30180045)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  NISHIMURA Hirokazu (70135614)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  SHIOYA Masahiro (30251028)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  MOTOHASHI Nobuyoshi (70015874)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  TSUKADA Nabutaka (50015559)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  EDA Katsuya (90015826)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  MATSUMOTO Kohji (60192754)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  JIMBO Masakazu (50103049)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  SHIMIZU Kunio (60110946)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  OTA Katsuhiro (40213722)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  KURIKI Shinji (00167389)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  MISHIMA Miwako (00283284)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  KOIKE Satoshi (60161832)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  FUKUI Toshizumi (90218892)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  松本 幾久二 (90023522)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  村井 隆文 (00109266)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  長井 英生 (70110848)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  柘植 利之 (70023520)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  向井 茂 (80115641)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  伊藤 正之 (60022638)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 45.  廣川 佐千男 (40126785)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  菊池 誠 (60273801)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 47.  鍛島 康裕 (70240801)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 48.  柴田 里程 (60089828)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 49.  古田 泰之
    # 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