▽檜山正幸のｷﾏｲﾗ飼育記
●06/14 06:32
2025-06-13選択的ﾌｧｲﾌﾞﾚｰｼｮﾝ部分圏雑記／備忘圏の恒等射だけで部分圏ができます｡が､この部分圏はﾌｧｲﾌﾞﾚｰｼｮﾝｸﾗｽにはなりません｡包含的圏（｢色々な包含的圏｣参照）の包含射達は部分圏を形成しますが､これもﾌｧｲﾌﾞﾚｰｼｮﾝｸﾗｽにはなりません｡圏のﾌｧｲﾌﾞﾚｰｼｮﾝｸﾗｽの定義…選択的ﾌｧｲﾌﾞﾚｰｼｮﾝ部分圏

▽仕様検証ｸﾞﾙｰﾌﾟ - TrueLogic 仕事日記
●05/25 16:17
【復旧済み】人力検索はてなにつながりにくくなる障害が発生していました2025 / 5

▽仕様検証ｸﾞﾙｰﾌﾟ - tk80の日記
●05/24 16:29
【復旧済み】人力検索はてなにつながりにくくなる障害が発生していました2025 / 5

▽仕様検証ｸﾞﾙｰﾌﾟ - Software Abstractions
●05/24 02:27
【復旧済み】人力検索はてなにつながりにくくなる障害が発生していました2025 / 5

▽にわとり小屋でのﾌﾟﾛｸﾞﾗﾐﾝｸﾞ日記
●03/21 20:39
ｿｰｽｺｰﾄﾞ全体: https://github.com/yoshihiro503/rocq-amidakuji