00:10:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 00:10:21 自鯖の丼復活しましたの投稿
jnsk@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
13:15:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
トポロジと言えばネクタイの結び方をトポロジ問題と解釈して最終的に三角格子上のランダムウォーク問題として定式化，この格子上のうち左への移動と右への移動の回数がおおむね均等かつ結び目が大きすぎないように移動回数に上限を設けるという制約を付けることで，考えうる全てのネクタイの結び方を列挙・解説したイギリスの物理学者たちが好き
13:15:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
『ネクタイの数学』で解説されるネクタイの結び方はよくあるネクタイの結び方解説サイトみたいな画像でのややこしい解説じゃなくて，三角格子上の移動にエンコードしたことで形式言語としてネクタイの結び方を記述しているので，実はとってもわかりやすい。ネクタイの結び方を別の結び方にするマニュアルとして使える本である。
13:16:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
13:18:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
13:22:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ネクタイの結び方を形式言語として記述すると何がうれしいかと言うと，シングルノットのように小剣を引き抜くだけで解ける結び方と，ハーフウィンザーノットのように小剣を引き抜くと一つ結びが残ってしまう結び方が定義から明かになる。
13:22:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ちなみにウィンザーノットはハーフウィンザーと違って小剣を引き抜くだけで解けるし，形式言語での定義をみるとハーフウィンザーは全然ウィンザーの半分ではない。
13:22:50
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
13:23:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
13:26:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 13:22:37 えすかるごの投稿
Escargot32@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
13:26:50
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 13:24:01 えすかるごの投稿
Escargot32@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
13:26:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 13:25:11 えすかるごの投稿
Escargot32@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
13:26:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 13:26:07 えすかるごの投稿
Escargot32@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
13:27:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
13:28:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
13:31:06
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
絶版というとなにか大変なことのように聞こえますが世の中に新しく出た書籍のうちだいたい半分は絶版になるので
13:31:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
13:32:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
十分な時間が経てば教典以外の本はほぼ絶版になってそう
13:32:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
トータルではなく1年あたり?時間がたてばもちろんどんどん増えていくが
13:33:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 13:30:25 よみたそまるの投稿
yomi@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
13:33:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
13:35:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
私がちゃんと追えてるVTuber、木曽あずきと関宮ひかげくらいしかいない
13:40:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
高い城のアムフォとバーチャル数学科大学院生いたりんっも好きだけど、気力が充実したときに観ないとなんかよくわからんまま動画が終わってしまうので貯まりがち
13:42:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
おすすめのチャンネルはCERNとFermilabです、よろしくお願いします
13:44:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:37:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 03:36:30 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
16:37:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:38:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 16:29:21 千矢の投稿
karno@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
16:46:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
TDP35WのAthlon 240GE/220GEがデビュー、Radeon Vega 3搭載
16:48:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:51:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
これ、あと3000円くらい出すと同社の最大同時8チャンネル（4x地デジ、4xBS/CS）モデルが買えるっぽい
16:53:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
むしろ同時4チャンネル（2x地デジ、2xBS/CS）モデルに数千円足して5チャンネルを自由に割り当てられるようになると見るべきか
16:54:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 01:34:57 blew@新刊感想お待ちしてます🎨 🐞🍋🔞の投稿
blew@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:53:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 21:07:44 三丈えいる🐱 🔞の投稿
straynight@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:56:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-01-20 22:54:50 TOMOKI++の投稿
tomoki@vocalodon.net
このアカウントは、notestockで公開設定になっていません。
