藤井 宗一郎

基本情報

所属

国立情報学研究所

ORCID iD

https://orcid.org/0000-0002-4109-3472

J-GLOBAL ID

202601008721786197

researchmap会員ID

R000100612

研究キーワード

• 圏論
• 理論計算機科学

研究分野

• 情報通信 / 数理情報学 /
• 情報通信 / 情報学基礎論 /
• 自然科学一般 / 代数学 / 圏論

経歴

• 2026年7月 - 現在

  国立情報学研究所, 特任助教
• 2025年9月 - 2026年6月

  国立情報学研究所, 特任研究員
• 2024年9月 - 2025年8月

  Masaryk 大学, Department of Mathematics and Statistics, 研究員
• 2022年8月 - 2024年8月

  Macquarie 大学, School of Mathematical and Physical Sciences, 客員研究員 (日本学術振興会海外特別研究員)
• 2019年4月 - 2022年7月

  京都大学, 数理解析研究所, 研究員

学歴

• 2016年4月 - 2019年3月

  東京大学, 大学院情報理工学系研究科, コンピュータ科学専攻
• 2014年4月 - 2016年3月

  東京大学, 大学院情報理工学系研究科, コンピュータ科学専攻
• 2010年4月 - 2014年3月

  東京大学, 工学部, 計数工学科

論文

• Monads and distributive laws in substructural contexts

  Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute, Ichiro Hasuo

  Proceedings of the 41st Annual Symposium on Logic in Computer Science (LICS 2026) Leibniz International Proceedings in Informatics (LIPIcs) 380 45 2026年7月 査読有り
• Nerves of generalized multicategories

  Soichiro Fujii, Stephen Lack

  Advances in Mathematics 491 110862 2026年5月 査読有り
• Homotopy types of Hom complexes of graph homomorphisms whose codomains are square-free

  Soichiro Fujii, Kei Kimura, Yuta Nozaki

  European Journal of Combinatorics 131 104238 2026年1月 査読有り
• ω-weak equivalences between weak ω-categories

  Soichiro Fujii, Keisuke Hoshino, Yuki Maehara

  Advances in Mathematics 480 110490 2025年11月 査読有り
• Homotopy types of Hom complexes of graph homomorphisms whose codomains are cycles

  Soichiro Fujii, Yuni Iwamasa, Kei Kimura, Yuta Nozaki, Akira Suzuki

  Journal of Applied and Computational Topology 9(3) 21 2025年9月 査読有り
• Weakly invertible cells in a weak $\omega$-category

  Soichiro Fujii, Keisuke Hoshino, Yuki Maehara

  Higher Structures 8(2) 386-415 2024年11月 査読有り
• The oplax limit of an enriched category

  Soichiro Fujii, Stephen Lack

  Theory and Applications of Categories 40 390-412 2024年5月 査読有り
• Algorithms for Coloring Reconfiguration Under Recolorability Digraphs.

  Soichiro Fujii, Yuni Iwamasa, Kei Kimura, Akira Suzuki

  Proceedings of the 33rd International Symposium on Algorithms and Computation (ISAAC 2022) Leibniz International Proceedings in Informatics (LIPIcs) 248 4 2022年12月 査読有り
• Quantaloidal Approach to Constraint Satisfaction

  Soichiro Fujii, Yuni Iwamasa, Kei Kimura

  Proceedings of the 4th International Conference on Applied Category Theory (ACT 2021) Electronic Proceedings in Theoretical Computer Science 372 289-305 2022年11月 査読有り
• Hom weak ω-categories of a weak ω-category

  Thomas Cottrell, Soichiro Fujii

  Mathematical Structures in Computer Science 32(4) 420-441 2022年4月 査読有り
• Completeness and injectivity

  Soichiro Fujii

  Topology and its Applications 301 107503 2021年9月 査読有り
• A unified framework for notions of algebraic theory

  Soichiro Fujii

  Theory and Applications of Categories 34 1246-1316 2019年11月 査読有り
• Foundations of Algebraic Theories and Higher Dimensional Categories

  Soichiro Fujii

  博士論文(東京大学大学院情報理工学系研究科) 2019年3月
• Higher Dimensional Categories: Induction on Extensivity

  Thomas Cottrell, Soichiro Fujii, John Power

  Proceedings of the 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV) Electronic Notes in Theoretical Computer Science 341 73-90 2018年12月 査読有り
• Enriched and internal categories: an extensive relationship

  Thomas Cottrell, Soichiro Fujii, John Power

  Tbilisi Mathematical Journal 10(3) 239-254 2017年6月 査読有り
• A 2-Categorical Study of Graded and Indexed Monads

  Soichiro Fujii

  修士論文(東京大学大学院情報理工学系研究科) 2016年3月
• Towards a Formal Theory of Graded Monads

  Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès

  Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016) Lecture Notes in Computer Science 9634 513-530 2016年3月 査読有り
• A Categorical Approach to L-Convexity

  Soichiro Fujii

  卒業論文(東京大学工学部) 2014年3月

MISC

• $ω$-equifibrations between strict and weak $ω$-categories

  Soichiro Fujii, Keisuke Hoshino, Yuki Maehara

  2025年11月13日
• The familial nature of enrichment over virtual double categories

  Soichiro Fujii, Stephen Lack

  2025年7月7日
• Ordered semirings and subadditive morphisms

  Soichiro Fujii

  2023年11月7日
• Enriched categories and tropical mathematics

  Soichiro Fujii

  2020年5月18日
• Introduction to universal algebra and clones

  Soichiro Fujii

  2020年4月23日

書籍等出版物

• 数学セミナー 2025 年 11 月号

  藤井 宗一郎 (担当:分担執筆, 範囲:豊穣圏とはなんですか)

  日本評論社 2025年11月
• 圏論の地平線

  西郷 甲矢人, 藤井 宗一郎 (担当:分担執筆, 範囲:豊穣圏の広がり)

  技術評論社 2022年12月 (ISBN: 9784297131500)

講演・口頭発表等

• Monads and distributive laws in substructural contexts

  Soichiro Fujii

  The 41st Annual Symposium on Logic in Computer Science (LICS 2026) 2026年7月22日
• Nerves of T-categories and powerful T-functors

  Soichiro Fujii

  Online ALT seminar 2026年5月4日 招待有り
• Virtual double categorical construction of a 2-dimensional model of differential linear logic

  Soichiro Fujii

  Symposium on differentiation in category theory and program semantics 2026年4月6日 招待有り
• T 圏の脈体について

  Soichiro Fujii

  代数トポロジー若手情報交換会 2026年3月28日 招待有り
• Monads and Distributive Laws in Substructural Contexts

  Soichiro Fujii

  CSCAT 2026 2026年3月17日
• Hom complexes of graph homomorphisms

  Soichiro Fujii

  トポロジーとコンピュータ 2025 2025年12月6日
• Nerves of T-categories

  Soichiro Fujii

  ItaCa Fest 2025年10月21日 招待有り
• Enrichment and families over virtual double categories

  Soichiro Fujii

  Category Theory 2025 2025年7月15日
• Exponentiability via nerves

  Soichiro Fujii

  Kyoto Category Theory Meeting 2025年2月12日
• Hom complexes of graph homomorphisms and square-free graphs

  Soichiro Fujii

  KTGU Special Lectures 2025年2月7日 招待有り
• Monad theory through enrichment

  Soichiro Fujii

  109th Peripatetic Seminar on Sheaves and Logic 2024年11月15日
• Enrichment preserves fibrations

  Soichiro Fujii

  The 67th Annual Meeting of the Australian Mathematical Society (AustMS 2023) 2023年12月7日
• Ordered semirings and subadditive morphisms

  Soichiro Fujii

  The 7th Australian Algebra Conference 2023年11月23日
• The oplax limit of an enriched category

  Soichiro Fujii

  The 66th Annual Meeting of the Australian Mathematical Society (AustMS 2022) 2022年12月8日

担当経験のある科目(授業)

• 2025年2月 - 2025年5月

  Introduction to enriched categories (Masaryk 大学)

学術貢献活動

• Pacific Category Theory Seminar 運営

  企画立案・運営等, パネル司会・セッションチェア等

  2025年12月 - 現在
• Categories in Tokyo 運営

  企画立案・運営等

  2025年11月 - 現在
• Australian Category Seminar 運営

  企画立案・運営等, パネル司会・セッションチェア等

  2023年2月 - 2024年8月