icon

自然物形状は登録の敷居が激高とか聞くしなあ……と思ったけど、ティラノサウルスなんかは復元想像図のほうが昔とは激変してしまったので、モチーフのほうが勝手に(?!)別物になってしまったことになる……の??

シン・ゴジラ(第4形態)のフィギュアが立体商標登録へ(栗原潔) - エキスパート - Yahoo!ニュース
news.yahoo.co.jp/expert/articl

Web site image
シン・ゴジラ(第4形態)のフィギュアが立体商標登録へ(栗原潔) - エキスパート - Yahoo!ニュース
icon

バネ仕掛けですぱーんって飛ばすやつだっけ。

2024-11-07 11:32:22 KOBA789の投稿 koba789@misskey.io
icon

このアカウントは、notestockで公開設定になっていません。

icon

西日本のJJYの送信所は脊振山系にあるらしいので、見に行きたいなあ……と思ってたら疫病がきてそのままになっていた。舗装路を山登りすれは基部の見学もできるらしいけど、体力持つ気がしない(

はがね山標準電波送信所 ja.wikipedia.org/wiki/はがね山標準電波

Web site image
%E3%81%AF%E3%81%8C%E3%81%AD%E5%B1%B1%E6%A8%99%E6%BA%96%E9%9B%BB%E6%B3%A2%E9%80%81%E4%BF%A1%E6%89%80
icon

うちにある電波時計はアナログなので、リセットすると針がイニシャルでぐるぐる周り始めるのだけど、時刻合わせは終わってそうな1分が過ぎてもまだ回ってたりするので、なんか誤魔化されてるような微妙な気分はしないでもないw

icon

もし次の「分」の情報だと、うるう秒の分を超えて最初のマーカーが来るまで厳密には秒が確定しないし(カレンダーと予告フラグで推測はできるけど、ああいう分野って推測を嫌いそうという偏見

icon

JJYは進行中の「分」の情報なので、分/時までデコードした時点で秒も確定する、つまり毎分18〜19秒あたりで時刻(時分秒)だけは正確に表示できるようになるから、時計用途だとそっちのが便利……とかなのかしら。

2024-11-07 10:16:10 シャポコ🌵の投稿 shapoco@misskey.io
icon

このアカウントは、notestockで公開設定になっていません。

icon

プログラム言語に限っても、等号演算子の挙動は文字列比較(Javaの文字列を=で比較するな伝説)からハッシュ(辞書)の扱い(キーにオブジェクトを突っ込んで安全か?)とかまで影響しがちから、知らない言語を勉強するときはそこらへんは地味に気にしたりはしますわね。

icon

コンピュータでの等価性というと、反射的には「ポインタが一致してればいいのか、バイナリ表現まで一致してればいいのか、バイナリは違っても意味が同じならいいのか」は全部別物(演算子も別)だけど、紙の数学ではそこらへんの前提が歴史的暗黙的なので、形式論的? に機械化しようとすると逐一再考する必要があってめんどいのをなんとかする必要がある/やっている……みたいな話かしら(なにもわからない

2024-11-07 08:59:26 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

数学の「=」(等しい)とはどういうことか? 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」:Innovative Tech - ITmedia NEWS
itmedia.co.jp/news/articles/24

この記事で一番引っ掛かっているのは記事タイトルに足された「コンピュータの登場で定義が曖昧に」という部分で、元論文は advanced / modern mathematics で特に曖昧にされがちという話はしているが「コンピュータの登場で定義が曖昧に」なったなどという話はしてないはず。
定理証明支援に落とそうとすることで、もともと含まれていたそういった曖昧さが露呈した、という話だったように原文は読める。

Web site image
数学の「=」(等しい)とはどういうことか? 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
2024-11-07 09:42:55 のえるの投稿 noellabo@fedibird.com
icon

Mastodonの構成の話。

ちいさなサーバは、VPSを一つ借りて、必要なプロセスを一つずつ起動して実行しています。

nginx、puma、sidekiq、node、postgresql、redisってとこかな。

nginxが外からのAPIアクセスや連合のリクエストを受け付けて、背後で実行しているMastodonのアプリケーションサーバであるpuma(mastodon-web)に処理を依頼します。

pumaは受け付けた内容を、その場で応答するものと、バックグラウンド処理にまわすものにわけます。

バックグラウンド処理は、小さなジョブに分割し、種類毎に順番待ちの列に突っ込んで、sidekiqプロセス(mastodon-sidekiq)が処理を行います。

pumaやsidekiqは、ユーザーにリアルタイムに知らせるべき内容をredisにpublish(発行)しておきます。

それをnode(mastodon-streaming)のプロセスが、現在subscription(購読)しているユーザーに対し、サーバ側からクライアント側に次々と流していきます。タイムラインがリアルタイム更新されていく仕組みです。

2024-11-07 03:23:43 シャポコ🌵の投稿 shapoco@misskey.io
icon

このアカウントは、notestockで公開設定になっていません。