Pinned toot
boosted

@PC関連の機器に詳しい方
DVDドライブを傾けるとカラカラカラカラ何か細かい部品が転がってる音がするんですけど,買い替えるべきですか。
読み書きは,遅いけど(多分)正常です。

HP製のSuper Multi DVD Rewriter
製品番号: GH82N (A2HH)

streamable.com/5muumm

(集合論の)集合って構造あるよね?
ぱっと出典を挙げられないんだけど,Wikipedia兄貴とかは「集合に適当な数学的構造を加味したもの」みたいな言説をしている。でも,「集合」として定義できている時点で,集合の要素の間には「同じ集合に属する」という関係がある以上,構造を成してると思うんだけど? それとも,文脈で推し量るべき,もっと狭義な「構造」なのかな。

boosted

github.com/mathmathniconico/No

位相ライク、open、closedという語彙がいまいち。何か良い言葉ありますかね。

open/closedは開/閉とは一般的な定義と違うので使いたくない。無難なのはフィルター開、フィルター閉だが長い。

位相ライクも微妙な言い方で、位相的とは言いたくない。位相から着想を得た概念という意味なので。

boosted

Do you know any website that use free (as in freedom) JavaScript? I'm creating a list of them.

>>BT
マジレスすると意識が到達したという事象は当事者が観測できる事実なので、おそらく光速度は超えられない。
おそらく、「物体では無いから光速度を超えられる」と言うのは空間膨張が光速度を超えると言う事実からの類推だろうけど、空間の膨張の速度が光速度を超えるというのは空間がめちゃめちゃ特殊な性質を持っているからであって、空間が非物質だからではない。

boosted

自意識は物体ではないので見かけ上光速を超える速度で膨張しても特殊相対性理論と矛盾しないぞい(?)

boosted

日本語がこの文脈で最悪なのは、時間の文脈での「前」が過去なのに対して、進むものの文脈での「前」が未来方向で、かつ「時間は進む概念である」という了解が存在するところ

WikimediaのBabelみたいに,「わたしは〜語を母国語とし,〜語をある程度使えます」という情報を共通の形式で表現する方法ってなにかあるのかな。

「クレオール語」の「クレオール」って地名なのか……。

ノルウェーの国名符号は “no” なのか。
いずれにしてもひどい設計。

twitter.com/kotatsu_mi/status/

Mathtodon では自己批判的な投稿ができると言われています\({}^\text{[誰によって?]}\)。

SKK辞書Lに「勃つ」って収録されてるのかよw
しかも註釈が「モノが勃つ」

boosted

明示的非濁音としての半濁点(反濁点)マーク

>>BT
「Web使役」じゃなくて「(Webを介した)情報交換規約」を考えて広めたほうが,結果的には永続するんだよな。最初期のHTTP鯖なんてもう廃棄されてるだろうけど,HTTP自体は健全だし。問題は,全く独占できずに一銭も儲からない場合が多いので,経営として成立しにくい。

boosted

Mastodon (営利)も厳しくて、 Mastodon(思想)じゃないと残ってないからなぁ。。。

計算機が理論的にはどれくらいの情報処理速度を達成できるのかという,Bremermann限界を解説。
Einsteinの質量-エネルギー交換公式から導かれるその値は,
\[
1.3564 \times 10^{50}\,
\mathrm{bits/s/kg}
\]
当然,現実問題としてこんな莫大な情報処理速度は達成できないけど,例え全ての技術的障壁を乗り越えたとしても,これ以上の性能は物理的に得られない。

youtu.be/UWAtCiK4cK0

え,pipってpython3 -m pipみてーにモジュールとして起動するのが推奨されてるの?
知らんかった。

github.com/pypa/pip/issues/559

Show more
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.