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

Tsumagari Norihiro  津曲 紀宏

ORCIDConnect your ORCID iD *help
… Alternative Names

TSUMAGARI Norihiro  津曲 紀宏

Less
Researcher Number 70632834
Other IDs
Affiliation (Current) 2025: 崇城大学, 総合教育センター, 准教授
Affiliation (based on the past Project Information) *help 2016 – 2017: 崇城大学, 総合教育センター, 助教
Review Section/Research Field
Principal Investigator
Foundations of mathematics/Applied mathematics
Keywords
Principal Investigator
クリーニ代数 / システム検証 / 情報基礎 / 代数 / 圏論 / 関係理論 / 意味論 / 確率的システム
  • Research Projects

    (1 results)
  • Research Products

    (3 results)
  • Co-Researchers

    (4 People)
  •  Analysis of probabilistic systems by relational and algebraic methodsPrincipal Investigator

    • Principal Investigator
      TSUMAGARI Norihiro
    • Project Period (FY)
      2016 – 2017
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Sojo University

All 2017 2016

All Journal Article Presentation

  • [Journal Article] Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations2017

    • Author(s)
      Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
    • Journal Title

      Journal of Logical and Algebraic Methods in Programming

      Volume: 印刷中 Pages: 84-101

    • DOI

      10.1016/j.jlamp.2017.04.002

    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25330016, KAKENHI-PROJECT-16K21557
  • [Journal Article] Axiom of Choice and Zorn's Lemma in Cantor Categories2017

    • Author(s)
      H. Furusawa, Y. Kawahara, N. Tsumagari
    • Journal Title

      Bulletin of Informatics and Cybernetics

      Volume: 49 Pages: 11-34

    • NAID

      120006620458

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K21557
  • [Presentation] 多重関係の合成とリフティングの関係的形式化2016

    • Author(s)
      津曲 紀宏
    • Organizer
      記号論理と情報科学研究集会 (SLACS) 2016
    • Place of Presentation
      名古屋大学VBL(ベンチャービジネスラボラトリー)(愛知県名古屋市)
    • Year and Date
      2016-08-25
    • Data Source
      KAKENHI-PROJECT-16K21557
  • 1.  FURUSAWA Hitoshi (00357930)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 2.  KAWAHARA Yasuo (90091181)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 3.  NISHIZAWA Koki (60455433)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  STRUTH Georg
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 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