2025/10/27
第44週: 日月火水木金土
2025年 82.19％経過
Hiro Aki.icon
おはようございます
なんかだるい
冬感ある風の音
ik.icon
ドットを「＼」に変えた上で下記のコードを付けるとめっさ見やすくなる
code:css
span:not(.table-block) .indent-mark .char-index:has( + .char-index) {
border-right: 1px solid black;
margin-right: -1px;
}
なんだこれはwogikaze.icon
wogikaze.iconﾊｰｲ/
Mijikko.icon
mtane0412.icon
猟銃に関する仕組みの難しさがみらいのissueにあがったらどんな議論になるのだろう
リモート操作のドローンでクマを見つけて安全に殺すゲームをしたい()nishio.icon
もう無人兵器しかないってのは割とありそうで、実際に導入するとしたらどうクリアしていくのか気になるmtane0412.icon
クマに対してそれなり以上の攻撃、または被害を与えられる手段となると人に使ったら確実に殺傷可能だから、どうあがいても管理が大変で、導入が猛烈に大変そうHiro Aki.icon
逆でいいのか。バチクソがっつり兵器として作って自衛隊に配備して自衛隊がクマ駆除の活動すればいいか
日本の急速な軍拡により世界は第三次世界大戦へ突入した…mtane0412.icon
わろたはるひ.icon
ドローンからエッチなPixivを撒くのはやめて！nishio.icon
プロパガンダ兵器
https://gyazo.com/51769c9ba6c2798939dfdf3830afc9d3
やべ、もう目をつけられてた
ドローン自体にGPSをつけて、市街地領域に入ったら安全に着陸して停止するようにしたらいいんじゃないかなnishio.icon
「この領域で熊狩をするので立ち入らないように」とアナウンスした領域でだけドローンが飛べば良い
猟銃の規制？を和らげて、ゲーム感覚で熊狩りできたらいけそうだとは思った、甘いかsta.icon
ドローンは熊の追跡に使える
警察は逆に銃の規制を強めているmtane0412.icon
眠り銃を減らしたい
銃を持つべきではない人が銃を手にしてしまうリスクも考えなきゃいけない対象
ハンターが参入しても10年はライフルが持てない
ハーフライフルが散弾銃扱いではなくなったことでほぼ大型獣に対する銃猟は厳しくなった
市街地に近づいた熊にドローンで催涙スプレーするとかで何とかならないかなnishio.icon
捕まったら自爆
熊スプレードローン相当面白いmtane0412.icon
境界近くで熊に怖い思いをさせることが大事だし、死傷事故も少なそうで良いアイデアに思える
一回くらったら以降ドローンの後が聞こえるだけで逃げそうnishio.icon
スマートガンみたいな妄想をしてたけど殺傷能力のある道具に複雑な機構をもたせることの怖さがすごいmtane0412.icon
しかし車も同じか
AppleじゃなくてTeslaが作りそう
広域ですごい速さでクマを検知できたらそれだけで相当助かりそうmtane0412.icon
ベアドッグに助成出して可愛いわんちゃんと生活しながら地域警戒に当たるmtane0412.icon
かなり吠えるらしいので飼育大変そう
cak.icon
ピェンローおいしかったが、超安いスライス干し椎茸で出汁を取ったせいか、もしくは岩塩を使ったせいか、ちょっと味がトゲトゲしていた
まずしいたけをどんこにしてみるか…とホクトの干し椎茸を注文してみた
Summer498.icon
内積の定義は変だ
(半正定値性): $ \lang\bm x,\bm x\rang\ge0
(非退化性): $ \lang\bm x,\bm x\rang=0\quad\Leftrightarrow\quad\bm x=\bm0
実内積
(双線形性1): $ \lang k\bm a+\bm b,\bm x\rang=k\lang\bm a,\bm x\rang+\lang\bm b,\bm x\rang
(双線形性2): $ \lang \bm x,k\bm a+\bm b\rang=k\lang\bm x,\bm a\rang+\lang\bm x,\bm b\rang
(対称性): $ \lang\bm x,\bm y\rang=\lang\bm y,\bm x\rang
複素内積
(半双線形性1): $ \lang k\bm a+\bm b,\bm x\rang=\overline{k}\lang\bm a,\bm x\rang+\lang\bm b,\bm x\rang
(半双線形性2): $ \lang \bm x,k\bm a+\bm b\rang=k\lang\bm x,\bm a\rang+\lang\bm x,\bm b\rang
(共役対称性): $ \lang\bm x,\bm y\rang=\overline{\lang\bm y,\bm x\rang}
こんな風に実数複素数に依存した定義ではもっと他の代数体系を考える際に不便だろう。
四元数とか八元数とか
本質的に重要そうなのは
(半正定値性): $ \lang\bm x,\bm x\rang\ge0
(非退化性): $ \lang\bm x,\bm x\rang=0\quad\Leftrightarrow\quad\bm x=\bm0
(ある引数に関する線形性): $ \lang \bm x,k\bm a+\bm b\rang=k\lang\bm x,\bm a\rang+\lang\bm x,\bm b\rang
対称性関連
(対称性): $ \lang\bm x,\bm y\rang=\lang\bm y,\bm x\rang
(共役対称性): $ \lang\bm x,\bm y\rang=\overline{\lang\bm y,\bm x\rang}
実際にもう一方の引数に関する線形性は、対称性（のようなもの）と別の引数に関する線形性から導ける。
あとは対称性が統合できれば嬉しい。
共役な数は
$ z\overline z=|z|^2=|\overline z|^2
これだけで特徴づけられる。
よって、$ \lang\bm x,\bm y\rang\lang\bm y,\bm x\rang=|\lang\bm x,\bm y\rang|^2=|\lang\bm y,\bm z\rang|^2
まとめると、以下の4つで内積を定義できるはず。
$ \bm x\in R^nは加群$ R上の加群であり、加群$ Rにはノルムを定義できる。
(半正定値性): $ \lang\bm x,\bm x\rang\ge0
(非退化性): $ \lang\bm x,\bm x\rang=0\quad\Leftrightarrow\quad\bm x=\bm0
(ある引数に関する線形性): $ \lang \bm x,k\bm a+\bm b\rang=k\lang\bm x,\bm a\rang+\lang\bm x,\bm b\rang
(一般化された対称性): $ \lang\bm x,\bm y\rang\lang\bm y,\bm x\rang=|\lang\bm x,\bm y\rang|^2=|\lang\bm y,\bm z\rang|^2
これヒルベルト加群の公理を独力で導いたことになるらしい（詳細未調査）
おはようございます（なんとなく挨拶）
原田のモンスター群の本を読んだ
筆が乗っても怒られないくらい業績のある人が、
原田は原田ノートン群の人だから十分業績ある
筆が乗っても怒られないくらい最新の話題について、
しっかり筆が乗っている様子で、
それでいて脱線せずにしっかり要点を抑えながら、
しかし無駄な記述は避けて爆速で本題に突入し、
本題では重要な話題を沢山提示して、それでいて無駄な証明は全て論文に譲るという
めっちゃ読んでて楽しい本になっている。
内容全然わからんけどマジで楽しい。
学術書が面白くない時
筆が乗るほどのことはないつまらない話題で筆が乗っていて気持ち悪い時
誰かわからん著者の筆が乗っていて気持ち悪い時
脱線する時
無駄な前知識をバカ丁寧に説明される時
無駄な話題ばかり提示される時
ちょっと考えればわかることを一々証明される時
難しいことは難しいまま説明するほうがみんなが幸せになるんじゃないかと思うんだ
難しいことを難しいままに説明している自覚がある人に対して、難しくてわからないという理由で質問をしたとしたら、ただただ学習意欲がある人として好印象を持たれる。
難しいことを簡単に理解できるようにしようと努力している人に、難しくてわからないという理由で質問をしたとしたら、「なんでわからないんだ！」と怒られる可能性がある。
凄い頑張って簡単にしようとしてるのにもう！みたいな感じ
人々が学習を行う空間の幸福さが、最も「アホ」な人に合わせる考え方のせいで失われているのではないかと思う。
教える側はアホな人にもわかるように苦労させられるし。
分かる人はつまらない話を聞く羽目になるし。
肝心のアホ自身はそれでも理解できないから幸福にはなれないし。
アホからの質問は本質からズレていて、応答する際に若干腹が立つし。
しかもアホがアホで居ることを容認するシステムになっているから、アホを改善できないし。
しかしこの話はポジショントークにはなるだろう。
エリート主義みたいになっている。
とはいえ、面倒くささというか無駄なコストがかかっているのを見るとナントカならんのかと思うんだ。
アホに起因する問題というのは何も学習の場だけで生じるのではない。
管理職等の所謂上の立場の人がアホだと非常に面倒なことになる。
コミュニケーションコストが非常に高い。
それを防ぐにはシンプルにアホを上役に就任させない方針が考えられる。
ややこしいのは、「上役」と「名誉」と「収入」などが結びついてしまっていて、これを取らせないようにするということは、ある種の幸福の形を妨害することになるということだ。
当たり前だが、アホにも生きる権利があり、幸福になる権利がある。
「上役」と「幸福」を分離して、実働部隊でも「名誉」が得られたり「高収入」が得られたりする仕組みが必要だ。
ん？これって営業では？
しかし営業はアホではできなかろう？客先に嫌な思いをさせたらコミュニティの顔に泥を塗ることになるぞ
収入は兎も角、名誉はいいぞ。バッジを作って服に付けさせてあげるんだ。
軍隊の管理法と同じだ。
……アホが権力を欲し始めたら最前線に投入して殉職と言う形で始末するのが効率良い点も軍隊に似ている。
↑生きる権利はどこへ行ったのだろうか。
ある人物が幸福になるための手段によって他の大勢が不幸になる場合、その手段による幸福は一般的に容認されなかろう。
それ以外の手段で幸福になってもらおう。
美味しいものをたくさん食べ、キレイな家に住み、家事は誰かに任せて、元気にスポーツをし、
お姉さんにアレの相手をしてもらい、
……金氏が贅沢三昧しているのはアホなことをさせないために骨抜きにされているからだろうか。
しかしそれによって維持されるのは国民の幸福ではなく朝鮮労働党員の幸福だろう。
zatto.icon
昨日、一昨日とDJイベントにいったのだが、めちゃくちゃに踊ったせいで腰肩腕あんどすべてが痛い
時系列順じゃなくて、現在からの言い方の方が自然っぽいのなんか面白い
一昨日、昨日の方が流れとしては自然な気がするのに
「きのうもおとといも雨だった」と「おとといもきのうも雨だった」なら、僕も前者が自然に感じるなーnishio.icon
喋っている自分に近い順に話すほうがしっくり来るSummer498.icon
koyoshi.icon
課金しないと過去ノートが見られなくなった
早く逃げないと
情報資産を囲い込むサービスがランサムウェア化するの草Summer498.icon
面白い表現sta.iconnishio.iconbsahd.iconmtane0412.iconshibainurou.icon
一旦課金して、その間に移行するしかなさそう
EvernoteでエクスポートしたファイルをCosense形式に変換するツールがどこかにあった気がする
Evernoteのせいで仕事が手につかない
terang.icon
nishio.icon
Shapez 2、Make Anything Machineを作るのにはしっかり考える必要があり、まったく息抜きにならないので放置してた
放置で上位0.1%になった、世の中の人はここまで来る前に挫折してる
今後放置で上位ランクを目指しても面白くないしなーという気持ち
今日はいい天気
なんか急に調子悪い
8時からのビデオ会がを忘れそうになる
毎週アラームかけとけばいいのにと言われた
やり方を調べる
なお未踏ジュニアの成果報告会が来週月曜なので今回が最後かもしれないw
朝のルーチンでその日のMTG前に手動でアラーム設定してるinajob.iconsta.icon
きっともっと良いやり方があるとは思いつつ
なるほどねnishio.icon
9:00会議だと8:50に鳴らす、9:30だと9:20に鳴らす――というわけでアラームがずらりと並ぶsta.icon
イメージhttps://gyazo.com/bd23f1f00e12aa261535f6a02483af0d url 色々植えれるようになったけど、とりあえず複雑な植え方をする前に草とか木とかをアップグレードしている
収穫量のグラフが欲しいな〜
ヒマワリを植えたら爆速になったけど、実際どれくらい収穫が増えたんだろ、とか
12x12のかぼちゃをとっても実績解除とかないのか
これはウケるな、RTAさせるのか
LAN内のWindowsマシンにMacからリモート接続したいなぁ
コードを編集したい
WSLでsshdを動かしたらいいのかな
25時
この時間にお風呂に入るとせっかく下がった心拍がまた上がってしまう、よくない
しかしお風呂に入らずに布団に入るのも不衛生でよくない
hoshihara.icon
おもしろい
+1taktamur.icon
こういう分母がデカいコンテキストを共有してるの楽しそうでうらやましい
taktamur.icon
数学用語らしいけどインパクト強い
QWOP.icon
ライブに行った後、疲れているはずなのに最近、寝付けない事が多い
今週末の3連休、久々に一切予定が一切ないからゆっくり寝る
生バンドの演奏、久々に聴いたけど最高だった...
sta.icon
暑いな……
冬前提で暑くなるのが一番つらい、かゆくなる
inajob.icon
暑い
W7kA9pX2.icon
気温安定してほしい
基素.icon
築古戸建てをDIYしてみたいけど微妙に都市に住んでいるから最低価格が300万円！みたいな物件が存在しない
suto3.icon
なにこれ
いいねえはるひ.icon
https://gyazo.com/0ff71b1a96d5cd289c68087298fe8b13
code:sequence_diagram.d2
title: ふーこさんとひよりちゃんの会話 {
shape: text
near: top-center
style: {
font-size: 55
italic: true
}
}
ふーこ: {
shape: image
}
ひより: {
shape: image
}
shape: sequence_diagram
ふーこ -> ひより: おはよう、ひよりちゃん！
ひより -> ふーこ: おはよう、ふーこさん
ふーこ -> ひより: どうしたの、元気ないけど
ひより -> ふーこ: ……いえ、別に……
こんな感じ。Gyazoからアイコンを取ることはできた。
2025/10.icon
