【サービス終了のお知らせ】
2025年4月20日(日)の20時をもちまして、favologのサービスを全て終了することとなりました。
「いいね」のログデータについては、PC版でログイン後の管理画面よりダウンロードすることが可能です。

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 389,756/311,170
  • フォロー 995 フォロワー 14,556 ツイート 293,980
  • 現在地 (^-^)/
  • Web https://genkuroki.github.io/documents/
  • 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
«< 前のページ12のページ >»
並び順 : 新→古 | 古→新

2022年01月03日(月)

黒木玄 Gen Kuroki @genkuroki

22年1月3日

#数楽 囲碁と組み合わせゲーム理論の関係は、combinatorial game theoryの略称CGTをもじった #CGoT のタグをつけて沢山ツイートしていたときがあった。

その記録は

twilog.org/genkuroki/hash...

で読める。

タグ: CGoT 数楽

posted at 10:39:01

   

2019年06月29日(土)

黒木玄 Gen Kuroki @genkuroki

19年6月29日

#数楽 #CGoT 確かどこかでコンウェイさんは組み合わせゲーム理論を趣味な囲碁を数学的に理解するためだと語っていたはず。

囲碁の終局図では黒白の双方が盤面に着手すると損をする状況。

そういう囲碁の終局図の状況を一般化すると、コンウェイさんによる数の定義が得られます。

タグ: CGoT 数楽

posted at 10:42:48

   

黒木玄 Gen Kuroki @genkuroki

19年6月29日

#数楽 #CGoT

コンウェイの組み合わせゲームにおける数(通称「超現実数」)の積の定義はリンク先の通り。

x = {xL|xR} はデデキント切断を特別な場合として含む。帰納的な定義になっていることに注意。

この定義は非常にシンプルなので初めて知ったときに感動する。

twitter.com/musicisthebest...

タグ: CGoT 数楽

posted at 10:31:29

   

2019年06月28日(金)

黒木玄 Gen Kuroki @genkuroki

19年6月28日

#数楽 #CGoT 以下は変な思い込みに過ぎない。

偏見→順序数の和と積は当然非可換である。

偏見→自然数の和や積は「ペアノの公理」で定義されている。

組み合わせゲーム理論での順序数の和と積の定義は自明に可換。その自然数の和と積の定義への制限は所謂「ペアノの公理」のスタイルとは異なる。

タグ: CGoT 数楽

posted at 12:15:06

   

黒木玄 Gen Kuroki @genkuroki

19年6月28日

超現実数の積の定義は、自然数の通常の積の定義を含んでいてかつ、帰納的でかつ、帰納法によって可換性が明らかなスタイルになっている。

所謂「ペアノの公理」のスタイルの自然数の積の帰納的な定義しか知らない人は、変な思い込み捨てるために、超現実数について学ぶ価値があると思う。 #数楽 #CGoT

タグ: CGoT 数楽

posted at 12:09:15

   

黒木玄 Gen Kuroki @genkuroki

19年6月28日

あと、Dedekind cutでの積の定義は面倒というような話もちょっと前に流れて行った感じがする。

超現実数の積の定義は本質的にデデキント切断による実数の積の定義を含んでいてかつ、非常にシンプルである。

超現実数について知っていると見え方が変わって来る話題は結構多いと思う。 #数楽 #CGoT

タグ: CGoT 数楽

posted at 12:02:12

   

2019年06月11日(火)

黒木玄 Gen Kuroki @genkuroki

19年6月11日

#数楽 combinatorial game theory の略称の CGT をもじった #CGoT (C碁T)のタグをつけた私の雑談を

twilog.org/genkuroki/hash...

で読める。

タグ: CGoT 数楽

posted at 10:59:40

   

2018年07月30日(月)

黒木玄 Gen Kuroki @genkuroki

18年7月30日

#CGoT コンウェイさんは趣味の囲碁を数学的に扱うために組合せゲーム理論を作ったのですが、その無限版は全ての順序数と実数を含む実閉体を含むというちょっと笑えるものになりました。所謂超現実数(surreal numbers)の話。

en.m.wikipedia.org/wiki/Surreal_n...

タグ: CGoT

posted at 22:46:19

   

黒木玄 Gen Kuroki @genkuroki

18年7月30日

#CGoT 私は生きた圏の種類をあまり知らないので、感覚的に「幾何的」ではない感じの圏としてはコンウェイさんの意味での組合せゲームのなす圏を思い浮かべます。射は後手番の必勝戦略。恒等射は「真似碁戦略」。

golem.ph.utexas.edu/category/2009/...

タグ: CGoT

posted at 22:42:35

   

2017年03月24日(金)

黒木玄 Gen Kuroki @genkuroki

17年3月24日

#数楽 以前、(コンウェイの)組合せゲーム理論と超現実数と囲碁の関係について #CgoT タグをつけて連続ツイートしていたことがありました。まとめて読みたい人は→ twilog.org/genkuroki/hash...

タグ: CgoT 数楽

posted at 13:28:48

   

2016年12月14日(水)

黒木玄 Gen Kuroki @genkuroki

16年12月14日

#数楽 囲碁の話を絡めた combinatorial game theory に関する雑談を以前 #CGoT タグを使ってしていたことがあります。リンク先からまとめ読みできます。
twilog.org/genkuroki/sear...

タグ: CGoT 数楽

posted at 22:05:34

   

2014年06月27日(金)

黒木玄 Gen Kuroki @genkuroki

14年6月27日

#CGoT 続き。一般にG-Hでどちらが先手でも後手必勝になるときGとHは同値であると定義します。たとえばG-Gでは「まね碁」戦略でどちらが先手でも後手必勝になります。だからGとGは同値。推移律もゲームだと思えば容易に証明できます。などなど。以下略。

タグ: CGoT

posted at 17:21:24

   

黒木玄 Gen Kuroki @genkuroki

14年6月27日

#CGoT 続き。勝敗は「交互着手して自分の手番で合法な手がない方が負けになる」というルールで決めます。先手後手は決まっていません。どちらが先手であっても後手必勝の局面を「引き分け」の局面とみなします。たとえば双方に可能な着手がない空な局面はそのような状態です。続く

タグ: CGoT

posted at 17:18:41

   

黒木玄 Gen Kuroki @genkuroki

14年6月27日

#CGoT 続き。実際には2人で遊ぶゲームを考えます。たとえば順序数α、βに対してα-βは一方のプレーヤーはαの方でのみ次の一手を指せ、もう一方のプレーヤーのみがβの方で次の一手を指せる局面を表します。先手後手は決まっていないと考えます。続く

タグ: CGoT

posted at 17:14:40

   

黒木玄 Gen Kuroki @genkuroki

14年6月27日

#CGoT 例えば1+ωで指せる一手は1を0にする手とωを有限な自然数にする手のどちらか。得なのは1を0に縮めて、「無限大の状況」を保つ方。ωの方を有限に縮めてしまうのは損な一手です。その辺のことをしっかり考えれば1+ω=[ω+1]であることがわかります。

タグ: CGoT

posted at 17:11:32

   

黒木玄 Gen Kuroki @genkuroki

14年6月27日

#CGoT 以下、順序数を単純に連結する和を[α+β]と書き、超現実数としての和をα+βと書きます。順序数αで表されるゲームの局面で可能な一手はαより小さな順序数を選ぶこと。局面G、Hに対して和G+Hで可能な一手はGかHの片方で可能な一手を指すことです。他方の局面はそのまま。続く

タグ: CGoT

posted at 16:59:17

   

黒木玄 Gen Kuroki @genkuroki

14年6月27日

#CGoT 超現実数としての順序数の和(積)がmaximalな和(積)になっています。これはゲームだと思えば自然です。なぜならばゲームでは自分の得点ができるだけ高くなるように次の一手を指すからです。 pic.twitter.com/8PhkzllOqo

タグ: CGoT

posted at 16:45:33

   

2014年06月26日(木)

黒木玄 Gen Kuroki @genkuroki

14年6月26日

#CGoT 続き。ω-1は無限に拡張された囲碁で言えば「黒がω目の地を持ち、白が1目の地を持っている状況」に対応しています。黒のω-1目勝ち。

タグ: CGoT

posted at 10:05:59

   

黒木玄 Gen Kuroki @genkuroki

14年6月26日

#CGoT 続き。こういうことに気付くのは当然のことですが、これを理由に超現実数の理論展開が自然であるとは言えないというように考えるのはもちろん誤りです。単にこれだけの話でした。

タグ: CGoT

posted at 10:03:37

   

黒木玄 Gen Kuroki @genkuroki

14年6月26日

#CGoT 続き。超現実数全体は全順序体をなすので自然に順序位相が入ります。ωより小さくあらゆる自然数よりも大きなω-1のような「数」も超現実数には含まれるので超現実数の世界では数列0,1,2,…がωに収束したりしません。続く

タグ: CGoT

posted at 10:01:48

   

黒木玄 Gen Kuroki @genkuroki

14年6月26日

#CGoT 続き。超現実数の全体は体をなすので四則演算が自由にできます。その中ではωはあらゆる自然数より大きな「数」とみなされるだけではなく、ω-1, ω-2,…やω/2や√ωのような「数」も超現実数の中に含まれています。続く

タグ: CGoT

posted at 09:59:20

   

黒木玄 Gen Kuroki @genkuroki

14年6月26日

#CGoT 続き。Conwayは本On Numbers and Games(1976)で組合せゲームと超現実数の理論を展開しました。超現実数の全体は順序体(実際には実閉体)をなし、すべての実数と順序数を含みます。たとえば先の{0,1,2,…}∪{ω}を部分として含みます。続く

タグ: CGoT

posted at 09:57:28

   

黒木玄 Gen Kuroki @genkuroki

14年6月26日

#CGoT 続き。ただし順序位相の取り扱いには注意が必要です。全順序集合Xに順序位相を入れたとき、その部分集合Yに入る相対位相とYの順序位相は一致するとは限らない(例X=R、Y=[0,1)∪{2})。続く

タグ: CGoT

posted at 09:54:35

   

黒木玄 Gen Kuroki @genkuroki

14年6月26日

#CGoT 簡単のため自然数全体の集合にωを付け加えた全順序集合{0,1,2,...}∪{ω}について考えましょう(ωはどの自然数よりも大きい)。この集合には自然に順序位相が入ります。その位相で数列0,1,2,…の極限はωになっている。続く

タグ: CGoT

posted at 09:51:44

   

黒木玄 Gen Kuroki @genkuroki

14年6月26日

#掛算 #CGoT 解説。TSさんとぼくのやりとりがほとんどの人にはちんぷんかんぷんだと思うので解説を付けます。次のツイートから #掛算 タグを外します。

タグ: CGoT 掛算

posted at 09:45:49

   

2014年06月03日(火)

黒木玄 Gen Kuroki @genkuroki

14年6月3日

.@sugi3_34 【そーいえば、ちょーどーでもいいけど、順序数の積って非可換じゃなかったっけ?】 #掛算 #CGOT 和や積が可換かどうかは定義の仕方による。すべての順序数と実数を含む自然な実閉体の構成については組合せゲーム理論の「数」(超現実数)について調べると良いです。

タグ: CGOT 掛算

posted at 10:16:40

   

2012年09月27日(木)

黒木玄 Gen Kuroki @genkuroki

12年9月27日

#CGoT タグで連続ツイートしていた、囲碁と組合せゲーム理論に関する話→ t.co/gHi0rLR5 。コンウェイの数とゲームの理論と超現実数の話を含む。囲碁を例に使って説明している。下から上に読む。前のページに戻るほど最近のツイートを読める。

タグ: CGoT

posted at 15:01:36

   

«< 前のページ12のページ >»
@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました