Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 08:49:06)
そもそも数学的に両立可能なのか疑問に思い始めてから、子供の頃からなんとなくあった統一理論への憧れ、超ひも理論への興味みたいなことが急速に崩れていくような感覚がある。同時に自分にはプラグマティズム的な感覚もあって、そもそも観測できない領域について論じる物理学って本当に必要なのだろうかということも考え始めるようになっていっている…
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 08:26:38)
理論物理学について、マクロの世界を記述する理論とミクロの世界を記述する理論と組み合わせた統一理論を作るという話があるけど、そもそもマクロの世界とミクロの世界を同時に表現できる体系というものが存在するかどうかって自明ではないのではないかということに気づいた。同時に成立しないことが数学的に証明できる可能性すらあるのではないか…
Reply to @relay@mastodon.hakurei.win
:onmyou::vc:Charlie Root@relay@mastodon.hakurei.win (2026-01-06 06:47:00)
ヨシ
---Attachments---
https://mastodon.hakurei.win/system/media_attachments/files/115/844/685/336/621/717/original/25ba4dc8e8c0acc6.jpeg
Reply to @relay@mastodon.hakurei.win
:onmyou::vc:Charlie Root@relay@mastodon.hakurei.win (2026-01-06 06:42:21)
出来たけど取りづらい
食感は柔らかめのシャリッとしたアイス､味は美味い
---Attachments---
https://mastodon.hakurei.win/system/media_attachments/files/115/844/664/746/481/641/original/b9f54d0d238d9f23.jpeg
たかし@tak4 (2026-01-06 01:43:32)
新しいオリキャラできた (人外だが)
気に入ったのでデザインを明確にして近々、ドット絵にしよう。
たかし@tak4 (2026-01-06 01:17:41)
筆ペンで絵を描くと、白黒時代のたまごっちみたいな雰囲気を出せるかも。
線が太いので。筆先の大きさを1ドットだと思って、その単位で描いていく。
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-06 01:14:59)
なんつーか、生きるのはとても難しい
Reply to @aaa
たかし@tak4 (2026-01-06 01:04:06)
有難うございます! 🦉さんからその様に言はれると大変励みになります。
絵からは離れてゐましたが、学生の頃は紙の隙間を絵で埋めるのに夢中で、今その感覚が戻って来ました。
ゲームを作るのがいつになるかは分かりませんが、諦めません。
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-06 00:52:47)
空腹だ
Reply to @tak4
🦉@aaa (2026-01-06 00:48:12)
好きな絵があって、自分も絵を描くというのは素敵で、羨ましいです。
いつかたかしさんのゲームを見るのが楽しみです
🦉@aaa (2026-01-06 00:43:44)
OpenSSLに依存しなくなったかわりにバイナリが1MBぐらい増えた
たかし@tak4 (2026-01-06 00:35:19)
寝る前に少しだけ絵の練習をしよう。
もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2026-01-06 00:21:58)
自社ビル（個人事業主なので自宅）
Reply to @tak4
たかし@tak4 (2026-01-06 00:20:27)
3D空間に2Dが混ざってゐることがあるのも良い。
たかし@tak4 (2026-01-06 00:14:38)
DSの3Dグラフィックが好き。
Nintendogsとかどうぶつの森とか。この二者は色使ひなどの雰囲気は違ふけど、どちらも良い。
Reply to @ksnk@pawoo.net
コシヌケ1040@ksnk@pawoo.net (2026-01-06 00:05:15)
あ、フォロワーぢゃなくてフォロー先だったかな。
コシヌケ1040@ksnk@pawoo.net (2026-01-06 00:04:36)
ツイッターはフォロワーが政治ヲタだとおすすめに政治ネタが流れてくるらしい。いや政治ネタ自体は嫌ひぢゃないんだけど、いまその気分ぢゃないんだよなってことは往々にしてあるわけでして…。
Reply to @tak4@mstdn.y-zu.org
@risahana@mstdn.jp (2026-01-06 00:01:33)
@tak4 うん！＼(^o^)／🦋 🦋 🦋
Reply to @risahana@mstdn.jp
たかし@tak4@mstdn.y-zu.org (2026-01-06 00:00:52)
@risahana 夜でもハロー0時です
@risahana@mstdn.jp (2026-01-06 00:00:12)
ハロー！夜の民＼(^o^)／
コシヌケ1040@ksnk@pawoo.net (2026-01-05 23:10:58)
ふしぎなひびき、センバキッチョー。
🦉@aaa (2026-01-05 23:08:33)
これで一通り作り終えた
修正がでなくなったらそれを1.0にしよう
たかし@tak4 (2026-01-05 22:46:31)
改めて哲学カフェをフォローしようかと思ったらフォローできてゐた。
有難う御座います。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-05 22:15:48)
ACL2は一見一回論理に限定されている分簡単そうに見えて、実際のところはバリバリ古典AIの究極成果みたいな感じで、ヒューリスティック探索のコツを掴んでいくことこそが大切だったりすることが難しい。
あと、ガードの話は書かないと静的型付け全盛期の今の時代いけない気がするものの、ガードがACL2のロジックに影響しせず、ガードはほかのガードとのみ影響し合うといったところは明らかに簡単に説明できるものではなく公式ドキュメントを読もうとなってしまうあたり大変…
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-05 22:12:04)
ACL2の記事執筆、あまりにも難産すぎて苦しくなってきたので一旦置いておくことにした。。。
そもそもむずすぎるし、書いていると無限に改善点が見つかる。。。
きゅーけー@tojoqk@mastodon.tojo.tokyo boosted:
@qnighy@qnmd.info (2026-01-05 22:00:32)
もしイベントを外部のアクターに処理させたければ、まず変更と同じトランザクションで(同じデータベースに)キュー要素を積み、それをワーカーが取り出して外部用のメッセージキューに投げ直すといった方法は考えられる
きゅーけー@tojoqk@mastodon.tojo.tokyo boosted:
@qnighy@qnmd.info (2026-01-05 22:06:17)
非同期処理のキューの場合結果整合性で済ますが前提なので絶対にトランザクショナルじゃないといけないわけではないが、メッセージ喪失の対策だけでも意外と大変なので最初からトランザクショナルにすればいいのに……という意図
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-05 22:07:13)
トランザクションの処理はRDBの中で完結させないとおかしくなるんだよな…
Masaki Hara@qnighy@qnmd.info (2026-01-05 22:06:17)
非同期処理のキューの場合結果整合性で済ますが前提なので絶対にトランザクショナルじゃないといけないわけではないが、メッセージ喪失の対策だけでも意外と大変なので最初からトランザクショナルにすればいいのに……という意図
Masaki Hara@qnighy@qnmd.info (2026-01-05 22:00:32)
もしイベントを外部のアクターに処理させたければ、まず変更と同じトランザクションで(同じデータベースに)キュー要素を積み、それをワーカーが取り出して外部用のメッセージキューに投げ直すといった方法は考えられる
Older Notes