▽誰も居ない
●12/01 08:17
旅行記への関心が高まったのは､生成AIのことを考えたから旅行記記 | Log of Travelogue旅行記や体験記といったものの摂取量を増やしたいというﾏｲﾌﾞｰﾑから､3冊の旅行記を読んだ｡ ･panpanya『そぞろ各地探訪 panpanya旅行記集成』(https://amzn.to/3JYjjKc) 『魚社会』などの漫画を描いているpanpanyaの旅行記で､漫画や写真､文章が入り混じっている…霞と側杖を食らう千文字語｢本屋の前を通りかかったら1冊選ぶ｣ｷｬﾝﾍﾟｰﾝ中！もしかすると自分の方が楽しいかもしれないﾌﾞｯｸｻﾝﾀ去年からﾌﾞｯｸｻﾝﾀをしている｡ booksanta.charity-santa.com 自分も本が大好きだし､本がなかったら子供時代をどう乗り切ってたかわからないと思うので､1人でも多くの子供に本が渡ったらとても嬉しい｡良い企画だと思う｡ こっちと

▽::Eldesh a b = LEFT a | RIGHT b
●11/15 16:18
2025-11-12Agda によるｲﾝﾀﾗｸﾃｨﾌﾞ証明ﾂｰﾙ agda-tac を復旧したagda-tac とはagda-tac というﾂｰﾙを復旧したので紹介します｡agda-tac は ice1000*1 さんが作った､ Agda による定理証明を REPL 上で行うための(ﾄｲ)ﾂｰﾙです｡Rust製です｡agda-tac の仕組みAgda には emacs の agda-mode などから使用するためにｴﾃﾞｨﾀ用のｲﾝﾀｰﾌｪｰｽ(agda --interact-json)があり､これを使用します｡実は ice1000 さんは Agda 側の実装にも手を入れているのでそちら側にも詳しそうです｡復旧このﾂｰﾙはやや古い agda と rust に依存した部分があり動かなくなっていたため､新しめのﾊﾞｰｼﾞｮﾝ{agda 2.6, 2.7, 2.8} x {rust 1

▽Life like a clown
●09/27 03:53
CubePDF 4.2.0 をﾘﾘｰｽしました｡修正･変更点は下記の通りです｡ Web 表示用に最適化する機能を削除 その他の修正 CubePDF 4.3.0 以降の更新 4.3.3 (2025-09-26) 4.3.2 (2025-06-11) 4.3.1 (2025-04-09) 4.3.0 (2024-12-20) Web 表示用に最適化する機能…

▽牌語備忘録
●09/14 04:50
この広告は､90日以上更新していないﾌﾞﾛｸﾞに表示しています｡

▽しょんぼり技術ﾒﾓ
●09/10 23:52
この広告は､90日以上更新していないﾌﾞﾛｸﾞに表示しています｡