ネクタイの結び方を形式言語として記述すると何がうれしいかと言うと,シングルノットのように小剣を引き抜くだけで解ける結び方と,ハーフウィンザーノットのように小剣を引き抜くと一つ結びが残ってしまう結び方が定義から明かになる。
Notices by Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io), page 131
-
まちカドおるみん (orumin@mstdn.maud.io@mstdn.maud.io)'s status on Sunday, 20-Jan-2019 13:17:57 JST
まちカドおるみん
-
!規則正しい生活 (aiwas@yysk.icu@yysk.icu)'s status on Sunday, 20-Jan-2019 13:17:55 JST
!規則正しい生活
ネクタイの数学、絶版ですね
-
まちカドおるみん (orumin@mstdn.maud.io@mstdn.maud.io)'s status on Sunday, 20-Jan-2019 13:10:15 JST
まちカドおるみん
『ネクタイの数学』って本です。読んでね。
-
まちカドおるみん (orumin@mstdn.maud.io@mstdn.maud.io)'s status on Sunday, 20-Jan-2019 13:11:45 JST
まちカドおるみん
『ネクタイの数学』で解説されるネクタイの結び方はよくあるネクタイの結び方解説サイトみたいな画像でのややこしい解説じゃなくて,三角格子上の移動にエンコードしたことで形式言語としてネクタイの結び方を記述しているので,実はとってもわかりやすい。ネクタイの結び方を別の結び方にするマニュアルとして使える本である。
-
まちカドおるみん (orumin@mstdn.maud.io@mstdn.maud.io)'s status on Sunday, 20-Jan-2019 13:09:24 JST
まちカドおるみん
トポロジと言えばネクタイの結び方をトポロジ問題と解釈して最終的に三角格子上のランダムウォーク問題として定式化,この格子上のうち左への移動と右への移動の回数がおおむね均等かつ結び目が大きすぎないように移動回数に上限を設けるという制約を付けることで,考えうる全てのネクタイの結び方を列挙・解説したイギリスの物理学者たちが好き
-
自鯖の丼復活しました (jnsk@mstdn.maud.io)'s status on Sunday, 20-Jan-2019 00:10:21 JST
自鯖の丼復活しました
@らすと(Rust)に強い各位
https://github.com/way-cooler/way-cooler
これのビルドしてたら「複数の find_mapが見つかりました」とか言われてビルドコケるんですけどなんか良い方法ないですか
https://doc.rust-jp.rs/the-rust-programming-language-ja/1.6/book/ufcs.html -
Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:54:08 JST
Masanori Ogino ????
こわい
In conversation from mstdn.maud.io permalink -
ヒポポタマスジ (otakyuline@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:53:34 JST
ヒポポタマスジ
In conversation from mstdn.maud.io permalink Repeated by omasanori@mstdn.maud.io Attachments
-
Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:53:30 JST
Masanori Ogino ????
わかる
In conversation from mstdn.maud.io permalink -
ヒポポタマスジ (otakyuline@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:52:43 JST
ヒポポタマスジ
簡単な仕事1700円とか見る度に何をやらされるんだろうみたいなことを思う
In conversation from mstdn.maud.io permalink Repeated by omasanori@mstdn.maud.io -
ヒポポタマスジ (otakyuline@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:52:09 JST
ヒポポタマスジ
パソコンが隠語かもしれない...
In conversation from mstdn.maud.io permalink Repeated by omasanori@mstdn.maud.io -
おさ (osapon@mstdn.nere9.help@mstdn.nere9.help)'s status on Saturday, 19-Jan-2019 23:51:35 JST
おさ
パソコンをバラバラにする仕事!!
In conversation from mstdn.nere9.help permalink Repeated by omasanori@mstdn.maud.io -
mochi2wasabi (mochi2wasabi@mochiwasadon.com)'s status on Saturday, 19-Jan-2019 23:50:14 JST
mochi2wasabi
これ
In conversation from mochiwasadon.com permalink Repeated by omasanori@mstdn.maud.io Attachments
-
Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:46:37 JST
Masanori Ogino ????
本を書くのはね、すごい
In conversation from mstdn.maud.io permalink -
Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:46:06 JST
Masanori Ogino ????
実装したのもえらいし、本を書いて出したのもえらい
In conversation from mstdn.maud.io permalink -
パンッ!て手を叩いたらさつまいもの天ぷらが出てくる研究 (ikr7@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:40:36 JST
パンッ!て手を叩いたらさつまいもの天ぷらが出てくる研究
代数的数をつくるやつ、すごいよね。可算なんだからプログラムに落とせそうだな、とかまではボンヤリ考えたことあるけど、バリバリと実装していくことができるのはほんとうに羨ましい
In conversation from mstdn.maud.io permalink Repeated by omasanori@mstdn.maud.io -
Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:38:30 JST
Masanori Ogino ????
『週刊 代数的実数を作る』完結してたのか、チェックしよう
In conversation from mstdn.maud.io permalink -
ワトソン (wtsnjp@mstdn.jp)'s status on Saturday, 19-Jan-2019 23:28:32 JST
ワトソン
Qiita の記事を「面白い〜」って読んでたら『代数的数を作る』という,買ったはいいが全然読んでいなかった同人誌への言及があり心が痛んだので「はじめに」を読んだ(そこだけかよ)(改ページ直後に見出しが来た場合にスキップが入ってしまっているっぽい組版上の問題を発見したが見なかったことに)
In conversation from mstdn.jp permalink Repeated by omasanori@mstdn.maud.io -
六橋 (6hs1@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:28:20 JST
六橋
モのフォント見本帳4冊あるんだけどなに?
In conversation from mstdn.maud.io permalink Repeated by omasanori@mstdn.maud.io Attachments
-
Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io)'s status on Saturday, 19-Jan-2019 23:32:12 JST
Masanori Ogino ????
でもLINE自身の情報によるとテキストメッセージはE2E暗号化されるけれどスタンプはされないらしいのでスタンプ化することで秘匿性が下がっているのでは
In conversation from mstdn.maud.io permalink