Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 47

自由意志を行動の原因として認めるのってなんか非科学的な言及をしてるひとを笑えないと思うんだよね。なんでヒトを対象にした瞬間に急に弱くなってしまうのか。

自由意志はあるかどうかは分からんというのはそうなんだけどあること前提にして話すとなんか悪霊とか幽霊とかが行動の原因になってるって主張してんのと何も変わんないんだよな。どちらも観測されていないって点で共通してるし。

いまもともと揺れてるところにいるから揺れてもわからないやつだ。

自由意志観念を前提にしなければ、そもそも「注意」なとで解決する問題ではないことは自明だというのに(過激派)

いまから一週間仮歯で過ごすと思うと暗い気持ちになる。仮歯ってなんかやなんだよな。正確に歯の型が取れたのかもよくわからんのもつらい。

ACL2 でハフマン木作るときに定理証明するときに car と cdr 祭になるのを避けるやつ結構おもしろいと思うので書きたいけどあれは重いんだよな。他の記事を優先したい気持ち。

クダー

結局 first とか rest とか使わないでカーとグダーとか言いまくってる。ACL2 使ってるしなおさら。

発音の仕方かと思った。なお私は.cadr はカアダーという感じに発音してる。有識者が同発音してるのかは結構気になってる。

セラミックの歯が壊れて不安で仕方なかったけどまあクリーニングしてたからちょっと割引されたし、プラスチック入ってないオールセラミックスとかいうのにしてもらった。

保証切れてるし金銭的ダメージを懸念してたけど、まあ懸念していたとおりだったのでそこまで精神的なダメージは受けなくてよかった(よかったとは)。

「おねがい」の中に「禁止」(太字)がたくさんある張り紙みかけて「おねがい」とはなんだろうかと考える機会になった。

外は寒い。過酷だ。

歯医者にいくときに時間つぶすいい場所がなくて困る。スタバとかコーヒー0mlとか売ってくれないかな。

新社会人おめでとうございますとかいう文字列を目にして何がめでたいのかよくわからなかった。お悔やみ申し上げますなら理解できる。

ねなきゃ……

あーつらいな。とりあえず Linux カーネルでノートPC内蔵の無線機器使った方が個人的な事情を考えるとよい。今はその時期ではないんだ……。

特許とかが色々とられまくってるとかだろうか(いま調べる気なし)。

漸進的にやっていくしかないような気持ちと、こうやって使ってしまうことで自由ソフトウェア運動を盛り上げる気持ちがダウンする感じがなんか否めない。

なんで他はいけるんに無線技術だけはこうなるんだろう。複雑なのかな。

どうにかして速くて最新で簡単に入手できて自由な Wifi アダプタ作れないだろうか……。これだけのために起業するとかはちょっと現実味なさすぎるけど GNU が求める水準にいくためにはそれくらいやる必要あるって……。

ビデオ通話をするのに十分な速度がでないかもしれなんだよなー。ちょっと今はやめとこう。