意志の力など幻想にすぎない……
Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 291
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 03:08:20 JST
きゅーけー
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 03:07:52 JST
きゅーけー
つ 行動分析学
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 03:07:40 JST
きゅーけー
今朝食を食べている。
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:43:47 JST
きゅーけー
よし、自分が作ってみたいと思っている日本語プログラミング言語のプログラム例(コメントの方)が書けた。https://gitlab.com/-/snippets/2035316
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:35:29 JST
きゅーけー
等 でいいや
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:35:05 JST
きゅーけー
等価、 equal? とはちょっと違う感じするな。https://ja.wikipedia.org/wiki/%E7%AD%89%E4%BE%A1
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:32:02 JST
きゅーけー
となると Scheme 的には、eq? は同一で、eqv? は同値で、equal? は等価かな……。
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:30:56 JST
きゅーけー
http://milkpot.sakura.ne.jp/scheme/r7rs.pdfの p30 に書いてあった。
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:29:14 JST
きゅーけー
たしかに、equal? は再帰的に eqv? するって仕様書に書いてあった気がする。
-
らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Sunday, 01-Nov-2020 02:26:58 JST
らりお・ザ・何らかの🈗然㊌ソムリエ
eqv? がある気持ちは少しわかる気がして、
eq? => 実質的にポインタの比較なので、中身の値を比較していないeqv? => 値そのものを比較している (ポインタはポインタとして比較する)equal? => ポインタに対しては再帰的に比較する
という感じで、0と1と*という感じなので。
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:24:16 JST
きゅーけー
`=` を日本語するの難しいのでは(数値の等しさを調べるやつ)
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:23:17 JST
きゅーけー
Scheme にそのまま翻訳できる日本語プログラミング言語を作ろうとしてて、対応する日本語の語彙が欲しい。
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:22:26 JST
きゅーけー
なぜ、 Schemer は eqv? を定義したのか……。
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:21:23 JST
きゅーけー
Scheme の eq?、eqv?、equal? を日本語に翻訳したくて迷ってる。eq? アドレス比較的なやつで、eqv? は数字と文字以外はアドレス比較するやつで、equal? は形が同じやつを等しいっていうやつ。
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:19:31 JST
きゅーけー
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:15:52 JST
きゅーけー
equal? => 等eq? => 厳等eqv? => ?
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 01:30:00 JST
きゅーけー
少しづつ自分の Nextcloud サーバーに人が増えていて重要度が増している。
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 01:26:48 JST
きゅーけー
Nextcloud サーバーのマシンの性能を上げて、collabora (Libreoffice を Nextcloud から使うやつ) のアプリを入れた。最高すぎる。もう Google Spreadsheet とか必要ないじゃん。すばらしい。手元に LibreOffice とかインストールするのもこれでやめられる。
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 01:08:52 JST
きゅーけー
GNU Guix で Emacs のパッケージを管理することで解決?しそう。(急な布教)
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 01:05:21 JST
きゅーけー
起きた