Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-15 20:49:44)
PLFAにでてくる Bin の正規化された構造が自然数と同型な構造のいい具体例なのでちょうどいい。
たかし@tak4@pixelfed.tokyo (2026-01-15 20:49:13)
飼育生物。マルウズラタマキビ。殻の細かい模様が特徴。先の二枚と後の二枚は別個体。
---Attachments---
https://pixelfed.tokyo/storage/m/_v2/913455706248965777/ffe7c43a6-a8b5f2/x8qhS2efmuPc/PCRnOjKolvtqukDQAg16nRurpcdRo8EKAoE0PHCX.jpg
https://pixelfed.tokyo/storage/m/_v2/913455706248965777/ffe7c43a6-a8b5f2/em6witnnEpZ7/fpwxTbDv8fvKYO8Cc6XGKu6JcTV3oGZShYhMJ5Bt.jpg
https://pixelfed.tokyo/storage/m/_v2/913455706248965777/ffe7c43a6-a8b5f2/Hi21FgW1noji/vRpVedCD0iMue8Xn8evOWCZP2p97tSB0eWB7fXPY.jpg
https://pixelfed.tokyo/storage/m/_v2/913455706248965777/ffe7c43a6-a8b5f2/k4h4obsxDYb3/ozD7QTWJ5bnbrU7oe1cbHr9oCy7Q3tx4y5H2LWHa.jpg
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-15 20:48:01)
Agdaの取り組みに戻れるのが最大の回復といっていい。PLFAの1章をCubical Agdaでやってみようと思っていたところで体調不良で倒れていたので、これをやってみる。
本当は1labをしっかり学習した方がいいような気がするけど、なんというか私は暇なので色々勝手に試行錯誤した方が身につきそうでかつ楽しいので。。。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-15 20:38:08)
結構な日数の日記の穴があいたけど、普段の日記の網羅度が高いため、日記が書かれていないという事実がある意味記録になる。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-15 20:35:15)
重い体調不良によって、しばらくの間パソコンを開いてタイピングすることすら困難な状態だったのが、今日仕事をしたことでパソコンタイピングに対する壁が無事に消失した
Reply to @ksnk@pawoo.net
コシヌケ1040@ksnk@pawoo.net (2026-01-15 17:27:56)
てっきり公明民主党とかにして略称でなりふりかまはず票取りに行くのかと思ってた。
コシヌケ1040@ksnk@pawoo.net (2026-01-15 17:22:28)
新党解決より対決。
Rikuoh Tsujitani@riq0h@letter.mystech.ink (2026-01-15 17:17:37)
「中道改革」とは矛盾にもほどがあるフレーズだが、とにかく表向きリベラル色を消すのが急務なのだろうね。世知辛いな……。
Coro@Coro@mstdn.maud.io boosted:
@K0eKaN@mstdn.maud.io (2026-01-15 15:36:45)
台湾、中国スマホ「ワンプラス」ＣＥＯに逮捕状 違法な事業巡り | ロイター
台湾の検察当局が、中国のスマートフォンメーカー、ワンプラスのピート・ラウ最高経営責任者が台湾で違法な事業と人材採用活動に関与したとして昨年１１月に逮捕状を発行していたことが１４日までに分かった。
https://jp.reuters.com/world/china/RPMNLN3S5RO67CH3Q4ZKRCXOIE-2026-01-14/
K0e@K0eKaN@mstdn.maud.io (2026-01-15 15:36:45)
台湾、中国スマホ「ワンプラス」ＣＥＯに逮捕状 違法な事業巡り | ロイター
台湾の検察当局が、中国のスマートフォンメーカー、ワンプラスのピート・ラウ最高経営責任者が台湾で違法な事業と人材採用活動に関与したとして昨年１１月に逮捕状を発行していたことが１４日までに分かった。
https://jp.reuters.com/world/china/RPMNLN3S5RO67CH3Q4ZKRCXOIE-2026-01-14/
コシヌケ1040@ksnk@pawoo.net (2026-01-15 14:22:03)
うなぎの寝床みたいなすき屋で、窮屈な思ひをしながらカレーを食べる。安いのは良いけど都心は大変だ。
Reply to @tak4
たかし@tak4 (2026-01-15 13:59:37)
スマホはサービスに接続する端末でありプロプライエタリなシステムでも仕方がないのだと割り切ってゐる。
ただカメラは真面目に使ってゐるのでスマホから切り離したくなる。
候補はlinuxスマホかデジタルカメラか。
Rikuoh Tsujitani@riq0h@letter.mystech.ink (2026-01-15 13:16:38)
えっ？！ 今日からボトムズの話をしていいのか！？
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-15 12:59:32)
生まれて初めてマクドナルドで野菜ジュース頼んだかも
:onmyou::vc:Charlie Root@relay@mastodon.hakurei.win (2026-01-15 12:41:24)
スターリンクのスターリンの部分
コシヌケ1040@ksnk@pawoo.net (2026-01-15 10:11:37)
この時間のグリーン車わりと人乗るんだな。
たかし@tak4 (2026-01-15 09:51:59)
昨夜はウチの巻貝の写真を撮ってゐたら楽しくて24時を過ぎた。
スマホのカメラアプリでフォーカス?を手動調整することを覚えた。
jcpb@jcpb@mstdn.jp (2026-01-15 09:42:14)
#みくちゃ #Mikuture #初音ミク
「マスターはミクの痛バッグのために頑張っています(*´ω`*)」
---Attachments---
https://img.mstdn.jp/media_attachments/files/115/896/334/990/737/563/original/f1b6a177e68662c1.png
たかし@tak4 boosted:
@ksnk@pawoo.net (2026-01-15 04:13:03)
せんせ〜。
#かながある
---Attachments---
https://img.pawoo.net/media_attachments/files/115/895/039/767/148/890/original/57f92da339af4bec.jpg
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-15 08:44:31)
寒すぎ。。。すごく病み上がりで家を出た選択が誤りだったのではないかと悩ましく思う。引き返して寝たほうがいいのかこれ。
Rikuoh Tsujitani@riq0h@letter.mystech.ink boosted:
@riq0h@letter.mystech.ink (2026-01-14 21:20:49)
日記。創元SF短編賞に応募した。昔も今も選考中はいつも屍になりそうになる。
riq0h.jp/2026/01/14/162743/
コシヌケ1040@ksnk@pawoo.net (2026-01-15 05:42:43)
ふぁんぼ〜、ふぁんぼです。
今回は、支援者限定です。
https://ksnk1040.fanbox.cc/posts/11242769
コシヌケ1040@ksnk@pawoo.net (2026-01-15 04:13:03)
せんせ〜。
#かながある
---Attachments---
https://img.pawoo.net/media_attachments/files/115/895/039/767/148/890/original/57f92da339af4bec.jpg
Winston Smith@dm29@mastodon.social (2026-01-15 03:42:32)
@Tuba Can I follow Pixelfed from Tuba?
コシヌケ1040@ksnk@pawoo.net (2026-01-15 01:56:51)
艦これってコンテンツとしてはまだ動いてるの？ ファンはみんなブルアカに行っちゃったものだと思ってたけど。
Coro@Coro@mstdn.maud.io (2026-01-15 01:29:41)
KDE Plasma、カーソルがデスクトップ上二ある時マウスホイールで仮想デスクトップを移動できるんだ。3年使って初めて気がついた
Reply to @sivy@hachyderm.io
Steve has ☕️ for brains@sivy@hachyderm.io (2026-01-15 01:17:02)
RE: https://hachyderm.io/@sivy/115894344909627768
@Tuba not sure where to go now...
Steve has ☕️ for brains@sivy@hachyderm.io (2026-01-15 01:16:02)
First hiccup on #asahilinux #fedoraremix #gnome #arm64
The Tuba fediverse app crashes. Tried installing:
- via "Software" (fedora option)
- via "Software" (flatpak option)
- via direct download (flatpak)
コシヌケ1040@ksnk@pawoo.net (2026-01-15 01:10:41)
俺の現Xはタイムラインもおすすめもいはゆる保守派ばかりだから、立・公の協力について各党の支持者がどう受け止めてゐるのか、さっぱり判らない。
コシヌケ1040@ksnk@pawoo.net (2026-01-15 00:39:16)
どうもこの一年半、何度も選挙をやってゐる気がする…。
Older Notes