▽検証的なｱﾝﾃﾅ
●11/21 22:26
2024/11/21 20:59:21 はてなﾌﾞｯｸﾏｰｸ - ﾀｸﾞ 形式手法AIｴﾝｼﾞﾆｱ･安野氏､都ｱﾄﾞﾊﾞｲｻﾞｰ就任　都知事選で15万票獲得 | 毎日新聞155 users175 usersGoogle社内には｢裁判の証拠となる文書を保存しない文化｣が存在し｢社内ﾁｬｯﾄの履歴削除｣｢FAXでの連絡｣｢危ない単語の使用禁止ﾚｸﾁｬｰ｣などが実施されている67 users110 users48 users72 usersｵｰﾌﾟﾝｿｰｽから学んだ10の教訓-

▽Coqとは - はてなｷｰﾜｰﾄﾞ
●11/21 20:48 [Coq]
ｼｭｰﾌｨｯﾀｰこまつ＠毎日靴ﾌﾞﾛｸﾞ•15時間前camellia-kmy74のﾌﾞﾛｸﾞ•8日前

▽ﾗﾑﾀﾞ計算とは - はてなｷｰﾜｰﾄﾞ
●11/21 11:40
魂の生命の領域•5日前た－くんの狂人日記•10日前(新) 檜山正幸のｷﾏｲﾗ飼育記 ﾒﾓ編•24日前

▽檜山正幸のｷﾏｲﾗ飼育記
●11/14 05:43
2024-11-13複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏雑記／備忘｢論理や型理論の圏論的意味論 // 導出ｼｽﾃﾑの圏と圏の圏｣において､導出ｼｽﾃﾑ達を対象とする圏に触れました｡しかし､導出ｼｽﾃﾑのあいだの準同型射（それが圏の射となる）を素朴に考えていては､どうもうまくないようです｡導出ｼｽﾃﾑは､複圏…複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏

▽yoshihiro503の日記 - ocaml-nagoyaｸﾞﾙｰﾌﾟ
●10/29 03:39
【完了】10月28日（月）6:00-7:00　ﾃﾞｰﾀﾍﾞｰｽﾒﾝﾃﾅﾝｽ実施に伴うはてな各ｻｰﾋﾞｽ停止についてのお知らせ