Notices by ayu-mushi (ayu_mushi@mstdn.jp), page 13

「双線形形式gについて、{v_1, …, v_n}が直交基底ならば、g(v_i, v_j) = 0 (i≠j) 」っていう文があったけど、これは双線形形式に関する"直交"を定義しているのであって、内積についての直交基底でそうなら双線形形式でもそうって意味ではないよね?

うっかり上書きすることがあるのでこれをした https://askubuntu.com/questions/236478/how-do-i-make-bash-warn-me-when-overwriting-an-existing-file

Pythonの虚数単位って j なんだ

if-then-ismでググれば出てくるけど、もし-ならば主義っていうのはヒットしないっぽい

なんで形式主義が無矛盾性証明できないとわかったらダメになるのかわからないけど、パトナムの"もし-ならば"主義に対する優位が存在しなくなるみたいなことなのか。それなら納得できる

闇の力だ https://github.com/Shougo/deoplete.nvimhttps://github.com/Shougo/deoplete.nvim/blob/a61c35a267d385036f6747207146422f16f68f29/doc/deoplete.txt#L1854-L1859

ロマンチックミリタリズムって日本語にすると語感が面白い https://shorebird.hatenablog.com/entry/20120407/1333806506

性暴力ばっかりだ

ルートパーティションを小さくしちゃったからユーザーディレクトリにスワップファイルをおいても大丈夫かな?

Archを入れたデスクトップPCがときどきなんの入力も受け付けない状態で死ぬのはなぜかと思ったが、スワップ領域を設定しわすれていたせいか?

同じようにフリーズして入力受け付けなくなる人が居たから今度これ読んでみよう https://bbs.archlinux.org/viewtopic.php?id=236686

スワップファイル作ったけどまた突然操作受け付けなくなった。なんなんだろう?

ルート権限でやればできた

具体例はそんなに思いつかないけど、非ユークリッド空間の概念としては「ユークリッド空間ではない」という条件は論理的必然なので必然性が高いが、第5以外の公準を満たすということはそこまで重要でもない、とか…? (もしかしたらユークリッド空間も含む一般的なやつを非ユークリッド空間って呼ぶ人がいるみたいなことを考えると、そうも言えない?) https://mstdn.jp/web/statuses/105287455702695793

@mametsuko 概念分析における条件の数が統計における変数の数に対応すると考えると、哲学では明確な優先順位付けをしていない気がするのでそのイメージに近そうです。以下のような基準は考えられるかもしれません?:・同じ概念の分析の色々な候補で共通しているものは重要そう・「Xであるとは、AかつBかつCであることだ」と分析したとき、「XならばA」が「XならばB」より必然性が強いなら条件Aのほうが重要(?)

そういえば仮面ライダーWで過剰適合者っているけど、オーバーフィッティングも過剰適合という https://ja.wikipedia.org/wiki/%E9%81%8E%E5%89%B0%E9%81%A9%E5%90%88

哲学者が直感にかなうように複雑な条件が大量についた概念分析をおこなうとき、データに合わせるように大量の変数を使ったために予測能力が失われる(オーバーフィッティング)のと同じようなことが起こっているのではないか

最近"煮るなり焼くなり好きにしろライセンス(NYSL)"というのを知ったが、"Do What The Fuck You Want To Public License(WTFPL)"というのもあるのか

urxvtではbashでもzshでも日本語が文字化けするけど、stを使ったらzshでだけ日本語が表示された(どういうこと) (firefoxなどでは普通に日本語が出る)

gnome-terminalにして、curlで見たらできた。gnome-terminalでもw3mだとだめ。さっきまでw3mで日本語を見れるかテストしてたから、それがだめなのかと思って、curlでやってみたら、stではできて、urxvtではだめ。