▽p-diary
●06/06 03:42
1 病気･闘病2 ﾌｨｷﾞｭｱ3 韓国語4 歴史5 語学6 教育･学校7 ｹﾞｰﾑ8 ｺｽﾌﾟﾚ9 発達障害10 鉄道･飛行機

▽妖精現実 ﾌｪｱﾘｱﾙ
●06/05 20:42
2025-06-04 根の5乗和の応用例（その2）問題3 a + b + c = 0 を満たす任意の実数 a, b, c について､ 2(a5 + b5 + c5) = 5abc(a2 + b2 + c2) が成り立つことを示せ｡〔例〕　a = 3, b = −2, c = −1　⇒　左辺 2⋅(243 − 32 − 1) = 2⋅210 と右辺 5⋅6⋅(9 + 4 + 1) = 30⋅14 は等しい｡a + b + c = 0 という条件で a5 + b5 + c5 ないし a7 + b7 + c7 を基本対称式･べき和対称式の積として表す問題が5ﾊﾟﾀｰﾝほどある｡→ 続きを読む問題 a + b = 4 かつ a5 + b5 = 464 のとき､ a と b の値は？2025-06-04 根の5乗和の応用例（その2）

▽檜山正幸のｷﾏｲﾗ飼育記
●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 /

▽Sutter’s Mill
●06/04 13:32
Join 5,369 other subscribers

▽高木浩光＠自宅の日記
●05/19 13:05
2025年05月18日■ AI法案の国会審議で担当大臣が｢我が国においても個人情報保護法等により規制されており｣と答弁してしまう3月6日の日記｢日本のAI法制：概念的基盤と実効性の課題 ｲﾝﾌｫｸﾞﾗﾌｨｯｸ｣が目にとまったようで､TOKYO MXの番組｢田村淳のｷｷﾀｲ！｣からお呼びがかかり､5月10日の生放送に出演してきた｡見逃し配信が明日17時まで以下で視聴できる｡番組の構成上､冒頭の気になったﾆｭｰｽにｺﾒﾝﾄしなくてはならなかったが*1､それはともかく､本題は10:12から始まる｡田村淳のｷｷﾀｲ！ 成立と同時に時代遅れ？ どうなる『AI法案』 日本のAI開発の今後と懸念点（5月19日(月)17:00 終了予定）話の流れはこう展開した｡日本がAIの活用で遅れている原因､何がﾘｽｸなのか明確にされていないので､過剰に心配しているのではないか｡EUはちゃんと何が危険かを見定