ｵｱｰｯ!!
haruki7049
haruki7049@haruki7049.dev
npub153jh...p73g
I cannot speak English well
Nix/NixOS, Rust-lang, Nix/NixOS, Nix/NixOS, Nix/NixOS, Ziglang, Nix/NixOS, Nix/NixOS, etc...
新作リズム天国、いつも通り判定が厳しいよなぁ
夕飯食べた。でも考える事から遠くなったから、一旦止めるか
View quoted note →
後で考えなければならなくなった。夕飯が出来たみたい
ふむ、ア・プリオリって言うのは複数定義があるらしいね、Wikipediaによると。Wikipediaに書いてあるフレーゲさんの定義、「命題の真偽が論理法則のみに依拠すれば『ア・プリオリ』である」って定義を使ってみる
なんだろうなぁ…。ア・プリオリである事を判断する条件、これに対して考えれば良いよね
なんかそういう物事に対して考えるの、チューリングマシンの停止性問題だっけ、みたいな雰囲気するね
「それがア・プリオリであるか否か、この判断」がア・プリオリか否か、って事？
今日の夕飯は鰤の煮付けらしい
色々な物事に対して、それはア・プリオリか否かを議論してみたい
そういえば、「プログラミング言語でプログラムを書く事」ってアプリオリなんだろうか
ア・プリオリな概念って良いよね
お父さんから、この前Fitbit inspire 3を譲ってもらった。心拍数とかの情報は勿論、運動し始めると自動で記録を開始してくれる。面白いなぁって思ったから、充電の持ちも良い事もあって、今も付けてみている。楽しい。
nostterライクなNostrクライアントを作ってみたいな
eval("1+1=2という数学の答え") => "1+1=2という数学の答え"
なんか頭の良い会話をしたい
2って文字の形に付随した意味が変わるだけだよねぇ
自分自身を食べてる…
View quoted note →
めっちゃ寝た
課題を意識したからだろうなとは思う。吐き気する