▽檜山正幸のｷﾏｲﾗ飼育記 (はてなBlog)
●06/07 09:01 檜山正幸
2025-06-06型理論とｺﾝﾃｷｽﾀｯﾄﾞ： ｺﾝﾃｷｽﾄﾌﾙ射雑記／備忘ｶﾌﾟﾁ／ﾏｲﾔｰｽ〈Matteo Capucci, David Jaz Myers〉のｺﾝﾃｷｽﾀｯﾄﾞ（｢ｺﾝﾃｷｽﾀｯﾄﾞ､包括圏､ﾊｲﾊﾟｰﾄﾞｸﾄﾘﾝ｣参照）は､型理論と思いのほか相性がいいようです｡ちょっと驚いています｡型理論的概念である包括圏を､ﾃﾚｽｺｰﾌﾟ構成によ…型理論とｺﾝﾃｷｽﾀｯﾄﾞ： ｺﾝﾃｷｽﾄﾌﾙ射

▽ﾌﾛｼｷ
●06/05 16:02 ｻｲﾄｳﾕｳｷ
死神飯店の電子書籍12巻､配信始まりました更新情報死神飯店の電子書籍12巻､配信始まりました出版社が変わっているのでお気を付けください！配信ｻｲﾄや収録内容の紹介は特設ﾍﾟｰｼﾞからどうぞ！2025-06-02死神飯店の電子書籍12巻､配信始まりました

▽もりひろゆきの日々是勉強
●06/02 17:47 もりひろゆき
2025年6月12 3 4 5 6 7 89 10 11 12 13 14 1516 17 18 19 20 21 2223 24 25 26 27 28 2930

▽黒羽製作所
●06/02 08:38 黒羽
黒猫SPC 250101a

▽闇黒日記
●06/01 23:31 野嵜健秀
令和七年五月三十一日https://x.com/weekly_SPA/status/19272377680751618252025年6月3日･10日合併号 | MySPA！令和七年五月三十一日https://x.com/KazBowen/status/1927549838238900538