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

MATSUBARA YO  松原 洋

ORCIDConnect your ORCID iD *help
… Alternative Names

松原 洋  マツバラ ヨウ

MATSUBARA Yo  松原 洋

Less
Researcher Number 30242788
Other IDs
External Links
Affiliation (Current) 2025: 中部大学, 現代教育学部, 教授
Affiliation (based on the past Project Information) *help 2016: 名古屋大学, 大学院情報科学研究科, 教授
2013: 名古屋大学, 大学院・情報科学研究科, 教授
2013: 名古屋大学, 情報文化学部, 教授
2011 – 2013: 名古屋大学, 情報科学研究科, 教授
2009 – 2011: 名古屋大学, 大学院・情報科学研究科, 教授 … More
2007: 名古屋大学, 大学院・情報科学研究科, 教授
2005 – 2006: 名古屋大学, 大学院情報科学研究科, 教授
2004 – 2005: Nagoya University, Graduate School of information Science, Professor, 大学院・情報科学研究科, 教授
2004: 名古屋大学, 情報科学研究科, 教授
2003: 名古屋大学, 大学院・情報科学研究科, 助教授
2003: Nagoya University, Graduate School of Information Science, Associate Professor, 情報科学研究科, 助教授
2002: 名古屋大学, 人間情報学研究科, 助教授
2001 – 2002: Nagoya University, Graduate School of Human Informatics, Associate Professor, 大学院・人間情報学研究科, 助教授
1994 – 2000: 名古屋大学, 情報文化学部, 助教授
1998: School of Informatics and Sciences, Associate Professor, 情報文化部, 助教授
1992: 名古屋大学, 教養部, 助教授 Less
Review Section/Research Field
Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Algebra / Science education
Keywords
Principal Investigator
公理的集合論 / set theory / 集合 / 強制法 / 巨大基数 / axiomatic set theory / large cardinals / 巨大基数公理 / learning / recursive functions … More / computational complexty / 発見学習アルゴリズム / non-stationary ideal / 学習 / 帰納的関数 / 計算量 … More
Except Principal Investigator
強制法 / 公理的集合論 / 巨大基数 / 無限組合せ論 / 集合論 / 数学基礎論 / 反映原理 / 数理論理学 / 飽和イデアル / 大偏差定理 / ガウス型通信路 / Gaussian channel / precipitous / イデアル / エントロピー / 量子力学 / nonstandard analysis / computational complexity / recursive function / ブール値モデル / 計算量 / 帰納的関数 / 量子計算 / 量子情報 / 量子測定 / バナッハ・マズア型ゲーム / 基数不変量 / 強制公理 / 集合論的位相空間論 / 定常集合 / 飽和性 / フィルタ / 情報量 / 位相作用素 / Schrodinger表現 / ユニタリ表現 / 超準解析学 / 超準モデル / 超準解析 / Stationary set / Saturation / Filter / Forcing / Large cardinal / Infinitary combinatorics / Set theory / Mathematical logic / 超フィルタ / 生成超巾 / 定常集会 / code theory / reciprocity law / power residue / Kronecker density / Bernoulli numbers / zeta function / number theory / formal group / distribution relation / 符号理論 / 相互法則 / べき剰余 / クロネッカー式密度 / ベルヌーイ数 / ゼータ関数 / 数論 / 形式群 / Large deviation theorem / Waiting time for string matching / Channel coding / Source coding / 再帰時間の漸近挙動 / 通信路符号化 / 情報源符号化 / nonstandard models / bounded arithmetic / 多項式時間計算量 / 多項式時間計算可能 / 限定算術 / controlled NOT gate / fault-tolerant quantum computing / quantum operation / quantum gates / quantum complexity theory / quantum circuits / quantum Turing machines / quantum computing / 量子計算量 / 量子チューリング機械 / 量子回路族 / 完全正写像 / 量子コンピュータ / 量子アルゴリズム / 量子オラクルTuring機械 / 閾値定理 / 計算基底 / 制御否定素子 / 万能量子論理素子 / 誤り訂正理論 / 加法的保存量 / 制御否定ゲート / 量子誤り訂正理論 / 量子論理素子 / 量子ゲート / 量子計算量理論 / 量子回路 / 量子Turing機械 / CARDINAL INVARIANTS INFINITARY COMBINATORICS / FORCING THEORY / LARGE CARDINALS / INNER MODELS / Maximal Cofinitary groups / 連続体の基数不変量 / 強制法の理論 / 内的モデルの理論 / entropy / coding theorem / data compression / large deviation theorem / mutual information / スツリングマッチ / 符号化定理 / データ圧縮 / polynomial-time / computational quantity / 多項式時間計算可能性 / large cardinals / Cohen real / proper forcing axiom / ideal / inner modee / Hyting Algebra / 分配律 / Proper foking axiom / 中間論理 / precipitousness / 飽和的 / コーエン実数 / Large Cardinals / コーエン実物 / proper forcing qxiom / Precipitous / non-linear dynamics / dynamics / plankton / photosynthesis / complex system / open system / non-equilibrium / non-linear / 相転移 / 変分法 / 社会数理 / 生物数理 / マルコフ過程 / 確率過程 / 進化 / ゲーム理論 / 量子論 / ゆらぎ / 強雑系 / ダイナミクス / プランクトン / 光合成 / 複雑系 / 開放系 / 非平衡 / 非線型 / 非線形 / quantizations / phase operators / hyperfinite / unitary representations / canonical commutation relatins / Heisenberg groups / quantum optics / Hilberk■間 / Naimark拡大 / 作用素測度 / 超準殻 / Z_1飽和的超準宇宙 / Heisenberg群 / 量子化 / 超有限 / 正準交換関係 / Heisenberg(ハイゼンベルク)群 / 量子光学 / axiomatic set theory / Boolean-valed model / チューリングマシン / アルゴリズム / 科学教育 / 稠密イデアル / 数理物理 / 量子集合論 / 量子符号 / 不確定性原理 / 数理物理学 / 条件付き極限定理 / 最大エントロピー法 / ブール超巾 / 超有限行列環 / 超有限Heisenberg群 / ブール代数値解析学 / 不定方程式 / モデル理論 Less
  • Research Projects

    (27 results)
  • Research Products

    (8 results)
  • Co-Researchers

    (43 People)
  •  Invariant structures on medium-size infinite cardinals

    • Principal Investigator
      YOSHINOBU YASUO
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Construction of models of higher Chang conjectures and saturated ideals

    • Principal Investigator
      SHIOYA Masahiro
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  Development of a learning tool for mathematical algorithms using intuitive input methods

    • Principal Investigator
      YASUNO Fumiko
    • Project Period (FY)
      2011 – 2012
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Science education
    • Research Institution
      National Institute for Educational Policy Research
  •  Mathematical study of quantum information

    • Principal Investigator
      OZAWA Masanao
    • Project Period (FY)
      2009 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Combinatorics on medium-sized infinite cardinals

    • Principal Investigator
      YASUO Yoshinobu (YOSHINOBU Yasuo)
    • Project Period (FY)
      2008 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Study of the large infinite intrinsic to the small infinite

    • Principal Investigator
      SHIOYA Masahiro
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  Application of ideals for Godel's ProgramPrincipal Investigator

    • Principal Investigator
      MATSUBARA Yo
    • Project Period (FY)
      2005 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Set-theoretic study of measures

    • Principal Investigator
      SHIOYA Masahiro
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  Research On The Bernoulli Numbers Attached Formal Group

    • Principal Investigator
      SATOH Junya
    • Project Period (FY)
      2003 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Algebra
    • Research Institution
      Nagoya University
  •  Large cardinal properties of idealsPrincipal Investigator

    • Principal Investigator
      MATSUBARA Yo
    • Project Period (FY)
      2003 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Research on Stochastic Processes and Information Theory

    • Principal Investigator
      IHARA Shunsuke
    • Project Period (FY)
      2002 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  Ideals with large cardinal propertiesPrincipal Investigator

    • Principal Investigator
      MATSUBARA Yo
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  MATHEMATICAL LOGIC AND ITS APPLICATION TO COMPUTATIONAL COMPLEXITY

    • 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
  •  Computability and polynomial time computabilityPrincipal Investigator

    • Principal Investigator
      MATSUBARA Yo
    • 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
      Nagoya University
  •  INNER MODEL THEORY AND LARGE CARDINALS

    • Principal Investigator
      BRENDLE Jorg
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kobe University
  •  HIGHER INFINITY AXIOMS AND RELATED PROPOSITIONS OF VARIOUS FIELD OF MATHEMATICS

    • Principal Investigator
      KAKUDA Yuzuru
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KOBE 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
  •  Study of Probability theory and Its Application to Information Theory

    • Principal Investigator
      IHARA Shunsuke
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Nagoya University
  •  確率過程の研究とその情報理論への応用

    • Principal Investigator
      井原 俊輔
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • 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
  •  Analysis of Non-Linear phenomema

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

    • 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

    • 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
      YASUMOTO Masahiro
    • 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

All 2013 2012 2007 2003

All Journal Article Presentation Book

  • [Book] ゲーデルと20世紀のロジック 4巻 集合論とプラトニズム2007

    • Author(s)
      淵野昌, 松原洋, 戸田山和久
    • Total Pages
      270
    • Publisher
      東京大学出版会
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17540110
  • [Journal Article] On skinny stationary subsets of Pκλ2013

    • Author(s)
      松原洋, 薄葉季路
    • Journal Title

      J. Symbolic Logic

      Volume: 78 Pages: 667-680

    • URL

      http://projecteuclid.org/euclid.jsl/1368627071

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23540119
  • [Journal Article] On Skinny Stationary Subsets of Pκλ2013

    • Author(s)
      Y. Matsubara, T. Usuba
    • Journal Title

      Journal of Symbolic Logic 78

      Volume: 78 Issue: 2 Pages: 667-680

    • DOI

      10.2178/jsl.7802180

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21244007
  • [Journal Article] Stationary preserving ideals over P_κλ2003

    • Author(s)
      Yo Matsubara
    • Journal Title

      J. the Math. Soc. Japan 55-3

      Pages: 827-835

    • NAID

      10011478387

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15540019
  • [Journal Article] Stationary preserving ideals over P_κλ2003

    • Author(s)
      Yo Matsubara
    • Journal Title

      Journal of the Mathematical Society of Japan 55・3

      Pages: 827-835

    • NAID

      10011478387

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15540115
  • [Journal Article] Stationary preserving ideal over P_κλ2003

    • Author(s)
      Yo Matsubara
    • Journal Title

      Journal of the Mathematical Society of Japan 55・3

      Pages: 827-835

    • NAID

      10011478387

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15540115
  • [Journal Article] Stationary preserving ideals over P k λ2003

    • Author(s)
      Yo Matsubara
    • Journal Title

      J. the Math. Soc. Japan 55-3

      Pages: 827-835

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15540019
  • [Presentation] Skinny subsets of Pkλ2012

    • Author(s)
      Yo Matsubara
    • Organizer
      Greater Tokyo Bayshore Spring Meeting of Set Theory 2012 at Kanagawa University
    • Place of Presentation
      神奈川大学(神奈川県)(招待講演)
    • Data Source
      KAKENHI-PROJECT-21244007
  • 1.  OZAWA Masanao (40126313)
    # of Collaborated Projects: 15 results
    # of Collaborated Products: 0 results
  • 2.  SHINODA Juichi (30022685)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 3.  YASUO Yoshinobu (90281063)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 4.  YASUMOTO Masahiro (10144114)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 5.  IHARA Shunsuke (00023200)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 6.  ABE Yoshihiro (10159452)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 7.  MATSUMOTO Hiroyuki (00190538)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 8.  SHIOYA Masahiro (30251028)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 9.  TSUKIJI Tastue (70291961)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 10.  MORIMOTO Hiroshi (20115645)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 11.  SATOH Junya (20235352)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 12.  ITO Masayuki (60022638)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 13.  MIYAMOTO Tadatoshi (70229889)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 14.  TSUBOI Akito (30180045)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 15.  FUCHINO Sakae (30292098)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 16.  KAKUDA Yuzuru (50031365)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 17.  BRENDLE Joerg (70301851)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 18.  KADA Masaru (00312447)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 19.  TOMOYASU Kazuo (10332107)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 20.  SAKAI Hiroshi (70468239)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 21.  USUBA Toshimichi (10513632)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 22.  EDA Katsuya (90015826)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 23.  WELCH Philip (90294248)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 24.  MITSUI Taketomo (50027380)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 25.  JIMBO Masakazu (50103049)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  NISHIMURA Harumichi (70433323)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  HAMADA Mitsuru (10407679)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  BUSCEMI Francesco (80570548)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  YASUNO Fumiko (00370081)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  KURODA Satoru (30300586)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  TANAKA Kazuyuki (70188291)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  MATSUMOTO Kohji (60192754)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  TANIGAWA Yoshio (50109261)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  横井 英夫 (50023560)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  三宅 克哉 (20023632)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  村井 隆文 (00109266)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  長井 英生 (70110848)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  新井 敏康 (40193049)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  塚田 信高 (50015559)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  古田 泰之
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  KONIG Bernhard
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  B.LARSON Paul
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  König Bernhard
    # 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