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

    • Public
    • Network
    • Groups
    • Popular
    • People

Timeline for it list by senooken, page 33

せのお (妹尾 賢) senooken it Friday, 30-Nov-0001 09:18:59 LMT
  • Subscribe
Listed 8 Subscribers 0
  1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 26-May-2022 05:38:41 JST きゅーけー きゅーけー
    in reply to

    さいあく F-84W が私に似合ってなかったとしても薄いから服の下に隠せばいいんだ。半袖だと無理だけど。

    In conversation Thursday, 26-May-2022 05:38:41 JST from mastodon.tojo.tokyo permalink
  2. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 26-May-2022 05:35:39 JST きゅーけー きゅーけー

    スマホのアラーム使えばいいじゃんとかそういうのあるけど、結局あれは色んな通知とかがまざるしよくまれに充電切れる(充電しろ)し信頼できない。やはり腕時計がいいのだ。

    In conversation Thursday, 26-May-2022 05:35:39 JST from mastodon.tojo.tokyo permalink
  3. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 26-May-2022 05:33:22 JST きゅーけー きゅーけー

    外出時に時報をオフにして帰宅時に時報をオンにする習慣を付ければいい。行動科学を以ってすればこの程度造作もない(雑に言ってる)。

    In conversation Thursday, 26-May-2022 05:33:22 JST from mastodon.tojo.tokyo permalink
  4. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 26-May-2022 05:32:06 JST きゅーけー きゅーけー

    昔はアラームが5つあるモデルも買ったことあるんだけど、あれは結局使いこなせなかった。結局アラームは一個でいいんだ。どうせ目覚しは腕時計に期待することじゃないわけで、1つのアラームを状況に合わせて使いこなせればそれでよい。

    In conversation Thursday, 26-May-2022 05:32:06 JST from mastodon.tojo.tokyo permalink
  5. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 26-May-2022 05:29:49 JST きゅーけー きゅーけー

    外でちょっと時報がなっちゃったときの迷惑レベルはそこまでじゃないと思う。一瞬、「ピ!」ってなっちゃうくらいのことは許されて欲しい。

    In conversation Thursday, 26-May-2022 05:29:49 JST from mastodon.tojo.tokyo permalink
  6. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 26-May-2022 05:27:39 JST きゅーけー きゅーけー

    何に期待して F-84W をまた使おうとしているのかというと、時報機能。生活において時報は地味に役立つ機能だと思う。まあ、外出時に鳴らないように細心の注意が必要だが家での生活においてなんか便利だと思う。

    In conversation Thursday, 26-May-2022 05:27:39 JST from mastodon.tojo.tokyo permalink
  7. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 26-May-2022 05:26:04 JST きゅーけー きゅーけー

    G-SHOCK も買ったんだけどあれはちょっとゴツすぎるし、操作も複雑でつらい。シンプルな方がいい。

    In conversation Thursday, 26-May-2022 05:26:04 JST from mastodon.tojo.tokyo permalink
  8. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 26-May-2022 05:25:33 JST きゅーけー きゅーけー

    色々考えた結果、腕時計は CASIO の F-84W を使うことにした。なんか似合ってないとか言われることもあるけど気にしない気にしない。

    In conversation Thursday, 26-May-2022 05:25:33 JST from mastodon.tojo.tokyo permalink
  9. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 26-May-2022 01:21:59 JST きゅーけー きゅーけー

    なんとなくソフトウェアのプロジェクトページを作ってみた。

    Pict-conshttps://www.tojo.tokyo/projects/pict-cons.html

    In conversation Thursday, 26-May-2022 01:21:59 JST from mastodon.tojo.tokyo permalink
  10. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 23:05:38 JST きゅーけー きゅーけー

    Emacs のテーマ、意外とデフォルトのテーマって結構良いのではないかと最近思うようになった。

    In conversation Wednesday, 25-May-2022 23:05:38 JST from mastodon.tojo.tokyo permalink
  11. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 22:33:40 JST きゅーけー きゅーけー
    in reply to

    暦の計算で役立つ以外になんかあったんだろうか。

    In conversation Wednesday, 25-May-2022 22:33:40 JST from mastodon.tojo.tokyo permalink
  12. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 22:33:01 JST きゅーけー きゅーけー

    昔の日本の謎の数学ムーブメントなんだったんだろう。西洋と違ってあんまり実用的な話じゃない感じだし本当にただ「解けた!」「やった!」という感じでしかないのが面白い。

    In conversation Wednesday, 25-May-2022 22:33:01 JST from mastodon.tojo.tokyo permalink
  13. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 22:28:04 JST きゅーけー きゅーけー

    あ、これブラウザの話か。自分への影響はなさげだけどよくない話ではあるな……。

    In conversation Wednesday, 25-May-2022 22:28:04 JST from mastodon.tojo.tokyo permalink
  14. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 21:04:15 JST きゅーけー きゅーけー
    in reply to

    現実的に考えると GNU Guile よりも Racket の方がインストールしやすいので、とりあえず vikalpa を Racket に移植する感じになるかな。マクロには syntax-case 使ってるしたぶん簡単だと思ってる。

    In conversation Wednesday, 25-May-2022 21:04:15 JST from mastodon.tojo.tokyo permalink
  15. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 21:02:01 JST きゅーけー きゅーけー
    in reply to

    J-Bob よりもインターフェースが優れてると思うので、定理証明手習いの障壁が下がると思うんだよな。

    In conversation Wednesday, 25-May-2022 21:02:01 JST from mastodon.tojo.tokyo permalink
  16. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 21:01:26 JST きゅーけー きゅーけー

    次は自分で作った定理証明支援系である vikalpa の動画投稿しようかな。ただあれはコードがごちゃごちゃしてるところあるし、リファクタリングしたい気持ちあるんだよな。

    In conversation Wednesday, 25-May-2022 21:01:26 JST from mastodon.tojo.tokyo permalink
  17. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 18:47:44 JST きゅーけー きゅーけー

    動画作る大変さって本当にやってみないと分からないものだと思う。得にエンコードがつらい。だいぶ fps と画質を犠牲にした。

    In conversation Wednesday, 25-May-2022 18:47:44 JST from mastodon.tojo.tokyo permalink
  18. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 18:40:09 JST きゅーけー きゅーけー

    新記事投稿しました。解説動画付き記事という試み。

    自動定理証明器 ACL2 の入門向けに L-99 の1問目を解きましたhttps://www.tojo.tokyo/acl2-L-99-1.html

    In conversation Wednesday, 25-May-2022 18:40:09 JST from mastodon.tojo.tokyo permalink
  19. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 03:24:56 JST きゅーけー きゅーけー

    Windows にはメモ帳っていう優れたアプリケーションがあるんだからそれ使えばいいのになんでわざわざ Word で情報をやりとりするんだろう。

    In conversation Wednesday, 25-May-2022 03:24:56 JST from mastodon.tojo.tokyo permalink
  20. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 25-May-2022 03:23:29 JST きゅーけー きゅーけー

    デジタル市場競争会議の話を聞いた。提出フォーマットがワードなだけでモチベ下がるのなんなのだろう。

    では何だったらいいのかって話になるけど、個人的になんでテキストファイルじゃだめなのかよく分かんない。装飾が大切なんかな。

    In conversation Wednesday, 25-May-2022 03:23:29 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.