GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

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

  1. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 10-Oct-2025 09:20:54 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    Linux Mint 導入解説動画きた〜〜〜!!!
    これは潮目きてるかもしれん。廃棄予定のPCに続々と GNU/Linux がインストールされていき、徐々に無視できない利用人口規模へと広がっていくことを大いに期待している!!!
    https://www.youtube.com/watch?v=0GN5IPGFCdc

    In conversation about 6 months ago from mastodon.tojo.tokyo permalink

    Attachments

    1. Windows10終了後の救世主!古いPCをLinux Mintで復活させる方法
      from パソコン修理屋の豆知識
      Windows10のサポート終了が近づく中、「古いパソコンをどうすればいいの?」という声を多くいただいています。実はそのパソコン、まだまだ使えるかもしれません。今回ご紹介するのは、無料で使える軽量OS「Linux Mint」Windows11にアップグレードできない古いPCでも、軽快に動作します。動画では、【Li...
  2. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 19-Feb-2025 17:59:03 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    Firefox の Multi-Account Container が極めてどうでもいいことを通知してきたな。

    In conversation about a year ago from mastodon.tojo.tokyo permalink

    Attachments


    1. https://mastodon.tojo.tokyo/system/media_attachments/files/114/029/720/569/188/485/original/a1b098d31db1e84e.png
  3. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 23-Jan-2025 23:48:19 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    自分はテキストブラウザ(Emacs の eww とか)を使うことがよくあるので JavaScript が無効だと見れないページがあると困ることが結構ある。

    最近困ったのは Racket の検索ページ。なんで、そんなインタラクティブな感じにしてしまうのか。。。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  4. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 21-Jan-2025 14:38:50 JST きゅーけー きゅーけー

    Racket がいいと思う。
    ドキュメントがとても整備されていて分かりやすい。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  5. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 13-Jan-2025 01:07:28 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    趣味プログラミングとして、Typed Racket でLuhnアルゴリズムを実装したのでそのことについて記事を書きました。
    Typed Racket を使ってなにか書いたのは久しぶりだったのですが、いい感じに型がついてよかったのでしばらくは Typed Racket で何かをして記事を書くというのをやっていこうと思います。

    Typed RacketでLuhnアルゴリムを実装した
    https://www.tojo.tokyo/posts/typed-racket-luhn.html

    In conversation about a year ago from mastodon.tojo.tokyo permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: www.tojo.tokyo
      Typed RacketでLuhnアルゴリムを実装した
      from Masaya Tojo
      Typed Racket で Luhn アルゴリズムで番号を検証するのを作成した
  6. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 10-Jan-2025 16:39:50 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    リノートされてからの言及を見に行かない限り気づけないので厄介。見にいかなきゃよかったと思ったことある。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  7. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-Dec-2024 16:57:55 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    「Google Play 開発者サービスの利用」という通知を無効化すればうざい警告がでなくなるのか。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  8. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-Dec-2024 16:57:32 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    Google開発者サービスを無効化にしても実は問題ないと友人が言っているのだけど、無効化したところ大量のアプリから文句を言われたので有効化してしまった。
    無効化して大丈夫の根拠をもう少し集められたらまたやろうかなとは思うけど。。。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  9. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-Dec-2024 16:56:38 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    自治体に競争させるの本当に謎、自治体の本来の業務と関係ないのに何もしないと税収が減るから戦わないといけないという。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  10. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-Dec-2024 16:56:10 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    ふるさと納税興味ないのに、しないと損するというのもクソ制度

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  11. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-Dec-2024 13:20:08 JST きゅーけー きゅーけー
    in reply to
    • かき@GNUsocialJP
    • たかし

    @tak4 Data URI scheme であれば参照用の名前を付けなくてよいというところにも価値がありそうです。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  12. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-Dec-2024 13:19:36 JST きゅーけー きゅーけー
    in reply to
    • かき@GNUsocialJP
    • たかし

    @tak4 知ってはいたのですが、長くて嫌なので考慮していませんでした。
    ただ、折り返しをしなければ一行なのと、エディタ側で表示のコントロールをすればいいだけなのであまり問題ない気もしますね。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  13. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-Dec-2024 10:59:58 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    Lisp Advent Calendar 2024 の25日目の記事を公開しました!

    「末尾再帰への書き換え」をやめよう!
    https://www.tojo.tokyo/posts/stop-rewriting-to-tail-recursion.html

    正直無数に誤字や間違いがあるのではないかとなっているけど、今日はもう時間取れないので諦めて公開した。主旨が伝わってくれれば嬉しい。。。
    (気づきしだい直していきます。。。)

    In conversation about a year ago from mastodon.tojo.tokyo permalink

    Attachments


  14. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 24-Dec-2024 13:57:57 JST きゅーけー きゅーけー
    in reply to
    • かき@GNUsocialJP

    Zip みたいな形式でテキストと画像をバンドルしたして良い感じのビューアで表示できるみたいになっていたらよさそう。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  15. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 24-Dec-2024 13:57:57 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    テキストファイルの課題は画像挿入なんだろうな。まあテキストファイルなのでこれが課題なのはそりゃそうか。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  16. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 22-Dec-2024 14:18:35 JST きゅーけー きゅーけー
    in reply to
    • かき@GNUsocialJP

    自分は Orgzily Revival で閲覧と編集をできるようにして、 Termux から git commit & push してる。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  17. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 22-Dec-2024 14:18:35 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    テキスト形式で管理しているタスクを複数端末間で同期する方法、私は git で管理するのがベストという結論に至った。
    いままで何度も同期にまつわる不整合でイライラしてきたのだけどこれで解決したのでおすすめ。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  18. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 19-Dec-2024 17:07:33 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    マイクロソフト、SDGs アピールをしながらパソコンの大量廃棄を引き起こそうとしているのか。これだから企業のSDGsアピールはクソ。
    https://www.microsoft.com/ja-jp/sustainability

    In conversation about a year ago from mastodon.tojo.tokyo permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: cdn-dynmedia-1.microsoft.com
      Microsoft の持続可能性 - 持続可能な未来のための製品
      Accelerate your sustainability progress with powerful data and AI capabilities, technology solutions, and resources from Microsoft.
  19. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 19-Dec-2024 17:07:08 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    まだ使えるパソコンが捨てられる問題、SDGs推進派から攻撃されないんかな。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  20. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 19-Dec-2024 16:45:04 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    ソフトウェア代替としてのサービスであるため気に食わない話ではあるけど、Google などの企業によりソフトウェアを代替するWebアプリケーションが提供されたことで、OS上で動かす必要のあるソフトウェアが減少しており、「必要なアプリケーションが動かない」という問題の発生確率は下がっている。
    よって、Windows や macOS でなければならない理由は以前と比べれば少なくなっているため、今の時代において Linux だとシェアを取れないといえる根拠は少なくなっているように思う。

    In conversation about a year ago from mastodon.tojo.tokyo permalink
  • Before

User actions

    きゅーけー

    きゅーけー

    GNU Guix ユーザーの Lisper で、自由ソフトウェアと行動分析学が好きです。最近は ACL2 に自動推論させて定理を証明させるのにはまっています。注意このアカウントは深夜0時から朝7時までの間、自動的にアカウントがロックされるように設定されています。どんな状況でも0時を越えた途端に一切の反応がなくなるのでご了承ください。

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          601
          Member since
          23 Jul 2022
          Notices
          353
          Daily average
          0

          Feeds

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

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.