研究者
J-GLOBAL ID:201701003458639396
更新日: 2024年02月01日
津曲 紀宏
ツマガリ ノリヒロ | Tsumagari Norihiro
所属機関・部署:
崇城大学 総合教育センター総合教育センター
崇城大学 総合教育センター総合教育センター について
「崇城大学 総合教育センター総合教育センター」ですべてを検索
機関情報を見る
職名:
准教授
ホームページURL (2件):
https://sites.google.com/site/tsumagari83/jp
,
https://sites.google.com/site/tsumagari83/
研究分野 (3件):
応用数学、統計数学
, 数学基礎
, 情報学基礎論
研究キーワード (3件):
Probabilistic systems
, Relational methods
, Programming semantics
競争的資金等の研究課題 (2件):
2016 - 2018 「関係的・代数的手法による確率的システムの解析」
2010 - 2012 「確率システムの開発及び検証の形式手法」
論文 (10件):
Koki Nishizawa, Norihiro Tsumagari. Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad. Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. 2018. 97-112
H. Furusawa, Y. Kawahara, N. Tsumagari. Axiom of Choice and Zorn's Lemma in Cantor Categories. Bulletin of Informatics and Cybernetics, 統計科学研究会. 2017. 49. 11-34
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari. Kleisli, Parikh and Peleg compositions and liftings for multirelations. Journal of Logical and Algebraic Methods in Programming. 2017. 90. 84-101
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari. Relational Formalisations of Compositions and Liftings of Multirelations. RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015). 2015. 9348. 84-100
Norihiro Tsumagari, Hitoshi Furusawa, Yasuo Kawahara. Relations into algebras of probabilistic distributions. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2014. 83. 2. 263-283
もっと見る
MISC (3件):
黒岩敬太, 内田浩二, 佐藤和歌子, 大嶋康裕(編著). 千馬浩充, 稲富德昭, 津曲紀宏, 木下裕士, 西田正志, 宮内優, ブレンダン プラマー. 令和3年度ベストティーチング賞受賞教員の授業について -更なる授業改善を目指して(第6報)-. 崇城大学紀要. 2023. 48. 99-112
麻田 直人, 中島 厚秀, 島津 直史, 山路 隆文, 津曲 紀宏, 宮本 秀一, 安楽 誠, スナイダ ベンジャミン. ベストティーチング賞受賞教員の授業について : 更なる授業改善を目指して. 崇城大学紀要. 2018. 43. 235-247
津曲 紀宏, 西澤 弘毅, 古澤 仁, ツマガリ ノリヒロ, ニシザワ コウキ, フルサワ ヒトシ, TSUMAGARI Norihiro, NISHIZAWA Koki, FURUSAWA Hitoshi. 二項多重関係の反射的推移的閉包の構成. 鹿児島大学理学部紀要=Reports of the Faculty of Science, Kagoshima University. 2009. 42. 1-9
学歴 (2件):
2009 - 2012 鹿児島大学 大学院理工学研究科 システム情報科学専攻
2007 - 2009 鹿児島大学 大学院理工学研究科 数理情報科学専攻
学位 (2件):
修士(理学) (鹿児島大学)
博士(理学) (鹿児島大学)
経歴 (5件):
2014/04 - 2015/03 東京大学 情報理工学系研究科
2013/04 - 2014/03 京都大学 数理解析研究所 大学等非常勤研究員
2012/07 - 2013/03 京都大学 数理解析研究所 研究員・ポスドク
2012/04 - 2012/06 鹿児島大学 大学院理工学研究科 大学等非常勤研究員
2010/04 - 2012/03 日本学術振興会 日本学術振興会特別研究員
所属学会 (3件):
国際数理科学協会
, 統計科学研究会
, 日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM