▽IPSJｶﾚﾝﾀﾞｰ
●06/08 07:21
要申込（ﾏｲﾍﾟｰｼﾞにて受付中)

▽ Monadically Speaking: Benjamin’s Adventures in PLT Wonderland
●06/08 00:22
Blog at WordPress.com.

▽理系大学院留学日記
●06/07 01:01
【ｲﾝﾀﾋﾞｭｰ】大学休学して良かったこと&大変だったことを経験者10人に聞いてみた結果…2023.12.062025.01.13精神的な病気で休学した結果｡ﾒﾘｯﾄ＆ﾃﾞﾒﾘｯﾄを体験談から解説｡大学休学はやめたほうがいいのか？2022.08.312025.01.15【10人の体験談】精神的な理由で大学休学に至るまでの経緯｡うつや人間関係のﾄﾗﾌﾞﾙなど…経験者に聞いてみた2023.10.112024.10.15

▽ reperiendi
●06/05 20:42
Blog at WordPress.com.

▽檜山正幸のｷﾏｲﾗ飼育記
●06/04 14:31
2025-06-04色々な包含的圏雑記／備忘包含的圏〈inclusive category〉の定義は人により色々です｡型理論やｲﾝｽﾃｨﾁｭｰｼｮﾝ理論に使うことを目的にして､包含的圏に関して整理しておきます｡$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\mbf}[1]…2025-06-03関係とﾌｧﾐﾘｰのあいだの関係雑記／備忘｢導出系： 反省と課題 // ｿｰﾄ付き集合の圏は変わる｣において､ｿｰﾄ付き集合達の圏 $`\mathbf{SortedSet}`$ を導入したのですが､その定義は関係をﾍﾞｰｽにしています｡関係をﾍﾞｰｽにした定義は､どうも分かりにくいし扱いにくいので､ﾌｧﾐﾘｰ〈集…色々な包含的圏関係とﾌｧﾐﾘｰのあいだの関係2025 /