senooken JP Social
  • FAQ
  • Login
senooken JP Socialはsenookenの専用分散SNSです。
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

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

  1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 03:08:20 JST きゅーけー きゅーけー

    意志の力など幻想にすぎない……

    In conversation Sunday, 01-Nov-2020 03:08:20 JST from mastodon.tojo.tokyo permalink
  2. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 03:07:52 JST きゅーけー きゅーけー

    つ 行動分析学

    In conversation Sunday, 01-Nov-2020 03:07:52 JST from mastodon.tojo.tokyo permalink
  3. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 03:07:40 JST きゅーけー きゅーけー

    今朝食を食べている。

    In conversation Sunday, 01-Nov-2020 03:07:40 JST from mastodon.tojo.tokyo permalink
  4. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:43:47 JST きゅーけー きゅーけー
    in reply to

    よし、自分が作ってみたいと思っている日本語プログラミング言語のプログラム例(コメントの方)が書けた。https://gitlab.com/-/snippets/2035316

    In conversation Sunday, 01-Nov-2020 02:43:47 JST from mastodon.tojo.tokyo permalink
  5. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:35:29 JST きゅーけー きゅーけー
    in reply to

    等 でいいや

    In conversation Sunday, 01-Nov-2020 02:35:29 JST from mastodon.tojo.tokyo permalink
  6. きゅーけー (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

    In conversation Sunday, 01-Nov-2020 02:35:05 JST from mastodon.tojo.tokyo permalink
  7. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:32:02 JST きゅーけー きゅーけー

    となると Scheme 的には、eq? は同一で、eqv? は同値で、equal? は等価かな……。

    In conversation Sunday, 01-Nov-2020 02:32:02 JST from mastodon.tojo.tokyo permalink
  8. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:30:56 JST きゅーけー きゅーけー
    in reply to

    http://milkpot.sakura.ne.jp/scheme/r7rs.pdfの p30 に書いてあった。

    In conversation Sunday, 01-Nov-2020 02:30:56 JST from mastodon.tojo.tokyo permalink

    Attachments


  9. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:29:14 JST きゅーけー きゅーけー

    たしかに、equal? は再帰的に eqv? するって仕様書に書いてあった気がする。

    In conversation Sunday, 01-Nov-2020 02:29:14 JST from mastodon.tojo.tokyo permalink
  10. らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Sunday, 01-Nov-2020 02:26:58 JST らりお・ザ・何らかの🈗然㊌ソムリエ らりお・ザ・何らかの🈗然㊌ソムリエ

    eqv? がある気持ちは少しわかる気がして、

    eq? => 実質的にポインタの比較なので、中身の値を比較していないeqv? => 値そのものを比較している (ポインタはポインタとして比較する)equal? => ポインタに対しては再帰的に比較する

    という感じで、0と1と*という感じなので。

    In conversation Sunday, 01-Nov-2020 02:26:58 JST from mastodon.cardina1.red permalink Repeated by tojoqk
  11. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:24:16 JST きゅーけー きゅーけー

    `=` を日本語するの難しいのでは(数値の等しさを調べるやつ)

    In conversation Sunday, 01-Nov-2020 02:24:16 JST from mastodon.tojo.tokyo permalink
  12. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:23:17 JST きゅーけー きゅーけー

    Scheme にそのまま翻訳できる日本語プログラミング言語を作ろうとしてて、対応する日本語の語彙が欲しい。

    In conversation Sunday, 01-Nov-2020 02:23:17 JST from mastodon.tojo.tokyo permalink
  13. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:22:26 JST きゅーけー きゅーけー
    in reply to

    なぜ、 Schemer は eqv? を定義したのか……。

    In conversation Sunday, 01-Nov-2020 02:22:26 JST from mastodon.tojo.tokyo permalink
  14. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:21:23 JST きゅーけー きゅーけー

    Scheme の eq?、eqv?、equal? を日本語に翻訳したくて迷ってる。eq? アドレス比較的なやつで、eqv? は数字と文字以外はアドレス比較するやつで、equal? は形が同じやつを等しいっていうやつ。

    In conversation Sunday, 01-Nov-2020 02:21:23 JST from mastodon.tojo.tokyo permalink
  15. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:19:31 JST きゅーけー きゅーけー

    https://takehikom.hateblo.jp/entry/20180526/1527281677なるほど

    In conversation Sunday, 01-Nov-2020 02:19:31 JST from mastodon.tojo.tokyo permalink

    Attachments


  16. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 02:15:52 JST きゅーけー きゅーけー

    equal? => 等eq? => 厳等eqv? => ?

    In conversation Sunday, 01-Nov-2020 02:15:52 JST from mastodon.tojo.tokyo permalink
  17. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 01:30:00 JST きゅーけー きゅーけー

    少しづつ自分の Nextcloud サーバーに人が増えていて重要度が増している。

    In conversation Sunday, 01-Nov-2020 01:30:00 JST from mastodon.tojo.tokyo permalink
  18. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 01:26:48 JST きゅーけー きゅーけー

    Nextcloud サーバーのマシンの性能を上げて、collabora (Libreoffice を Nextcloud から使うやつ) のアプリを入れた。最高すぎる。もう Google Spreadsheet とか必要ないじゃん。すばらしい。手元に LibreOffice とかインストールするのもこれでやめられる。

    In conversation Sunday, 01-Nov-2020 01:26:48 JST from mastodon.tojo.tokyo permalink
  19. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 01:08:52 JST きゅーけー きゅーけー

    GNU Guix で Emacs のパッケージを管理することで解決?しそう。(急な布教)

    In conversation Sunday, 01-Nov-2020 01:08:52 JST from mastodon.tojo.tokyo permalink
  20. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Nov-2020 01:05:21 JST きゅーけー きゅーけー

    起きた

    In conversation Sunday, 01-Nov-2020 01:05:21 JST from mastodon.tojo.tokyo permalink
  • After
  • Before

User actions

    きゅーけー

    きゅーけー

    GNU Guix ユーザーの Schemer で、自由ソフトウェアと行動分析学が好きです。Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb

    Tags
    • (None)
    ActivityPub
    Remote Profile

    Following 1

      Followers 0

        Groups 0

          Statistics

          User ID
          27709
          Member since
          22 Jun 2020
          Notices
          8760
          Daily average
          4

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.