▽* log *
●05/11 12:30
last update : 2025.May.102025.May.10 Sat 普段通りに起床｡午前中､ちょっと仕事｡めちゃ簡単に変更で､無事､ｻｰﾋﾞｽをﾃﾞﾌﾟﾛｲできた｡午後､物件ﾁｪｯｸ｡夜のんびり｡朝｡『 ﾄﾗﾝﾌﾟ氏｢大きな進展があった！｣と投稿　米中貿易協議で歩み寄りか｢友好的な雰囲気｣ 』『本日､非常にすばらしい会談がｽｲｽで行われた｡多くのことが話し合われ､多くの合意が得られた』なんだかんだでｱﾒﾘｶ主導になっているのが興味深い｡『 ｸﾙｰｽﾞ船は｢大きければ大きいほど良い｣　大型化ﾌﾞｰﾑに終焉はあるのか 』『本質的には水上都市』いやあ､本当にちょっとした街よりも大きいと思う｡『 中国の人事部長､22人の｢幽霊社員｣で3億円横領…8年続いた驚きの手口 』『事件が発覚したのは､半年間も一日も休まず出勤していた"社員"に経理担当者が疑問を持ったのがきっかけで

▽檜山正幸のｷﾏｲﾗ飼育記
●05/10 06:29
2025-05-09随伴系の十項目（ｼｮｰﾄﾁｰﾄｼｰﾄ）雑記／備忘随伴系〈adjunction | adjoint system〉は左関手と右関手のﾍﾟｱとして､$`F \dashv U`$ のように書かれることが多いですが､これらは随伴系という構造の下っ端なﾔﾂﾗです｡注目すべきは､以下のﾓﾉとｺﾄです｡$`\newcommand{\cat}[1]{\mathcal{#1}} \new…随伴系の十項目（ｼｮｰﾄﾁｰﾄｼｰﾄ）

▽ときどきの雑記帖 ﾘﾀｰﾝｽﾞ
●05/08 03:37
ProtectorMermaid flowchart描かせたときに､例えば分岐の線が直線じゃなくて曲線になるのが どうにも受け入れがたいのだけど､世間的にはそうじゃないんだろ

▽Planet Scheme
●05/07 21:12
Tuesday, May 6, 2025spritely.instituteHoot 0.6.1 released!We are excited to announce the release of Hoot 0.6.1! Hootis a Scheme to WebAssembly compiler backend for Guile, as well as a general purposeWebAssembly toolchain. In other words, Scheme in the browser!This small patch release contains bug fixes and a few new featuresto play.Codeberg thatyou can clone. It takes care of all the b

▽tabesugi.net
●05/06 05:58
May. 2025Last Modified: Mon May 5 07:35:18 UTC 2025気がついたら 2025-05-05 [Mon] 16:00また1ヶ月たってた｡正直､ここにLLMの愚痴ばっかり書きたくないのだが…LinkedInなぞを見ていると (そんなもん見るな! そもそも)｢AI Apologetics｣とでも言う人々がこれほど多いのにおどろく｡そしてまた謎が多い｡｢AIで生産性が爆上がりした!｣って言ってる人々のうち､AIを使って(単なるﾃﾞﾓでない)実際の業務をしているのを見たことがない｡もちろん業務上の秘密があるからそんなことはそうそうできるはずないのだが､新山はより大きな理由は｢それを見せてしまうと大したことないのがﾊﾞﾚるから｣だと思っている｡思うに｢AIによる生産性向上｣ってのは､中学生にとっての◯◯◯みたいなもんだ｡誰もがそれに対