▽みやざきの雑感帳
●06/08 06:41
【11/18】goo blogｻｰﾋﾞｽ終了のお知らせ

▽弁護士　奥村　徹(大阪弁護士会)の見解
●06/06 01:04
2025-06-05大阪高裁r3.7.14（高等裁判所刑事裁判速報集（令3）号403頁）は送信させ保存した行為をわいせつ行為とするものではない大阪高裁r3.7.14（高等裁判所刑事裁判速報集（令3）号403頁）は送信させ保存した行為をわいせつ行為とするものではない最近この大阪高裁判決を引用して､｢送信させ･保存し｣も猥褻行為だという検察官がいるんですが､間違っていますよ｡大阪高裁事件の､強制わいせつ罪（176条後段）の訴因は｢陰部､乳房等を露出した姿態をとらせ､これを同人が使用する前記ﾀﾌﾞﾚｯﾄ端末で撮影させ､もって13歳未満の者に対し､わいせつな行為をし｣ということで､起訴されたのは撮影行為までです｡高裁判決でも送信･保存まではわいせつ行為とされてないという判断になっています｡【判例ID】28302776【裁判年月日等】令和3年7月14日／大阪高等裁判所／第6刑事部／判決

▽檜山正幸のｷﾏｲﾗ飼育記
●06/04 14:31
2025-06-04色々な包含的圏雑記／備忘包含的圏〈inclusive category〉の定義は人により色々です｡型理論やｲﾝｽﾃｨﾁｭｰｼｮﾝ理論に使うことを目的にして､包含的圏に関して整理しておきます｡$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\mbf}[1]…2025-06-03関係とﾌｧﾐﾘｰのあいだの関係雑記／備忘｢導出系： 反省と課題 // ｿｰﾄ付き集合の圏は変わる｣において､ｿｰﾄ付き集合達の圏 $`\mathbf{SortedSet}`$ を導入したのですが､その定義は関係をﾍﾞｰｽにしています｡関係をﾍﾞｰｽにした定義は､どうも分かりにくいし扱いにくいので､ﾌｧﾐﾘｰ〈集…色々な包含的圏関係とﾌｧﾐﾘｰのあいだの関係2025 /

▽ABAの日誌
●06/04 07:18
2025-06-01ﾊﾞｲﾌﾞｽがｹﾞｰﾑを作り､ﾊﾞｲﾌﾞｽがｹﾞｰﾑを壊す｢こんな雰囲気のｹﾞｰﾑを作りたい｣という､言葉にならない｢ﾊﾞｲﾌﾞｽ｣をAIに伝えれば､ｱｲﾃﾞｱが形になる｡そんな目標を目指し｢Vibe Game Coding Testbed (VGCT)｣という実験的なﾌﾟﾗｯﾄﾌｫｰﾑを作ってみた｡ASCII文字が描く極めて限定的なﾃｷｽﾄ空間で､AIｺｰﾃﾞｨﾝｸﾞｴｰｼﾞｪﾝﾄと共に､ｹﾞｰﾑのｱｲﾃﾞｱを具体的なﾌﾟﾚｲｱﾌﾞﾙなｹﾞｰﾑへと実装する｡その過程で味わった､AIｹﾞｰﾑ開発の独特な｢楽しさ｣と｢苦しさ｣について書いてみたい｡VGCTを構想した背景には､LLMを用いたｹﾞｰﾑ開発ﾌﾟﾛｾｽへの関心がある｡今回は､ﾃｷｽﾄﾍﾞｰｽのｹﾞｰﾑという強い制約を与えることで､LLMがその能力を発揮しやすくなるか､という点に着目してみた｡ｹﾞｰﾑの状態をﾃｷｽﾄで表現できれば､LLMによる解釈､分析､

▽投資銀行での理系のｷｬﾘｱ
●06/03 18:55
2025年06月01日5月最終週の株式市場は､さまざまな懸念材料が浮上する中でも底堅さを見せ､S&P500は週間で+1.9%､日経平均も+2.2%と上昇した｡依然として､ﾄﾗﾝﾌﾟ大統領の通商政策を巡る動きが市場を動かしている｡最近は､TACO（=Trump Always Chickens Out）と煽られており､どうせ威勢のいいこと言っても後で引っ込めると思われていたところ､それに怒ったようで､鉄鋼およびｱﾙﾐﾆｳﾑに対する関税を現行の2倍である50%に引き上げると表明した｡そして､日鉄のUSｽﾁｰﾙ買収であるが､米国政府が重要事項の決定に拒否権を持つ｢黄金株｣を取得するなど､日鉄にとって極めて不利な条件が課されるとの憶測も報じられている｡週末の日曜深夜（日本時間）､ｳｸﾗｲﾅがﾛｼｱ国内に爆撃ﾄﾞﾛｰﾝを乗せたﾄﾗｯｸを秘密裏に侵入させ､複数の空軍基地に対し､大規模なﾄﾞﾛｰﾝ攻撃を行