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

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

▽haru-sの日記
●05/10 18:08
2025-05-08DFL: ﾘｿｰｽﾌｧｲﾙ読み込みのｻﾝﾌﾟﾙｺｰﾄﾞD言語ようやく dfl.resources ﾓｼﾞｭｰﾙのｻﾝﾌﾟﾙｺｰﾄﾞに着手した｡ﾘｿｰｽｺﾝﾊﾟｲﾗ rc.exe が必要なので､この記事のｺｰﾄﾞは､Visual Studio がｲﾝｽﾄｰﾙされていないと実行できない｡ﾘｿｰｽのﾊﾞｲﾅﾘﾌｧｲﾙもﾘﾎﾟｼﾞﾄﾘに含めてあるので､ﾌﾟﾛｼﾞｪｸﾄ全体をこちらからﾀﾞｳﾝﾛｰﾄﾞして試した方がよい｡https://github.com/Rayerd/dfl/tree/master/examples/resourcessample.rc ﾘｿｰｽﾌｧｲﾙこういうﾘｿｰｽﾌｧｲﾙを作成したとする｡256 ICON "image/icon.ico" 257 BITMAP "image/dman-error.bmp" 258 RCDATA{ "Here is an ANSI

▽Inemuri nezumi diary
●05/06 13:34
このﾄﾞﾒｲﾝを購入する｡ | More domains at Seo.Domains

▽@ch3cooh の絵日記　技術ﾈﾀは ch3cooh.jp までどうぞ
●05/01 14:15
2025-04-30DevelopersIOで2025年04月に執筆した記事開発技術系の記事はDevelopersIOで執筆することにした｡一方､すぐに修正されそうなﾄﾋﾟｯｸやﾜｰｸｱﾗｳﾝﾄﾞ的な内容は記事の寿命が短くなる可能性があるため､引き続き｢酢ろぐ！｣で書くことにしている｡ 毎月の終わりに､DevelopersIOで執筆した記事へのﾘ…