計算関連あまりわからない
2ヶ月後位にやるはず

昨日のマストドンの活動は

トゥート : 5709(+60)
フォロー : 42(0)
フォロワー : 51(0)

でした。
https://donhaialert.herokuapp.com

#donhaialert

ね

しまった

洗濯放置して寝てた
どうして明るいところで寝てしまうんだろう
どうして階段とかで寝てしまうんだろう
どうして裸でも寝てしまうんだろう

怪文書み

二度寝二度寝〜

6h寝た

時間が

靴まだ乾いてなかった

新聞紙つめた

今から外出 #遅い

図書館(返却)

彼の鵜か脳か

可能世界、不可能世界
現実世界は「もの」である/「こと」(事態)である/「命題」である、といった考え方がありうるが、後2つの考え方によると、可能世界を非循環的(そして、ナンセンスでない循環的にも)定義することができない

論理的可能性と物理的可能性を独立のものとして考えるのはどうなのか

歩いて帰る

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

ジャンキーとは言っても、9割程は排出しておりかなり、通常環境下では、めったに探索行動に出ることはない

酸素を静脈注射

高速増殖炉
早口言葉の素質があるように思った

勉強会生えてた(もっと早く参加すればよかった)

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

風呂(湯船でない)でなら一晩明かしたことがある

食べるのは一瞬
はかない

昨日のマストドンの活動は

トゥート : 21021(+95)
フォロー : 64(0)
フォロワー : 88(+1)

でした。
https://donhaialert.herokuapp.com

#donhaialert

#市区町村 #ShiKuChoSon No.16 X/6 (99%)
🟩🟩⬜⬜⬜↙️
🟩🟩🟨⬜⬜➡️
🟩🟩🟩⬜⬜⬇️
🟩🟩🟩🟩🟨↘️
🟩🟩🟩🟩🟨↖️
🟩🟩🟩🟩🟨↘️
https://shikuchoson.jp

#Worldle #87 3/6 (100%) 🙈
🟩🟩🟩🟩⬜⬆️
🟩🟩🟩🟩🟨↖️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr
理想的

🙈にしてから1発がなくなったので分布が微妙

最近時々Twitterでフォローしてる同じ学科の民があれな人達とレスバしてるの見て笑ってる

DMが見世物としてSlackに上げられてる

3km 5km自分もやった
そこでお手上げ

夢のうち悪夢の割合が増えるのか
絶対的に悪夢が増えるのか

睡眠薬、夢を見る頻度も変わりそうだけど(何の根拠もない)

夢自体月に2回ぐらいしか見てない
8,9時間寝て且つ二度寝とかの時に見るかも

raspberry piは最悪PCの第1バックアップになるのでデスクトップ環境ありで使おうと思う

その場やって実験ちょっと見て3時に寝るか

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

私大、4分の1が慢性赤字　先端教育投資に足かせ : 日本経済新聞 https://www.nikkei.com/article/DGKKZO60080550Y2A410C2MM8000/

円安再考（下）迫る「債権取り崩し国」 : 日本経済新聞 https://www.nikkei.com/article/DGKKZO60080630Y2A410C2MM8000/

貿易赤字になる流れ、英とか米とかと確かに一緒か

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

潰れればいいとは思う一方その分研究も衰退するのかな…とか思ってしまう(そういう大学の実情をあまり知らないけど)

高等教育に関しては供給過多なんだろうな

windowsでのlatexの環境構築もpythonの環境構築も特に詰まることなかったきが

そういえばFileHistoryは復旧できた
OneDriveはバックアップから外した

FFSでのバックアップもできるようになってまあまあ安定したはず

python使ってもなんか詰まらんのでJuliaを使ってみようと思う

SATySFiのこと結構忘れてしまったけど、jlreqはバージョンが合わないとかで使えなくてスタイルシートにはexdesignを使おうとしてたけど、exdesignもパッケージマネージャーを経由しないで使ってたはずなので、ローカルでexdesign含めテンプレ整備をしないといけない

日本語下手

嘘、日本語に限らない

いや、嘘ではない

ところでSATySFi 0.0.7は子の環境でも使えるのかな？

https://qiita.com/na4zagin3/items/a6e025c17ef991a4c923#アップデートアンインストール
のアップデートだとアップデートできなかった
0.0.5で止まってる

https://github.com/na4zagin3/satyrographos/blob/master/README-ja.md#satyrographos--satysfi%E7%89%88%E5%8F%B7%E5%AF%BE%E5%BF%9C%E8%A1%A8
satyrographosのアップデートとかOCamlとかをアップデートしないといけないのか

https://github.com/amutake/docker-satysfi
次のバージョンはdocker使おう
docker使ったことないけど

改めて聞くといい

csvのためにexcel開いてたけど拡張機能を入れればいいということに気づいた

おなすい

https://en.wikipedia.org/wiki/POVM

これわからん

安全のために履修外しておいた

自明だけどすべてのコマを埋める必要はない

昨日はwslのバックアップ関連のフォルダを整理して800GB以上空きが増えた

480GBだった
ファイル履歴に指定したら240GBくらいのサイズになってた
標準の.tar.gzなら17GB

驚異の電池持ち
そしてバッテリーが膨張してないおかげでタッチパッドの操作性も上がった

やっぱり前はFTで求めてたけどもっと原始的な方法でも求まるのか

結局スマホを初めて買ってもらったのもパソコンを初めて買ってもらったのも高3の末だった

スマホに関しては拒否してたのは自分だけど

関数電卓は本当にいい買い物だった
物理定数が入ってるのが最高

健康診断忘れてた

あ、年賀状

4月です

金銭感覚壊れるのが怖くて、ある意味金銭感覚壊れてる

ドケチです

へなへなリュックがある

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

これ好き
> 私のことを指さして「お前は私ではない！」と言ってくるやつがおりますが、"私は断じて私である。"ということだけはここにはっきりと言っておきたい。

my workだけど

https://qiita.com/Yarimizu14/items/6a4bab703d67ea766ddc
forwardingなんてできるんだ

#SATySFiInstallBattle 始める

まずはDockerをインストールする
遅い

おなすい

生きてーーー 📣

なんかおかしと思ったけどこれwindows用だ
ubuntuのCUI専用でいい

ok

おそい

とりあえずできた？

おわった

dockerの使い方を知らなさすぎる
毎度
docker run --rm -v $(pwd):/satysfi amutake/satysfi satysfi demo.saty
って入力しないといけないのか

第2ラウンド：opam + satyrographosで0.0.7インストールしてる

まずはopamでOCaml 4.11.0をいれる

4.11.0でsatysfiのインストール中...

深刻なメモリ不足(6.9GB使ってる)

声帯をふるわせながら口笛して同時に2つの音を鳴らすやつ、自分以外にしてる人始めて見た

211/222

7.5GB使ってる

完!

出来た

いったんWSLをshutdownしてメモリを開放する

文字のサイズが違うからちょっと書き換えたらいけた

新しいタブ

あ、ブルスク

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

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

shell script難しい

fishだと結構楽になるけど

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

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

jupyterlab-lsp + pyrightだと動いた

jupyter使いたくない

始めて見た

ねむ

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

切り干し大根腐ってた

酸っぱい

捨てよう
食べきれない