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

▽とね日記
●05/10 01:31 宇宙論ﾌﾟﾛｼﾞｪｸﾄ
【PR】ﾌﾟﾛ直伝･dﾎﾟｲﾝﾄをｻﾞｸｻﾞｸためる術閲覧 1,888 PV訪問者 865 IP閲覧 22,991,036 PV訪問者 8,588,054 IP日別 331 位

▽ｱﾄﾑの物理ﾉｰﾄ
●05/08 01:02
2025-0531

▽桃の天然水
●05/07 23:10 ﾌﾟﾛｼﾞｪｸﾄ･ｵｲﾗｰ
2025-05-06AtCoder Beginner Contest 404 Ehttps://atcoder.jp/contests/abc404/tasks/abc404_e空でない茶碗は処理しないといけないので､空でない茶碗に移動します｡問題は空の茶碗しかないときですが､そのときは空でない茶碗を右から探して､そこからDPで空でない茶碗にたどり着く最短手数を求めます｡// Bowls and Beans #![allow(non_snake_case)] //////////////////// library //////////////////// fn read<T: std::str::FromStr>() -> T { let mut line = String::new(); std::io::stdin().read_line(&mut line).ok();

▽ｼﾛｸﾏの屑籠(汎適所属)
●05/01 21:12
AIの不完全さを眺めて､人間とその自由意志の不完全さを思う