▽あっきぃ日誌
●07/29 07:55
2025-07-28C106新刊｢あっきぃのﾗｽﾞﾋﾟｯﾋﾟいじり 2025.8｣RasPi ｺﾐｹ夏ｺﾐの新刊のﾃﾞｰﾀ入稿がやってできました（まだ送っただけで連絡待ち）｡ﾀｲﾄﾙは｢あっきぃのﾗｽﾞﾋﾟｯﾋﾟいじり 2025.8｣です｡1年ぶりのﾗｽﾞﾋﾟｯﾋﾟいじりですね｡初の50ﾍﾟｰｼﾞ超えで､56ﾍﾟｰｼﾞになってしまいました｡書きすぎや！今回は過去作からｻｲﾈｰｼﾞの話と､PimoroniのBlinkt!で遊ぶ話を掘り返してきて､最新版にｱｯﾌﾟﾃﾞｰﾄ､つまり基本的に全部書き直しました｡ｻｲﾈｰｼﾞのやつは､Waylandになり､labwcになり､手順がだいぶ変わったので､今度から自分が読み返すやつはこれになりそうです｡最近の工作もしっかり盛り込んでおきました｡Misskeyのﾘｱｸｼｮﾝﾓﾆﾀｰもあります｡ｻｲﾈｰｼﾞの章とこれだけで30ﾍﾟｰｼﾞくらいになってます｡やばい｡冬ｺﾐはPCD8544で1

▽ABAの日誌
●07/28 11:13
2025-07-22AIが作るｹﾞｰﾑを見てそれが何のｹﾞｰﾑか分かるかｹﾞｰﾑVibe CodingでAtari BASIC用ｲﾝﾍﾞｰﾀﾞｰｹﾞｰﾑを作ろうと思ってうまくいかなかった話｡いやでもこれはAtari BASICというちょっと特殊な環境､特にｸﾞﾗﾌｨｯｸｽ周りの扱いが難しくてうまくいってないだけのように思う｡最近のLLMは十分に優秀で､ｽﾍﾟｰｽｲﾝﾍﾞｰﾀﾞｰのような古典的で有名なｹﾞｰﾑを作るのは造作もないはず｡ﾌﾟﾛﾝﾌﾟﾄから一撃で出てくるｹﾞｰﾑを見ても､ああこれはあのｹﾞｰﾑだな､というのはすぐに分かるだろう｡という前提があっての｢AIが作るｹﾞｰﾑを見てそれが何のｹﾞｰﾑか分かるかｹﾞｰﾑ｣だ｡AIﾁｬｯﾄﾎﾞｯﾄに｢〇〇を作って｣といって最初に出してきたｹﾞｰﾑ（ﾌﾟﾛｸﾞﾗﾑ）を見て､果たして人間はそれがなんのｹﾞｰﾑか分かるだろうか｡ﾙｰﾙ問題：ClaudeのWindowsｱﾌﾟﾘに以下の

▽ablog
●07/23 09:33
2025-07-23時系列ﾃｰﾌﾞﾙを UNION ALL した View を結合する際のｵﾍﾟﾚｰｼｮﾝAWS RedshiftAmazon Redshift で View に対するｸｴﾘのﾌｨﾙﾀ条件の push down について検証してみた - ablogと関連して､時系列ﾃｰﾌﾞﾙを UNION ALL した View 経由で他のﾃｰﾌﾞﾙと結合した場合と View 内のﾃｰﾌﾞﾙを直接結合した場合のｵﾍﾟﾚｰｼｮﾝを比較してみた｡UNION ALL している View 経由で結合必要なﾃｰﾌﾞﾙのみ読込んでいる（order1､order2）HASH JOIN で結合しているﾃｰﾌﾞﾙを直接結合HASH JOIN で結合しているworkmem の合計は View 経由で結合したほうが多いということはない｡検証手順･結果UNION ALL している View 経由で結合=

▽やねうら王 公式ｻｲﾄ | ｺﾝﾋﾟｭｰﾀｰ将棋 やねうら王 公式ｻｲﾄ
●07/19 20:02
将棋AIの大会をめちゃめちゃにできる定跡が発見された に やねうらお より将棋AIの大会をめちゃめちゃにできる定跡が発見された に ﾑｸﾎｰｸ大好き より

▽檜山正幸のｷﾏｲﾗ飼育記
●07/19 06:00
2025-07-18圏論的構造のﾄﾞﾘﾙﾀﾞｳﾝ雑記／備忘簡単な呼び名･言い回しで実は複雑な内容を語っていることがあります｡簡単な呼び名･言い回しを､ﾄﾞﾘﾙﾀﾞｳﾝ（だんだん詳細化する）方式で分析してみましょう｡例えば｢小さな圏の圏の2-圏｣は､けっこう複雑な内容を表しています｡$`\newcommand{\cat}[1…2025-07-17演繹とは何なのか？ 計算可能な図式間関数雑記／備忘｢判断的ｾｵﾘｰと判断計算｣で紹介したｺﾗﾘｱ／ﾃﾞｨ-ﾘﾍﾞｰﾙﾃｨの論文 "Context, Judgement, Deduction" は､｢演繹〈deduction〉とは何なのか？｣をﾃｰﾏにしています｡｢ﾒﾘｽ／ｼﾞﾙﾊﾞｰｶﾞｰの圏論的判断計算｣で紹介したﾒﾘｽ／ｼﾞﾙﾊﾞｰｶﾞｰの論…｢属性付き2-ｸﾞﾗﾌのｽﾉｰｸﾞﾛｰﾌﾞ現象｣に書いたように､属性付き2-ｸﾞﾗﾌではﾒﾀ巡回〈循環〉的状況が生じます