ばいなり @b_inary Twitter profile

Last Seen Profiles

@ReCurVeGFX

@cies

@D0D012345

@apideck

@akashickage

@_uyu9

@teachmeoptions

@g5sa

@heemhooh

@bokeplokalmalam

@JoslynPrat16372

@stw_pdg

@Geeft_

@ryo_fujii1986

@IBMQuantum

@Drloon_art

@ONCC

@r2_70

@bokeplokalmalam

@NCW_center

@drkstrjry

@SAWERSLTD

@frenchvillage

@yxlands1

@zakumifi

@jandakembangstw

@Hijabbacol2883

@_dethreaper_

@hgdnztmy

@english_rosieUK

@___shi_914

@bokeplokalmalam

@nisi_yuichi

@itahashi

@Drloon_art

@BobMitsch

ばいなり

@b_inary

11 months

半年ぶりの生存報告をば。本日31歳の誕生日を迎えたというのはさておき、9月末をもって東京大学を退職し、10月から GTO Wizard AI の開発チームに加わることになりました！従来のソルバーの枠に収まらない、革新的なプロダクトに関われることを本当に嬉しく思います。

6

27

296

ばいなり

@b_inary

1 year

アイデアから1週間足らずの超突貫実装なのでバグっている可能性も高いですが、えいやの精神で無料GTOソルバーの Desktop Postflop v0.2.4 をリリースしました。 Bunching effect に完全対応した世界初のポストフロップソルバーです。気になる方はぜひお試しください。

Releases · b-inary/desktop-postflop

[Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance - b-inary/desktop-postflop

github.com

1

22

185

ばいなり

@b_inary

2 years

金曜に投下したポーカーに関する note がありがたいことに概ね好評に受け入れていただけたようで、インアクティブなこのアカウントをフォローしてくださった方も何人かいらっしゃり、このタイミングで復帰してみようかなとなりました。こういう機を逃すと大抵後悔するので…。

ソルバー開発者がGTO戦略という用語の濫用に物申す｜ばいなり

note初投稿です。3年前くらいにテキサスホールデムを知り、それ以来たまに友人とプレイして楽しんでいます。知り合い以外とプレイしたいというようなモチベーションは無く、ライブポーカーはやったことがない程度にはプレイヤーとしてはクソザコなのですが、理論的な話は大好きで、完全に無料で使えるGTOソルバーを趣味で自作して半年ほど前にリリースしました: ブラウザ版 (WASM Postflop):...

note.com

0

20

127

ばいなり

@b_inary

2 years

筆が乗ったのでポーカーnote第2弾「ソルバーが表示するアクションごとのEVの読み方」を投稿しました。こういう小ネタ (?) をちまちま記事にしていけると良いなと思っています (ただここ7日間で2本の記事を書き切ったのは明らかにオーバーペース)

ソルバーが表示するアクションごとのEVの読み方｜ばいなり

note初投稿だった前回の記事「ソルバー開発者がGTO戦略という用語の濫用に物申す」ですが、ツイッターなどでも概ね好評に受け止めていただけたようで、記事自体にも170を超えるスキをいただけるなど想像を上回る反響をいただくことができました。時間を割いて記事を読んでくださった方全員に感謝していますが、特にサポートやスキをしてくださった方、記事を拡散してくださった方、感想を書いてくださった方、本当...

note.com

0

11

92

ばいなり

@b_inary

9 years

艦これのダメージ計算について記事書いた: http://t.co/Yi4YUxpqnK 検証するだけじゃなくて、検証で分かったことはちゃんとまとめないとね

0

73

77

ばいなり

@b_inary

1 year

GUI作成中...

1

3

43

ばいなり

@b_inary

12 years

n回の繰り返しを while(n --> 0) って書くコード初めて見た　何だこれ面白い

0

38

ばいなり

@b_inary

11 months

オープンソースで開発していたソルバーについて、開発停止ですすみませんだけではちょっと味気ないので、少しお気持ちも投下してみます。まず一番思うのは、以下のissueにも書きましたがプロジェクトが「持続可能」でなかったな、ということです。

Announcement: Suspension of development of open-source poker solver project · Issue #46 · b-inary...

As mentioned in the README, from October 2023, I have started developing a poker solver as a business and have decided to suspend development of this open-source project. Therefore, the following r...

github.com

1

7

40

ばいなり

@b_inary

2 years

WASM/Desktop Postflop v0.2.3 をリリースしました。開発モチベが上がらない期に入りつつあるのですが、こういうときってどうしたら良いんでしょうね。個人趣味開発は楽しいときはめちゃくちゃ楽しいけれど、どうしてもモチベには波ができてしまいます。

Releases · b-inary/desktop-postflop

[Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance - b-inary/desktop-postflop

github.com

2

3

32

ばいなり

@b_inary

2 years

自作ソルバー大改造計画、リザルトビューワをまず完全に作り直そうということで画面構成をざっくり検討しております。GTOWizardをかなり参考にして作ってみた現在の案がこちら。まあ実装に少なくとも1ヶ月は掛かりそうです。（こんな機能が欲しいなどありましたら気軽にリプライください！）

1

2

33

ばいなり

@b_inary

11 months

なお、これに伴ってお詫びさせていただきたいのですが、私が個人で進めていたオープンソースのソルバープロジェクトに関しては開発停止とさせていただくことになりました。支援および期待してくださっていた方には申し訳ないのですが、なにとぞご理解いただければ幸いです。

0

1

31

ばいなり

@b_inary

1 year

自画自賛したところ恥ずかしいのですが、普通にバグがあったので Desktop Postflop v0.2.5 をリリースしました。具体的には、フロップがモノトーンまたはツートーンのとき、ターン以降のエクイティの表示が誤っていました。表示のみの不具合で、EVや戦略に影響はありません。

Releases · b-inary/desktop-postflop

[Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance - b-inary/desktop-postflop

github.com

0

3

28

ばいなり

@b_inary

9 years

何回でも言うけど、Wikiのダメージ計算に関する記事の基礎作ったのは俺だし、制空権の計算式を発見したりしたのも俺だし、艦これの検証の一部は俺がいなかったら1年遅れてたと言っても過言ではない (過言)

0

14

20

ばいなり

@b_inary

1 year

自作ソルバーの近況報告を。ここのところはRustと格闘しながらエンジン部分のリファクタリングをしていて、計算結果をフロップあるいはターンまでに限定して保存・読込できる機能がほぼ完成しました。あとは、ターンあるいはリバー以降の計算をオンデマンドに行う機能の実装が控えています。

1

0

24

ばいなり

@b_inary

2 years

開発段階の発信ばかりで恐縮ですが、0から作り直してるビューワが少しずつ動くようになってきました。Wizardは「CallしてからTurnが開くまでの間の状況」は表示できないし、PioはWizardでいうHorizontalな表示機能が無いので、こういう出力ができるビューワはオリジナルなはず…？

0

1

23

ばいなり

@b_inary

1 year

Caller が OOP な 3bet pot で、bunching effect を有効にしたらフロップでOOPが突如ドンクベットをするようになったという issue が立ってビビっております。バグなのか正常な挙動なのか分からん！ｗ

2

1

21

ばいなり

@b_inary

10 months

GTO Wizard の募集記事です！私の所属するAIチームからは、・設計や保守から低レベルな最適化まで理解のあるC++デベロッパー・モデルのトレーニングおよび推論を改良/効率化する応用寄り研究者・ゲーム理論および強化学習分野における最先端の基礎寄り研究者の3つのポジションを募集中です！

GTOWizard

@GTOWizard

10 months

Are you ready to take your career to the next level with GTO Wizard? We're looking for talented individuals to join our team! 🔥 #gtowizard

2

1

30

1

7

20

ばいなり

@b_inary

2 years

GitHub で WASM Postflop のスター数が100を超えました！にCFRアルゴリズムの記事を寄稿したのがちょうど去年の今頃で、その後気まぐれでGTOソルバーの開発を始めてからほぼ1年になる節目にありがたい知らせになりました。来年も何か新しいことをできていると嬉しいですね。

1

0

18

ばいなり

@b_inary

2 years

某話題、レーキがある非ゼロ和のゲームだと理論的に言えることって激減するんですよね。私のソルバーも今はレーキ設定ができますが、実装してみたら「なぜか」動いたというだけで、ソルバー屋さんとしてはそもそもナッシュ距離が収束することすらどちらかと言えば意味不明くらいに思っています。

1

0

17

ばいなり

@b_inary

1 year

エクストリームな入力を投げるとNaNが表示されるケースなどを見つけてしまいましたが、とりあえず普通に使う分にはちゃんと動いていそうですね。我ながら今回は快心の出来で、アルゴリズムの理解・構成力、正確な実装力、SIMD命令など高速化のための知識あたりを高い次元で活かせたと思います。

0

1

18

ばいなり

@b_inary

1 year

今まで自作無料ソルバーに実装してきた機能は有償ソルバーの後追いでしたが、bunching effect はもし実装できれば知る限り初めての機能なので、興奮で就寝に失敗しました。ちゃんと寝た方が結果的に実装も早く終わるんですけどね…。

1

0

15

ばいなり

@b_inary

2 years

Desktop Postflop バージョン 0.2.0 のアルファ版をリリースしました。だいぶコードを変更しているのでバグっている可能性はありますが、それなりに機能も増えているので人柱になれる方はぜひお試しください。起動する前にリリースノートの注意書きには目を通してくださいね。

Release v0.2.0-alpha.0 · b-inary/desktop-postflop

EDIT: This version has a bug in data conversion logic, so please use v0.2.0-alpha.1 instead. Note 1: This is a pre-release and may contain bugs. Note 2: Once v0.2.x is executed, the saved ranges an...

github.com

1

3

15

ばいなり

@b_inary

1 year

Bunching effect 対応計画、まだ実装途中でちょくちょくバグらせたりもしていますが、6maxであってもローポケがセットになる確率とかにかなり影響がありそうな数字が出ています。これは我ながら早く完成させて実際に動かしたい！

0

16

ばいなり

@b_inary

2 years

やっぱり GTOWizard はビューワの完成度が高いよなあと。触発されて自作ソルバーのビューワも画面を大きく使いたくなってきて、左側面から画面上部にボタンを移動するレイアウト変更案を作ってみています。どうしたら使いやすいレイアウトになるかを考えるのは結構楽しい。

1

0

14

ばいなり

@b_inary

2 years

ソルバーに bunching effect を組み込めないか1日考えていたのですが、計算時間が50倍でも良いなら可能かも？という気がしてきています。50倍はだいぶ厳しさがあるが、それでちゃんと bunching effect が考慮できるなら実装する価値はあるのか？みたいな微妙な気持ちです。

3

1

15

ばいなり

@b_inary

10 years

自作Cコンパイラ/アセンブラでコンパイルしたScheme処理系が自作アーキテクチャ(メモリ4MB)の自作シミュレータ上で普通に動いてるって冷静に凄いよなぁ特にCコンパイラがスクラッチから5人月くらいでここまで成長するとは正直思ってなかった

0

5

14

ばいなり

@b_inary

1 year

うおおエンジン部分の実装が終わったぞ…！拍子抜けするくらいあっさりテストに通ってしまって我天才か？となっております。実行時間もこれまでの10倍～20倍とかに収まっていて、思っていたより全然実用的！

1

0

16

ばいなり

@b_inary

2 years

アルファを外した Desktop Postflop のリリースと WASM Postflop の更新を行いました。実装したい機能はまだ多いですが、多くの方に最新版を使ってほしいという意思表示ということで。

Releases · b-inary/desktop-postflop

[Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance - b-inary/desktop-postflop

github.com

1

3

14

ばいなり

@b_inary

2 years

ポーカーnote第3弾以降をどうしようかな～と考えてみたのですが、冷静にまずは無料の自作ソルバーとやらの使い方解説を書くべきじゃね？となっています。ただ現状では使い方を紹介するには機能があまりに不十分なので、しばらくはバージョンアップに向けて地道に改修していくのを優先しようかなと。

2

1

12

ばいなり

@b_inary

11 months

なお私自身は開発を停止することにはなりましたが、公開していたプログラムやソースコードが非公開になることはありません。このあたりはGTO Wizard側もとてもよく理解してくださっているので、その点についてはご安心ください。以上、お気持ちでした！

1

0

14

ばいなり

@b_inary

13 years

センター２日目自己採点：物95化96数200。今日9点落としちった……、けどまあ及第点でしょう。これでリス抜き合計874(97.1%)、リス換算合計869(96.6%)だそうだ。97%とか未知の領域過ぎて自分でもちょっと怖い、凄すぎんだろ。

4

7

ばいなり

@b_inary

2 years

高レーキでチョップ確定のときのオールイン問題、別にフォールドの選択肢を壊さなくても両者チェックはナッシュ均衡になり得るんですよね。実際Pioに投げると両者チェックの均衡解が得られます (なおGTO+と自作ソルバーはOOPのオールインを許してしまいました) 。

1

13

ばいなり

@b_inary

9 years

起床、imi研受かってました院試は正直落ちる気しなかったけど、今までのツケが結構残ってるせいで卒業要件満たす方が大変

4

1

11

ばいなり

@b_inary

2 years

MonkerやSimple～系は使ったことないので分からないのだけど、PioやGTO+は普通に開発者が天才なんだよなあ…。ワイが本気でソルバー開発したら計算速度ではぶっち切れるんやないかとか最初は思ってたけど、実際最速なものはできたとは言えぶっち切れはしなかったわけで。

1

0

13

ばいなり

@b_inary

1 year

計算結果の保存機能をはよ追加してくれという声の方が多いのだとは思うのですが、楽しさ優先で bunching effect の実装を進めています。デッキは52枚なので64ビット整数とビット演算が大活躍で、今まで競プロでしか使ったことがなかった next k-bit number などの出番にテンションが上がっています。

1

0

12

ばいなり

@b_inary

10 years

完動

5

3

10

ばいなり

@b_inary

9 years

自分の成績、どの単位が1つ欠けても卒業要件満たさないっぽい

0

4

12

ばいなり

@b_inary

9 years

TOEFLは犠牲になったのだ… http://t.co/DpPkAmr7os

1

0

9

ばいなり

@b_inary

2 years

リプライでないツイートを6年半ぶりくらいにしてみるテスト

0

9

ばいなり

@b_inary

2 years

GUI作るのはどう考えても面倒だけどソルバーエンジンにノードロック機能組み込むだけなら楽勝やろ～とかいうノリで適当にちょちょいのちょいｗと実装してテスト掛けたら訳分からん数字が返ってきて頭抱えてます

1

0

11

ばいなり

@b_inary

10 years

え、意味分からん、駅にいたのにスマホ弄ってたら終電逃したぞい

0

9

ばいなり

@b_inary

10 years

深夜帯の番組なのにバレてるのウケるんだけど

3

2

8

ばいなり

@b_inary

1 year

続いて、複数フロップの集合分析、ビューワのハンドフィルター表示、ノードロック、トレーニング (壁打ち) 機能の順番で実装を予定しています。下手したら1年とか掛かりそうな計画ですが、まあ趣味開発ですから楽しめる程度にのんびり実装を進めていきたいと思います。

0

9

ばいなり

@b_inary

9 years

アニメショップでラノベ物色してたら、高校生と思しき見知らぬ少年に「オススメの作品ありませんか?」と聞かれる事案が発生した

1

0

8

ばいなり

@b_inary

2 years

畳み込めると思っていた計算が畳み込めず、52 choose (2n) (nはフォールド人数) の項が消えなそうなので撃沈です。厳密手法が無理となると近似ですが、それはそれで茨の道なんですよね…。最終奥義†モンテカルロ†を使うことも考えないといけないかもしれません。

ばいなり

@b_inary

2 years

ソルバーに bunching effect を組み込めないか1日考えていたのですが、計算時間が50倍でも良いなら可能かも？という気がしてきています。50倍はだいぶ厳しさがあるが、それでちゃんと bunching effect が考慮できるなら実装する価値はあるのか？みたいな微妙な気持ちです。

3

1

15

1

0

8

ばいなり

@b_inary

9 years

ぽへぽへっ！

0

1

7

ばいなり

@b_inary

2 years

自作ソルバーエンジン、ツリーを手動で編集できる機能の追加だけで3日も掛かってしまった…。実装したい機能が多すぎてこりゃバージョンアップに数ヶ月掛かるコースか？

0

7

ばいなり

@b_inary

9 years

大事なのは語数なんかより内容でしょ(なお内容は無い模様

0

5

ばいなり

@b_inary

9 years

うどんくんさんの最初で最後の記事がバズってるのめっちゃ面白いな?

0

7

ばいなり

@b_inary

1 year

どうやら計算精度の問題だったようで、target exploitability を下げたところドンクはほぼ消えてしまったようです。Bunching effect の有無でエクイティの差は0.2%だがEVは 1% pot 近い差がある状況だったようで、収束の性質が異なっていたのかもしれません。

0

1

7

ばいなり

@b_inary

2 years

Bunching effect にまつわる計算の難しさ、厳密手法にしても近似手法にしても「レンジ対レンジのエクイティ」の計算の難しさに本質的に由来している気がしてきた。Bunching effect を考慮すると、レンジ対レンジのエクイティがきっちり定義できてかつ短時間で計算可能なモデルにならないというか。

1

0

7

ばいなり

@b_inary

11 months

このモチベーションを安定させるのは本当に難しく、プログラムが複雑になっていくにつれて、こうしたいという構想はあれどだんだんと手が動かなくなっていってしまいました。オープンソースで開発を進めるならば、複数人によるコミュニティで運営していかないと厳しいのかなという感覚を抱いています。

1

0

7

ばいなり

@b_inary

11 months

ということで、結果的になんだかGTO Wizardに関わるための踏み台みたいな形になってしまいましたが、私が開発停止を宣言することで良い感じの緩いコミュニティが形成されたりしないかなという淡い期待も無いわけではないです。いや本当に淡い期待だというのも分かってはいるつもりですが。

1

0

7

ばいなり

@b_inary

9 years

ワイは分散並列可やで〜

0

1

7

ばいなり

@b_inary

11 years

理学部情報科学科に内定しました．大丈夫だとは思ってたけど，第一段階で通れて良かった．

0

6

ばいなり

@b_inary

1 year

Bunching effect がどうしても気になるのでアルゴリズムを再考しています。前回は失敗しましたが、6max に限定した上で終端ノードの計算量を O(m+n) から O(mn) に変更する方針で何とかなるかもしれません（m, n は両者のレンジに含まれるコンボ数）。

1

0

6

ばいなり

@b_inary

9 years

家に帰ったら目覚まし時計の針が反時計回りにぐるぐる回ってた

0

2

6

ばいなり

@b_inary

10 years

LLVMフロントエンド良い感じっぽい、fibをx86上でコンパイル/リンクして実行することに成功した

1

6

ばいなり

@b_inary

1 year

ただ、保存機能を追加した WASM/Desktop Postflop をリリースする前に、将来追加が予想される機能は実装しきってしまいたいので、short deck や FLHE の対応が先に入りそうです。こいつらはちょちょいと実装できるはずですが、リリースにはもう何週間か掛かってしまうかなと。

1

0

5

ばいなり

@b_inary

10 years

最適化を掛けるとちゃんと動くのに最適化を掛けないとセグフォで死ぬバグに悩まされていたが、単に末尾再帰が最適化されずスタック食い潰してるだけだった悲しみ

0

1

6

ばいなり

@b_inary

13 years

【速報】マスキン754/900、東大出願ほぼ確実に今回の大学入試センター試験で、マスキン氏の自己採点結果が754点(リス抜き)であることが、河合塾との共同調査により16日分かった。またマスキン氏は東大を受験するつもりかという問いかけに対し、小声でうんと頷き肯定の意思を見せた。

1

0

2

ばいなり

@b_inary

9 years

はい、というわけでね、5000語に満たない卒論を提出したわけですが

0

5

ばいなり

@b_inary

9 years

また艦これのダメージ計算式に関して新しい発見をしてしまった… (1年半ぶりくらい)

0

6

ばいなり

@b_inary

10 years

また寝坊だよふえぇ…

0

5

ばいなり

@b_inary

2 years

こちらの記事に関して、2つ目の節で筆者の誤解に基づく主張をしてしまっていたため、記事を修正いたしました。ちゃんと勉強しないとです。

ばいなり

@b_inary

2 years

筆が乗ったのでポーカーnote第2弾「ソルバーが表示するアクションごとのEVの読み方」を投稿しました。こういう小ネタ (?) をちまちま記事にしていけると良いなと思っています (ただここ7日間で2本の記事を書き切ったのは明らかにオーバーペース)

0

11

92

0

5

ばいなり

@b_inary

2 years

OOPとIPでベット額に差があるときのEQRの計算式を確認してたらWizardのバグを見つけてしまった気がする。レイズ後の状況の手番じゃない方のプレイヤーのEQRがおかしくて、例えばこの画像のBBの4s4dのEQRは 33.14 / (27.4 * 86.3%) = 140.1% のはずなのに164.8%になってる

1

0

5

ばいなり

@b_inary

11 years

人身事故の影響で山手線の線路を走る京浜東北線 http://t.co/aUHQAN5nD0

2

7

2

ばいなり

@b_inary

10 years

30分経っても自分しか班員がいないんですが…

0

6

ばいなり

@b_inary

9 years

とりあえず制空権計算機を更新。こんな1日で作れそうなサイトが軽く1万セッション/日を稼いでるってのはちょっとした重荷ではあります…

3

4

ばいなり

@b_inary

2 years

@CashoutRigged 情報ありがとうございます。フリー版で3betpotFASTを0.05% potの精度で手元で解かせてみましたが、自作ソルバーが22秒のところjesolverは9秒でした。実装のテクニックの差というよりはアルゴリズムが相当強そうな気がしています。自作のを改良するモチベーションになります、私も頑張ります！

0

5

ばいなり

@b_inary

2 years

トップペアとセカンドペアの間のポケットペアを「アンダーペア」という用法はどれくらい一般的なんでしょうか (Pio, Wizard, GTOBaseなどで確認) 。ググると「ボードのどのカードよりもランクの低いポケットペア」の意味ばかりがヒットしますし、個人的にもこちらの方がしっくり来るのですが…

2

0

5

ばいなり

@b_inary

10 years

LLVMバックエンドを利用してレイトレをx86で動かすのに成功したぞい

1

5

ばいなり

@b_inary

8 years

学生証と通学定期購入証明書を新しいのに交換してもらえた。うちの事務はほんと親切で頭が下がる…！

0

4

ばいなり

@b_inary

2 years

Google Chrome 109 で、terminate した web worker がGCされずにメモリリークするバグを踏んでいます。手動で terminate する分には事前に関連リソースを解放しておけばちゃんとGCされるので何とかなるのですが、問題はページのリロードでも同様の現象が起きるんですよね…。

1

0

5

ばいなり

@b_inary

10 years

くっそどっからかは漏れるとは思ってたけど世の中甘くないな

1

4

ばいなり

@b_inary

2 years

今月上旬にデスクトップPCを Ryzen 9 7950X で組んで新調していたのですが、先ほどいわゆるスリープ死（復帰に失敗して強制シャットダウンするしかない）を踏んで萎えております。マザボがまだ未成熟なのかPOSTには1分近く掛かるし、今回の自作PCはなんかしっくりきておりません…

3

0

6

ばいなり

@b_inary

10 years

MinCamlへの多相型追加6時間チャレンジに成功した

1

2

5

ばいなり

@b_inary

13 years

センター１日目自己採点：倫政96国語187英筆200リス44。勝った。

1

2

ばいなり

@b_inary

2 years

Tree configuration のデータ移行にバグがあったのでこれから使う方はこちらの更新版をご利用ください。alpha.0 を起動してしまった方で IndexedDB のバックアップがある場合は、もとに戻してから alpha.1 を起動するとデータが綺麗になります（戻さなくても動くはずです）。

Release v0.2.0-alpha.1 · b-inary/desktop-postflop

Fixed data conversion logic for saved tree configurations. Please see the release notes of v0.2.0-alpha.0 for additional information.

github.com

ばいなり

@b_inary

2 years

Desktop Postflop バージョン 0.2.0 のアルファ版をリリースしました。だいぶコードを変更しているのでバグっている可能性はありますが、それなりに機能も増えているので人柱になれる方はぜひお試しください。起動する前にリリースノートの注意書きには目を通してくださいね。

1

3

15

0

3