▽ｼﾝｾｻｲｻﾞｰを使って楽曲作り
●01/08 20:04
2025 著作権. 不許複製

▽basyura
●01/08 19:42
2025-01-07Inkdrop - ﾘｽﾄのｽﾀｲﾙinkdropMarkdown で使う頻度が高いﾘｽﾄ記法の * と - のどちらも違和感があって､ ･ で表示したいと前々から思っていた (Bear.app がそうだった､はず)｡ようやくできた｡満足度が高い｡編集ﾓｰﾄﾞとﾌﾟﾚﾋﾞｭｰﾓｰﾄﾞでｽﾀｲﾙを合わせているのもあって､どちらで表示してるか分からなくなることがたまにあったりする｡.cm-formatting-list-ul { color: transparent; } .cm-formatting-list-ul::before { content: "•"; margin-right: -7px; color: #fac4fe !important; }before after画像だと分かりづらすぎるけど､ * を入力したあとに (ｽﾍﾟｰｽ) を入力すると ･

▽檜山正幸のｷﾏｲﾗ飼育記
●01/08 19:40
2025-01-07亜集合の同型と同値雑記／備忘集合とその上の同値関係を一緒にした構造を亜集合〈setoid〉といいます｡亜集合を特別な圏（やせた亜群）とみなすことにより､亜集合に圏論的概念を適用できます｡｢2つの亜集合が同値（同型とは別な概念）であることは､商集合が同型であることと同じ｣を示…亜集合の同型と同値

▽日々の記録 / recording of everyday life
●01/08 19:07
12 years ago

▽CodeZine
●01/08 19:05
GMOｲﾝﾀｰﾈｯﾄｸﾞﾙｰﾌﾟ､生成AI活用率が88.6％に｡2024年は計150万時間超の業務を削減ﾗｲﾌｽﾃｰｼﾞが変われば目指すｷｬﾘｱも変わっていく？──仕事と育児､どちらにも無理なくﾌｨｯﾄした環境を手に入れるにはDevelopers X Summit 2024 ｾｯｼｮﾝﾚﾎﾟｰﾄ生成AIでは対応が難しい検索もある？ Elasticsearchが語るこれからの｢検索｣のﾎﾟｲﾝﾄWomen Developers Summit 2024 ｾｯｼｮﾝﾚﾎﾟｰﾄﾗｲﾌｽﾃｰｼﾞが変われば目指すｷｬﾘｱも変わっていく？──仕事と育児､どちらにも無理なくﾌｨｯﾄした環境を手に入れるにはDevelopers X Summit 2024 ｾｯｼｮﾝﾚﾎﾟｰﾄ生成AIでは対応が難しい検索もある？ Elasticsearchが語るこれからの｢検索｣のﾎﾟｲﾝﾄWomen Developers S