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

    • Public
    • Network
    • Groups
    • Popular
    • People

Timeline for it list by senooken, page 70

せのお (妹尾 賢) senooken it Friday, 30-Nov-0001 09:18:59 LMT
  • Subscribe
Listed 8 Subscribers 0
  1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:24:03 JST きゅーけー きゅーけー
    in reply to

    やはり自分で作るしかない可能性はあるんだけど、これくらいのことは既に考えた人がいるという方向にかけたい。

    私が始めてこれに気づいて提案しているとかありえないでしょ。

    In conversation Saturday, 19-Mar-2022 12:24:03 JST from mastodon.tojo.tokyo permalink
  2. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:22:17 JST きゅーけー きゅーけー
    in reply to

    日本語だったらいくらでも Typed Racket の `car‘ に `(All (a) (-> (Listof a) a)` が存在することのデメリットを語り尽せるんだけど……。

    In conversation Saturday, 19-Mar-2022 12:22:17 JST from mastodon.tojo.tokyo permalink
  3. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:19:14 JST きゅーけー きゅーけー
    in reply to

    理想は`#lang typed/racket/safe` みたいにできることなんだよなー。

    In conversation Saturday, 19-Mar-2022 12:19:14 JST from mastodon.tojo.tokyo permalink
  4. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:18:22 JST きゅーけー きゅーけー
    in reply to

    Racket の Slack で Typed Racket の手続きってもっと安全にできるよね?既に安全にした手続きのライブラリとかってありませんか?

    とかいう質問をしてきた。めっちゃ緊張している。英語が母国語だったらどれだけ楽だったか。

    そして、簡潔に説明しすぎて誰も理解してくれない可能性があって怖い。

    In conversation Saturday, 19-Mar-2022 12:18:22 JST from mastodon.tojo.tokyo permalink
  5. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 04:46:23 JST きゅーけー きゅーけー
    in reply to

    `(car '())` が許されるのやめて欲しいと本気で思う。こういうライブラリを書かなくてもいいんだったら書きたくないんだけど……。

    これ Racket の Slack で質問した方がいいかもしれない……。明日やるか。

    In conversation Saturday, 19-Mar-2022 04:46:23 JST from mastodon.tojo.tokyo permalink
  6. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 04:44:46 JST きゅーけー きゅーけー

    Typed Racket が微妙に型安全じゃないのが不満なんで、ライブラリ書いた。まだ `cadr` とかに対応してないんで、そこら辺は徐々に対応する。`/` は諦めてる。`quotient` と `modulo` はゼロ除算を弾けるんで弾いた方いいっしょとか思ってる。

    https://git.tojo.tokyo/more-type-safe.git/tree/more-type-safe.rkt

    In conversation Saturday, 19-Mar-2022 04:44:46 JST from mastodon.tojo.tokyo permalink
  7. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 02:53:53 JST きゅーけー きゅーけー

    Typed Racket の inst の略記法、初心者殺しな気がするんだよなー。慣れたら略記するのが楽かもしれんがちょっと抵抗がある。

    In conversation Saturday, 19-Mar-2022 02:53:53 JST from mastodon.tojo.tokyo permalink
  8. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 02:53:10 JST きゅーけー きゅーけー

    Racket で `car` みたいなやつを置き換えたいときは、別にファイルを作ってそこに `car` の定義を書いて `require` をするだけでいいんか。無駄に新しい lang の定義をしようとして無駄な苦労をしていた。

    In conversation Saturday, 19-Mar-2022 02:53:10 JST from mastodon.tojo.tokyo permalink
  9. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 01:34:24 JST きゅーけー きゅーけー
    in reply to

    人口が少ない分野でさらに細分化されていく……。これは Scheme 処理系……。

    In conversation Saturday, 19-Mar-2022 01:34:24 JST from mastodon.tojo.tokyo permalink
  10. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 01:33:48 JST きゅーけー きゅーけー
    in reply to

    人口が少なめのところも共通してないか……?

    In conversation Saturday, 19-Mar-2022 01:33:48 JST from mastodon.tojo.tokyo permalink
  11. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 01:30:55 JST きゅーけー きゅーけー
    in reply to

    それぞれの Lisp が異なることは実際に使ってみればすぐに分かるように、それぞれのメタルが異なることは実際に聴いてみればすぐに分かる。

    やはり Lisp とメタルってなんか似てんじゃね。

    In conversation Saturday, 19-Mar-2022 01:30:55 JST from mastodon.tojo.tokyo permalink
  12. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 01:28:42 JST きゅーけー きゅーけー
    in reply to

    どの Lisp も外野からは同じように見えるけどそれぞれ全然違うように、どのメタルも外野からは同じように見えるけどそれぞれ全然違う。

    In conversation Saturday, 19-Mar-2022 01:28:42 JST from mastodon.tojo.tokyo permalink
  13. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 01:26:53 JST きゅーけー きゅーけー

    ジャンルが細分化されているという点で Lisp とメタルは似ている気がする(気のせい)

    In conversation Saturday, 19-Mar-2022 01:26:53 JST from mastodon.tojo.tokyo permalink
  14. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 01:25:07 JST きゅーけー きゅーけー

    やっぱりたくさんクワイヤしてるやつが好きなんでシンフォニックメタルが好きな分野というしかない。

    In conversation Saturday, 19-Mar-2022 01:25:07 JST from mastodon.tojo.tokyo permalink
  15. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 01:23:08 JST きゅーけー きゅーけー

    以前デスボイスには慣れたかなーって思ったけど結局あまりデスボイスのないメタルばかり聴いてるのでなんかそこはあまり合わないのかもしれん。

    In conversation Saturday, 19-Mar-2022 01:23:08 JST from mastodon.tojo.tokyo permalink
  16. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 01:21:33 JST きゅーけー きゅーけー

    メタル好きなんだけど、シンフォニックメタルばっかり聴いてるのでメタルに詳しいかと言われると残念ながら詳しくはない感じ。

    In conversation Saturday, 19-Mar-2022 01:21:33 JST from mastodon.tojo.tokyo permalink
  17. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 01:20:24 JST きゅーけー きゅーけー

    メタルのアルバムの一曲目から二曲目に繋がるアレ、なんかメタルあるあるっぽくて邦楽ではそういうことはあまりないと友人から聞いた。

    In conversation Saturday, 19-Mar-2022 01:20:24 JST from mastodon.tojo.tokyo permalink
  18. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 16-Mar-2022 23:51:48 JST きゅーけー きゅーけー

    短文の記事なのに誤字があるな、めっちゃ焦ってそう。

    https://www3.nhk.or.jp/news/html/20220316/k10013535821000.html?utm_int=news-saigai_contents_list-items_001

    In conversation Wednesday, 16-Mar-2022 23:51:48 JST from mastodon.tojo.tokyo permalink
  19. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 16-Mar-2022 23:41:10 JST きゅーけー きゅーけー

    机の下に隠れてた。

    In conversation Wednesday, 16-Mar-2022 23:41:10 JST from mastodon.tojo.tokyo permalink
  20. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 16-Mar-2022 23:40:51 JST きゅーけー きゅーけー

    長かったな。

    In conversation Wednesday, 16-Mar-2022 23:40:51 JST from mastodon.tojo.tokyo permalink
  • After
  • Before

User actions

  • Subscribe
  • List
せのお (妹尾 賢)

せのお (妹尾 賢)

Tokyo-to

https://senooken.jp

『「覚悟」とは暗闇の荒野に進むべき道を切り開くことだッ!』 『いきつづけたいという いし… うんめいを かえたいという つよいきもち。わたしは この ちからを… 「ケツイ」と よぶことにした。』 『不運、不幸、不ヅキ、運命、境遇、障害、不平、不正。すべてをねじ伏せオレは勝つ……!』 投資: @senooken_money 実験的にGoogle Adsense広告を設置中。

Tags
  • #asd
  • #gnusocial
  • #ingress
  • #mtgjp
More details...

    Listed

    • Ryusei
    • mecab✅
    • h12o
    • 東海りな@東海道らぐ広報部
    • LibreOffice
    • あわしろいくや
    • きゅーけー
    • 出雲伊月

    Subscribers

      (None)

      Feeds

      • Activity Streams
      • RSS 2.0
      • 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.