▽檜山正幸のｷﾏｲﾗ飼育記
●05/14 08:06
2025-05-12型を命題にｸﾗｯｼｭさせる： ﾀﾞｲｱﾓﾝﾄﾞ･ｵﾍﾟﾚｰﾀｰの由来雑記／備忘｢おｰ､$`\Delta`$ と $`\nabla`$ を組み合わせたら $`\diamondsuit`$ になるな､むふふふふ｣と､ﾀﾞｼﾞｬﾚな記法を思いついて悦にいっている今日このごろ｡何の話かというと； ｶﾘｰ／ﾊﾜｰﾄﾞ／ﾗﾝﾍﾞｯｸ対応によれば､型と命題は事実上同じものなので…型を命題にｸﾗｯｼｭさせる： ﾀﾞｲｱﾓﾝﾄﾞ･ｵﾍﾟﾚｰﾀｰの由来

▽はてなﾌﾞｯｸﾏｰｸ - 知識の断片
●05/14 00:10
今週のはてなﾌﾞｯｸﾏｰｸ数ﾗﾝｷﾝｸﾞ（2025年5月第2週）2025/05/13ﾗﾝｷﾝｸﾞ

▽はてなﾌﾞｯｸﾏｰｸ - HiromitsuTakagiのﾌﾞｯｸﾏｰｸ
●05/13 23:05
今週のはてなﾌﾞｯｸﾏｰｸ数ﾗﾝｷﾝｸﾞ（2025年5月第2週）2025/05/13ﾗﾝｷﾝｸﾞ

▽ときどきの雑記帖 ﾘﾀｰﾝｽﾞ
●05/13 05:15
御先祖様万歳Zｶﾞﾝﾀﾞﾑ＠ﾃﾚ玉 ｢大気圏突入｣ そういやｴﾏさん､ﾘｯｸﾃﾞｨｱｽ(ｸﾜﾄﾛｶﾗｰ)に乗ってんだよね｡ ﾊﾞﾘｭｰﾄ ｢落ちろ蚊ﾄﾝﾎﾞ｣ ﾒｯｻｰﾗ ﾓ

▽はじめてのにき
●05/12 19:28
2025-05-12_ 怪文書https://x.com/raykataoka/status/1921543179096186946https://web.archive.org/web/20250511053234/https://anond.hatelabo.jp/20250511130044https://anond.hatelabo.jp/20250512001555なんかすごいことやっているな……(13:37)[ﾂｯｺﾐを入れる]