おはよう

магазин

いま23じ23ふん

うそじゃない

変換間違えただけだけど、ヒットしないのか

やばい

最初に起きたときなんか気持ち悪くなって吐いた(が、何も出てこなかった)ので、とりあえずもう一度寝たらこんな時間

なんで吐き気がひどかったんだろう

tweetdeck betaになってた

金5はあけよう

ストロークの違うキーボードになれると入力が下手になる

眠い

change toot visibility, v4だとclass変わってて動かない

そういうわけではないのか

時間割の担当の先生の所に確認先生と確認中先生がいる

Gboardのクリップボードに変なのあるなと思ったらkde connectのクリップボード共有で共有されてたやつだった

お、『続論』だ

変換に出てこないやつ

微積分学続論は極値問題とかだった
odeはodeの授業だった

TEU

wineでsumatrapdf使うのが一番好みかもしれない

異なるサイズのページが含まれてるときに、ウィンドウ幅に合わせて自動でズームしてくれるのが地味に他のにはない

あと再起動時に前回のを復元してくれるのも(そもそもタブがあるのも)

#SumatraPDFはいいぞ

wineのことよく知らないけど、GUIが若干壊れてる以外は問題なく動いてる

SumatraPDFはポータブル版があるので楽だった

GUI壊れポイント
あと判定もずれてる

あ、scancode読んでるせいかxmodmapのリマップが効いてない

https://en.wiktionary.org/wiki/antepenultimate#English

ｎえｍうい

眠い

vivaldiバグってタブバーが全く変化しなくなった

ねむ

🍫

空いレお腹

このアカウントは、notestockで公開設定になっていません。

luarocks

luarocks download rockname
7z x rock
でhttpsをgitに
luarocks install editted_rockspec

asciidoc

固定トゥのやつ、いまだにその通りでそれはかなりやばい
具体的にはあと24h未満でそこそこ固まる必要がある

少人数なんだ

去年受けたやつ受けようとしてるひと見つけた

os.exit()

http://www5a.biglobe.ne.jp/~y-toku-i/tool/index.html
歴史あるウェブサイトだ

Know the difference : r/mathmemes https://www.reddit.com/r/mathmemes/comments/zambf3/know_the_difference/

ねむ

このアカウントは、notestockで公開設定になっていません。

やはりchromeではなくchromiumを、vscodeではなくvscodiumを使ってるのかな

ipynbのasciidoc出力、asciidoctorじゃないとだめだ

ipynbという名前、jprnbとかに変えてほしい

pythonとはかぎらないので

エスケープシーケンスのせい？

おは

国際かどうかわからない

ghc入れ直した
Haskell language serverのバージョンにあうやつがなかったからscoopのmanifest用意した

うーん魅力的なの多い

時々zoomでzoom起動したらアップデート始まって~~ということを聞くけど、パッケージマネージャで入れてないのかな

は

neko

ボイジャー知らない人意外と多い

ボイジャーが原子力電池なの意外と知られてないのかな
遠くまで行くから太陽光だと多分足りないだろうなと思ってた

https://ja.wikipedia.org/wiki/ハース効果
https://ja.wikipedia.org/wiki/ドハース・ファンアルフェン効果

70分くらい(多分水も飲まずに)ずっと喋っててすごいなと思った

y: X -> ℝ; x ↦y(x)
Y := {y}

x: Y -> ℝ; y -> y(x)

折りたたみ傘の開いた状態を維持するロックが壊れてた

昨晩ノリでF#入れてみた

エディターの支援が厚いなと思った

全く複雑なの書いてないからわからないけど

せっかくなのでwindowsの方にも入れる

音符

F#のprintfはエディタの段階で型チェックしてくれるのか

shift enterうごいてる

なんでうごかなかったんだろう

隣同士で並んでるエレベーターの停止階案内で
B2, B1, 1-12
と
B2 - 12
があったけど違いがわからなかった

パターンマッチでてこなかった

F#, satysfi (注：ocaml触ったことない) + オブジェクト指向 に感じた

winget upgradeしたらnvim 0.9.0来てた

windows > arch >> manjaro >>>> ubuntu

最新パッケージがおりてくる速さ

ADTが使えるというMLSyntax.jlを昨晩試した

Watch "【雑談?】TeX Live 2023インストールチャレンジ" on YouTube https://www.youtube.com/live/eeI6MzD7x_w?feature=share

青ケ島村存続 カギは学校　人口最少「170人」の自治体 : 日本経済新聞 https://www.nikkei.com/article/DGKKZO70005250X00C23A4L83000/

https://twitter.com/yuruyurujirou/status/1644535293188673539
そんなことあるんだ

zoomのアップデート/アンインストールに失敗する

> The older version of Zoom(64bit) cannot be removed.

???
手動でもアンインストールできない

msiインストーラーだと自動更新されないらしい

wslの普通のubuntuはinitがsystemdじゃないからshutdownできないけど、archはsystemd動いてるのでshutdown使えた

https://learn.microsoft.com/ja-jp/windows/wsl/wsl-config#systemd-support
使えた

偶然だけど

ml(学習の方)の授業思ったより実用？よりだった
gpuもってないのでcolabでPythonつかうしかないのかな

qft案の定速い

ブクマしてたトゥートが活きる(最近(ある意味)理解できた)

旨そう

200dBは公害どころではない

自発的に裂けるグミ

電話帳

明日休みなの見落としかけてた

このアカウントは、notestockで公開設定になっていません。

あと17.5 credits

正面衝突(少し和らげた)をした

なんか変だと思ったら逆像取ってた

ねむ

幾何の入門書借りた

#⃪᷇⃩VDld⃦⃪⃟m ね

相対性原理仮定してる

時間方向の

たべよう

餓死はしないように飴をたくさん買い溜めてる

manjaro 6.xでwifi使えなくなった
btは使える
5.xでは使える
endeavoros(6.2)でも使える

喉乾いた

坂は疲れる

このアカウントは、notestockで公開設定になっていません。

decay

Google maps appで航空写真から普通の地図に切り替えてもラベルの黒縁が消えないバグに遭遇した

素粒子系は(+,-,-,-)と聞いた

積読--

5コマ連続講義は大変

最近やってない上で1.5倍は多分無理だけどやりたい気持ちもある

このアカウントは、notestockで公開設定になっていません。

丘の上に人住んでるの気持ち悪い(水がないのに)
都会でしか見られない光景

嫌いじゃないけど

久しぶりにWiki更新した

x11で一番慣れないのマウスの中クリックの挙動
ファストスクロールしたい

れぽ見てたら9月に解答例を公開するって書いてあって遅いなと思ったら締め切り8月だった

このアカウントは、notestockで公開設定になっていません。

否定生格

適当に関係してるかもしれないと思った単語を

pythonにはpiがないのでとか言ってたけど、math.piはだめなのかな

mathは普通の感じだけどnumpyは名前が変だな
numpy.arctanとか

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

知らなかった

https://www.google.com/search?hl=en&q=%E2%80%8B

https://www.google.com/search?q=%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A%E2%80%8B%0D%0A

ねむい

久しぶりにwhatsappのメッセージ通知来た

一般も古典論

眠い

今日は早めに切り上げよう

67

PCで本読むの苦手

今日イヤホンつけて首降ったり体をひねらせたりしてノリノリで歩いてる人を見た

とてもうまかった
ふつうにダンサーなのかな

ついにslackのワークスペースが20個超えてた

ねむい

今日は一汁三菜チャレンジ成功した

味噌汁、とりのてりやき、野菜炒め、切り干し大根

https://reference.wolfram.com/language/workflow/UseWolframAlphaInsideANotebook.html

人類健康アンバサダー

講義資料の狐と犬がかわいい

> か、堪忍グペーパー！(＞人＜;)

https://twitter.com/TakuTaku0903_/status/1645930623314571264
最近フィーリングでしか集合を扱ってない

先週と違って直積位相や商位相の意味がわかるようになってて嬉しかった

うずらフォントいれた

これはUnifont

manjaroはpacmanだけ(yayもあるけど)だけど、windowsとwsl ubuntuは他のパッケージマネージャ併用してる
windows:
- winget : メイン
- scoop : CLIとかpython系とか他になくて自分で用意したもの
- choco : wingetとscoopにないもの

ubuntu:
- apt: めいん
- brew: 新しいのがほしいとき

scoop:
CLI系(sudo, rga, fzf, ...)
python系(python、pipで入れたもの(ipython, jupyter, ...)
gcc, lua, make, ...

自分で用意したもの: ghc, bqn, hls

scoopはバージョン分けて入れてくれるうえにそこへのリンクがパスに追加されるのでpipとずれることもたぶんない
バージョン管理もできるらしいけど使ったことない
並列ダウンロードはできる(最近知った)

https://ch0.co
このurl好き

z便利
rgaも便利

このアカウントは、notestockで公開設定になっていません。

arで習ったしareaといつも読んでる

接続

oha\

kuiex

催促メール来てたので調整した

ansatzと-Bloch formulaのBetheは同じ人か

このアカウントは、notestockで公開設定になっていません。

わかめ

ちがう、飴

このアカウントは、notestockで公開設定になっていません。

そんなものない

このアカウントは、notestockで公開設定になっていません。

ありました

https://www.bunka.go.jp/kokugo_nihongo/sisaku/joho/joho/kijun/naikaku/okurikana/honbun02.html
変る ありなのか

pull requestのdraft、オープンじゃないとつかえないのか

新しいタブ

あ、ブルスク

一瞬で100%になってエラー見逃した

mousepadのファイルタイプ、juliaはスクリプトではなく科学のところに入っていた(Rもいた)

shell script難しい

fishだと結構楽になるけど

https://goo.to/word/1046919389
変なとこにある

(たしかコトバンクとか)wikipediaを出典にしてるウェブサイトって上流の更新って反映されてるのかな

jupyterlab-lsp + pyrightだと動いた

jupyter使いたくない

始めて見た

ねむ

https://note.com/vielb/n/nd50032a9e2fa

切り干し大根腐ってた