▽檜山正幸のｷﾏｲﾗ飼育記
●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 /

▽栄養成分表示検討会
●04/09 18:10
2011-05-31第5回･6回検討会しばらく更新をさぼっておりました｡5.6回と続けて開催され､次回はもう報告書案が提示されることになります｡5･6回はなんとなくおさらいということで論点がつかみにくい話が多かったのですが､事務局が提示した｢委員発表等の概要｣を見て頂ければ報告書案の姿が予想できるのではないでしょうか｡時間がない人は､これまでの議事録を読まなくてもこれだけ見ればいいと思います｡最終的には報告書に何が盛り込まれるかが大切なので､注目している人はこれからが大事でしょう｡ただ表示を義務化するのかしないのかということ一つとっても､委員会で合意が得られているという感じはしなかったです｡どうやってまとめるんだろう？というのが正直な感想です｡個人的には将来に向けてこういう方向性で､という提言で十分だとは思っているのですが｡uneyama 2011-05-31 18:01 読者

▽白のｶﾋﾟﾊﾞﾗの逆極限 S.144-3
●03/15 07:38
2022-01-20焼き鳥屋で刑法学者と意気投合してｺｲﾝﾊｲﾌﾞ事件について書き出すだけの難儀なお仕事

▽ｼﾝｷﾞｭﾗﾘﾃｨ教徒への論駁の書
●03/28 08:36
ｼﾝｷﾞｭﾗﾘﾃｨ教徒への論駁の書読者になる