Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

枝豆

@ek_bm

  • いいね数 318,604/239,302
  • フォロー 428 フォロワー 553 ツイート 5,744
  • 現在地
Favolog ホーム » @ek_bm » 2022年12月10日
並び順 : 新→古 | 古→新

2022年12月10日(土)

わんど @wand_125

22年12月10日

puzz.linkのルールページ([?]を押すと見れる)にパズルスクエアから取り込まれる形で、日本語のルール文が追加されたそうです。
puzz.link/list.html

タグ:

posted at 22:49:49

わんど @wand_125

22年12月10日

@tigereye_werewe お伝えしました。パフォーマンスの問題はプロファイラを使って調査してみる、
表示サイズは現状ウィンドウ幅から自動的に算出されて調整する手段はないけど、
良い方法が見つかれば検討します、とのことです

タグ:

posted at 20:59:57

アイ @tigereye_werewe

22年12月10日

pPGP 2020 Finalのときに作ったTiger in the Woodsソルバーを使って複数解指摘をしている

タグ:

posted at 20:44:15

アイ @tigereye_werewe

22年12月10日

@wand_125 ついでに単純に無知なのですが、描画サイズはどのように変えればよいのでしょうか?

タグ:

posted at 20:43:00

アイ @tigereye_werewe

22年12月10日

@wand_125 WindowsのChromeです。ルールチェックによって操作から描画まで0.5秒ほどかかったりする感じですね。

タグ:

posted at 20:32:25

非公開

タグ:

posted at xx:xx:xx

わんど @wand_125

22年12月10日

@tigereye_werewe ありがとうございます、環境をお聞きしても良いですか

タグ:

posted at 20:13:19

ajitako @ajitako

22年12月10日

「ななめぐり」のようなシンプルかつ斬新、しかもストーリー的な装飾が全く不要なルールのオモパはやはり良いな。奥の深さがどれくらいかいまいち予測つかないのだけど

タグ:

posted at 20:06:01

アイ @tigereye_werewe

22年12月10日

@wand_125 Kudamono Editorはうちの環境だと動作がもっさりするのであまり好まないですね

タグ:

posted at 20:05:25

わんど @wand_125

22年12月10日

日本が母語でほとんどの物事についての本が読める貴重な国と言われることがあるけど、
ペンシルパズルに至ってはほとんど英語か日本語かの二択になってる。(あと一部ドイツ語) twitter.com/wand_125/statu...

タグ:

posted at 19:52:55

わんど @wand_125

22年12月10日

新しいツールに移行するコスト、さらにUI/説明が英語なツールに抵抗あるのでは?
Penpa+が新機能豊富になっていても日本ではバージョンアップ前のpenpa-editが使われ続けていたし

と説明した。

タグ:

posted at 19:38:32

わんど @wand_125

22年12月10日

Pedroさんにpenpa-editを使っている人も多いけど、どうやったらKudamono Editorを使ってもらえるのかと相談されている
(ほとんどのパズルにモノクログリーンさんがkudamono editorのURLをつけてくださっていてありがたいと言っていた)

タグ:

posted at 19:38:31

bay @bayrenshu

22年12月10日

ペアル
・黒マス配置
・黒マスも白マスもタテヨコにひとつながり
・iには白と黒の小さなI字型を配置
・Lには白と黒のL字型を配置
・盤面外は白マス
問題→swaroopg92.github.io/penpa-edit/#m=... pic.twitter.com/KCxGG0MRDS

タグ:

posted at 19:22:56

わんど @wand_125

22年12月10日

Kudamono Editorのアイスダンスペアで
縦横に線が引かれるか、45度に線が引かれるかのどちらかにして欲しい(縦横に線を引いてる途中に斜めに移動したりしないで欲しい)
と提案したのが実装されたらしい。 pic.twitter.com/pOfvTJzwyd

タグ:

posted at 19:04:28

わんど @wand_125

22年12月10日

@pzosdc 「三連禁」の項目、だいぶ考察に近いですが、
日本語の意味を日本語で説明したものが辞書であるように、
三連禁というパズルの概念を他のパズルの概念を使って説明したもの、
と考えるとパズル百科っぽいと言えなくもないかも、と思いました。
(同じ要領で他の概念も説明されていると尚嬉しい)

タグ:

posted at 18:52:36

ニチョ謎 @nichonazo

22年12月10日

明日は #なげっぱ です。
ウェル問36-3「め→ね」

パズラバ最新号、届いております。お求めの方はお早めにお越しください。またJPFのBOOTHサイトで直接購入できますので気になる方はそちらをどうぞ!
booth.pm/ja/items/4315558

今日も明日も、頑張りましょう! pic.twitter.com/lUURS7WzyV

タグ: なげっぱ

posted at 18:26:01

utime @utime1204

22年12月10日

@NAZOac なるほど、ありがとうございます。例と証明が上がってたら見てみます。

タグ:

posted at 18:14:39

utime @utime1204

22年12月10日

実際連結条件とかはかなりギャップあるからな。「任意の2マスに対しあるパスが存在する」を理解できる小学生とへやわけを解ける小学生が同人数だったら日本安泰なので。
・・・なんかこういう話をしてる感じではなさそうに見えるけど自分がしたいからしちゃう。

タグ:

posted at 18:10:51

utime @utime1204

22年12月10日

自然言語と同じクラス・・・和同開珎、ナンクロなど
それより広そう・・・イラロジや点つなぎの回答パート、謎絡みなど
よくわからん・・・間違い探しの回答パート

タグ:

posted at 17:53:55

utime @utime1204

22年12月10日

TL全然追えてないけど、恐らく数学的に書き下せるペンシルパズルに対して数学的でない解釈を試みているが、土台が数学的であるが故にその解釈も数学的な主張と同型になってはおり、その同値な主張を人間に理解しやすいという尺度で比較しようとしている感じですかね。誤解してるだけかもだけど面白そう

タグ:

posted at 17:48:37

わんど @wand_125

22年12月10日

パズルの文化に数学を持ち込まない、こういう意味ならわかる(にしなんとかさんがさっき言ってた「再定義」と近い) twitter.com/buyaketa/statu...

タグ:

posted at 17:45:13

わんど @wand_125

22年12月10日

@pzosdc そう思います。がWikipediaほど厳密にすると書きづらいので、独自研究ラインをニコニコ大百科とアニヲタWikiぐらいに緩めに取りたい

タグ:

posted at 17:12:20

わんど @wand_125

22年12月10日

@SP1_winter 知恵の輪アルゴリズムが、知恵の輪を6軸(位置x,y,zと角度x,y,z)の迷路の経路探索と捉えていた点が面白かった。
www.itmedia.co.jp/news/articles/...

タグ:

posted at 17:04:41

SP1 @SP1_winter

22年12月10日

なんなら言葉のルールの時点で数学的な論理性は入ってるんで、そこからは逃れられないっすね。

タグ:

posted at 17:01:57

SP1 @SP1_winter

22年12月10日

「図形的に扱う」の部分の具体例が示されておらず、理解に苦しんでいる。

タグ:

posted at 17:00:29

わんど @wand_125

22年12月10日

架空の国語、架空の理科、架空の社会はあっても架空の数学はただの数学だよね、みたいな話を思い出す。

タグ:

posted at 17:00:08

SP1 @SP1_winter

22年12月10日

そういえば、知恵の輪とかジグソーパズルが解けたことの判定って厳密にはどうするんだろうね

タグ:

posted at 16:58:52

わんど @wand_125

22年12月10日

細かい見方とかはそのうち書くとして、
作ってて思うのは、ペンシルパズルにおいて、物体配置というジャンルがパズルの性質を全然説明していないように思える点。
「数字と線と黒マス以外のものを書く」みたいな余事象での分類になってる

タグ:

posted at 16:58:50

SP1 @SP1_winter

22年12月10日

@NAZOac スリザーリンクの正解判定をするなら、全ての数字の周りで辺の本数と数字が一致していること・どの頂点の次数も0か2・辺同士が連結、をチェックすると思います(後ろ二つは1本のループの言い換え)。これを「数学をベースとする論理的正当性」なしに「図形的に」判定する体系はどういうものですか?

タグ:

posted at 16:57:26

わんど @wand_125

22年12月10日

ループは格子点を線上、ループ内部、盤面外に連結の3つの連結成分に分割するパズル(両連結と呼んでる)
黒マス配置は白連結か黒連結の片方であることが多くて単連結と呼んでる
単連結の方が自由度高い分、新しい制約が足されやすい
(1つのパズルに乗る制約は大体一定になるというルールのお皿仮説)

タグ:

posted at 16:57:05

にしなんとか @chebunanntoka

22年12月10日

見せ方の違うパズルを「事実上同じ」とまとめることによってかえって見せ方のバリエーション、見せ方を工夫する楽しさが見えてくると思う。

タグ:

posted at 16:53:30

にしなんとか @chebunanntoka

22年12月10日

ニコリ本誌に既存のパズルのおもしろインスト方法を考えようシリーズみたいなのが載ってて、これは(同値なパズルの)見せ方を工夫するよい企画だと思う

タグ:

posted at 16:52:34

SP1 @SP1_winter

22年12月10日

@NAZOac なるほど。「数学的な論理体系と同値でない体系」ってなんですか?同値とは?

タグ:

posted at 16:51:01

にしなんとか @chebunanntoka

22年12月10日

これはある

タグ:

posted at 16:50:23

SP1 @SP1_winter

22年12月10日

@NAZOac 「それと同値でないがパズルに必要な部分については判定できるような(図形的な)体系」という表現が理解できてないです。もとのルールと論理的に同値でなかったら、それは違うパズルなのでは?

タグ:

posted at 16:49:02

わんど @wand_125

22年12月10日

グラフにおける制約のパラメータの組み合わせでペンシルパズルの制約を書き下せるのでは?
という統一理論を作っていて、
ループ、パス、黒マス配置、領域分割の代表的な制約が既に書き下せている twitter.com/wand_125/statu... pic.twitter.com/ZtaaInfCYm

タグ:

posted at 16:47:50

アイ @tigereye_werewe

22年12月10日

もっとも後者の主張はどういう状況でもやってもいいとは思いますが

タグ:

posted at 16:40:44

わんど @wand_125

22年12月10日

(これはPuzzler's Clubではそこまで主張されてないし、まとめてる人もみないけど)
一方でパズルの性質を考察する時には数学的性質の近さを見た方が良い、とも思う。どっちも必要

タグ:

posted at 16:36:34

わんど @wand_125

22年12月10日

今のジャンル分類は、見た目や、プレイヤーが何を書き込むのか、何を目指すのかで分けていて、
逆に見方を変えればどのパズルもどのジャンルにもできるのでは?ということが共通認識になりつつある。

タグ:

posted at 16:33:58

わんど @wand_125

22年12月10日

Puzzler's Clubでも、ペンシルパズルのジャンル議論の時に「〇〇と〇〇は見方を変えれば実質同じ」みたいな議論は頻出するけど、数学的に同じものを同じとみなす方法でルール分類をするのは筋が悪いという認識になってる

タグ:

posted at 16:33:57

アイ @tigereye_werewe

22年12月10日

少なくともその辺を一般的主張に繋げるような状況にないし、仮に起こった(例えばパズル研究の理解に多方面での最先端の数学知識が必須とか)として「そんな研究するな」ではなく「それをどう敷衍するかも研究しろ」の方向に行ったほうがよろしいんでは

タグ:

posted at 16:33:37

SP1 @SP1_winter

22年12月10日

@NAZOac 論理的正当性が必要でなくなると、パズルが正解か判定できなくなりますね。

タグ:

posted at 16:29:35

SP1 @SP1_winter

22年12月10日

一方でルールの厳密さ・手筋の正当性などは数学的な論理がベースで、それらを論じるときに論理的に不正確なことは許されないです。

タグ:

posted at 16:23:47

アイ @tigereye_werewe

22年12月10日

理解の難しさとかハードルの高さとかでいえば川へやわけも大概だし…(単純にそれらの比較は個人差がありすぎるという話)

タグ:

posted at 16:22:01

SP1 @SP1_winter

22年12月10日

どういうパズルが人間的に面白いかとかは(数学的な)論理とは別の部分だし

タグ:

posted at 16:18:57

わんど @wand_125

22年12月10日

結合手から派生した「橋をかけろ」という大先輩がいる twitter.com/nagomatsup_/st...

タグ:

posted at 16:17:42

SP1 @SP1_winter

22年12月10日

ペンパ研究には手筋研究以外の部分も含まれると思うので、そのうち論理を使わない部分では別に数学を使う必要はないですね。

タグ:

posted at 16:16:25

SP1 @SP1_winter

22年12月10日

@NAZOac なるほど。ルール理解の場面や解いている間の感覚的な認識としてはそれで大丈夫な気がします。

タグ:

posted at 16:12:20

わんど @wand_125

22年12月10日

@puzzlerfff 間違った定理を使って解いた場合理詰めなのか、みたいな議論を昔見たのを思い出しました。

タグ:

posted at 16:11:27

SP1 @SP1_winter

22年12月10日

それか、割り切って「グリッドグラフ上の独立集合であって補集合による誘導部分グラフが連結なもののうち、元の数が最大のもの」とか使えばいいかも。

タグ:

posted at 16:02:01

SP1 @SP1_winter

22年12月10日

数学的な用語で障壁があるのは確か。ただ変に平易にすることで逆に混乱を招くこともありそうだし、塩梅は難しい。

タグ:

posted at 15:59:16

fff @puzzlerfff

22年12月10日

具体例を上げると「16ヒント唯一解数独が存在しない」という事実を使って手が進むパズルがあったとして、解き手も作り手もその事実の証明を理解している必要はない、とかですかね

タグ:

posted at 15:56:25

わんど @wand_125

22年12月10日

ルールの分類、生物学の知見より言語学の知見の方が近そうかもとも思ってる。混ざり方とか。 twitter.com/puzzlerfff/sta...

タグ:

posted at 15:52:33

にしなんとか @chebunanntoka

22年12月10日

ペナルティ理論のあたりは数式を平易にしようとしてるしそれが下手という自覚がある

タグ:

posted at 15:51:22

にしなんとか @chebunanntoka

22年12月10日

感覚を持ち込むにしろ数学(の広範なバックグラウンド知識の一部)を持ち込むにしろ、持ち込むものをペンパ的に意味を明確に再定義しようとして記事を書いています。関所のような感じ。そういう意味では生で数学を持ち込むのを避けてると言えなくもない

タグ:

posted at 15:49:36

fff @puzzlerfff

22年12月10日

なんなら数学に限らず任意の分野の知識をパズル研究に入れるの面白くなりうると思うけどな
言語学的知見からパズルルール文を分析してみました、とか、社会学的知見から各地域で人気のあるパズル種の広がり方を研究しました、とか

タグ:

posted at 15:49:28

SP1 @SP1_winter

22年12月10日

@NAZOac 「言葉の定義を図示する」のも、どうやるのか気になります。ルールの理解を図形的に行うということですか?たとえばへやわけのルールを他の人に伝える場合だとどうします?

タグ:

posted at 15:48:26

にしなんとか @chebunanntoka

22年12月10日

謎垢さんは任意の数学用語の意味を自明だと思っていると思っていたぜ

タグ:

posted at 15:45:15

わんど @wand_125

22年12月10日

「パズル(というかゲームメカニクス全般)って数学を使った遊びの一種でしょ」
派閥だったので
「パズルで数学しないで」が「数学で数学しないで」に見えてる
(指してる範囲が違うのはわかるけど具体的にどの範囲を数学と呼んでるのかはわかってない)

タグ:

posted at 15:42:50

fff @puzzlerfff

22年12月10日

「数学」って言葉に「論理的厳密さのある記述」という意味合いと「グラフ理論をはじめとする高度な定理」という意味合いが含まれてそう

タグ:

posted at 15:40:10

fff @puzzlerfff

22年12月10日

数学がわからないなら研究するなという主張ではないし、数学的に厳密でない研究に価値がないという主張でもないし、パズル研究をする人が全員数学を熟知すべきという主張でもない
(論理的な記述に慣れていたほうが読みやすい文が書けるというのはあるが、それはまた別問題)

タグ:

posted at 15:36:31

SP1 @SP1_winter

22年12月10日

へやわけの川理論を追うときに、感覚的なものを混ぜているケースが多すぎて困った覚えがある。

タグ:

posted at 15:34:22

SP1 @SP1_winter

22年12月10日

ペンパの手筋研究だと、論理的な正当性がないと他に使う人が困る。自分で解くときに感覚的な理解が使えることは否定しないが。

タグ:

posted at 15:33:03

わんど @wand_125

22年12月10日

数学で思い出したけど、学部でグラフ理論を習わないことにがっかりしたし、パズルに特化したカリキュラムを持つ大学が必要かもしれない(入学した大学が悪かったんかな) twitter.com/wand_125/statu...

タグ:

posted at 15:31:51

SP1 @SP1_winter

22年12月10日

論理的な説明をする道具として数学は必要

タグ:

posted at 15:22:15

広瀬_あつみ (FANBOX始めてみまし @hirose_atsumi

22年12月10日

囲碁サッカーみたいな?

タグ:

posted at 15:19:44

fff @puzzlerfff

22年12月10日

一方、パズル研究の帰結として得られる手筋を利用するときに数学の知識が不要な形に言い換えられている、とかは手筋の汎用性を高める上で大事な視点かもしれない
(プログラムのライブラリを利用するときにその実装を知らなくても使える、というイメージ)

タグ:

posted at 15:15:10

fff @puzzlerfff

22年12月10日

ペンシルパズルはかなり数学に近いところにある(数学に詳しくないけど、一分野ということもできると思う)のでペンシルパズル研究に数学は持ち込んでほしい

タグ:

posted at 15:12:12

にしなんとか @chebunanntoka

22年12月10日

斜め連結の例をモチコロに変えとこう

タグ:

posted at 14:57:17

SP1 @SP1_winter

22年12月10日

ペンシルパズル研究に数学を持ち込むのはやめません

タグ:

posted at 14:57:11

わんど @wand_125

22年12月10日

Roland Voigt氏によるThe Taxonomy of Puzzles (パズル分類学)
hausigel.de/blog/2020/02/0...
生物学的な分類学の手法でパズルを分類しようという話。似たようなパズル種が多いところはさらに細分化が進んでいく、コンテストに出すパズル種の選定などにも使えるなど。
自分の使ってる「道具」ともかなり近い

タグ:

posted at 14:52:38

わんど @wand_125

22年12月10日

道具の整備で浮かぶのが @lilva_0419 さんの去年のnote
これは「ペンシルパズルのモデル化」とかでまとめておきたい気もする

理詰めをやめたい|lilva|note note.com/lilva/n/n504fb...

タグ:

posted at 14:45:17

わんど @wand_125

22年12月10日

これを見てパズルの分類を整備していくべきだと思ったけど、
分類手法にも名前が要りそうだなとなっている twitter.com/wand_125/statu...

タグ:

posted at 14:40:27

わんど @wand_125

22年12月10日

パズル種横断的な考察
scrapbox.io/puzzle-pedia/%...

先日の裏アドベントで少し触れた、パズル研究の土台となる概念のまとめにパズル百科を使っていく流れに向かっていきなり動き出してる感じがしますね
ありがたい。

タグ:

posted at 14:32:24

わんど @wand_125

22年12月10日

隠れ手筋の大幅加筆
scrapbox.io/puzzle-pedia/%...

タグ:

posted at 14:32:24

わんど @wand_125

22年12月10日

Dynastyの代表的な理論、ペナルティ理論について
scrapbox.io/puzzle-pedia/%...

タグ:

posted at 14:32:23

わんど @wand_125

22年12月10日

日本で黒マスルールと呼ばれていた
黒隣接禁+白分断禁はDynastyと呼ばれていて

Dynastyの記事をにしなんとかさんに書いてもらったので三連禁記事でも黒マスルール→Dynastyに置き換えました。
scrapbox.io/puzzle-pedia/D...

その他分断禁、隣接禁もそれぞれ記事に

タグ:

posted at 14:32:22

わんど @wand_125

22年12月10日

にしなんとかさんによるまとめがものすごく増えてる #パズル百科

タグ: パズル百科

posted at 14:32:22

初月葉桜(10887) @Xana_uzzle

22年12月10日

あと、タイミング逃していたからか、なかなか見かけないなーと思っていたナンプレファンをついに見かけたので買うことができた

タグ:

posted at 13:21:10

初月葉桜(10887) @Xana_uzzle

22年12月10日

ナンバーロープだけ投稿してたので残念ながら掲載はないです

タグ:

posted at 13:19:26

初月葉桜(10887) @Xana_uzzle

22年12月10日

名前がないことを確認してニコリを購入

タグ:

posted at 13:18:58

舞那 素遥 @mainasuyon

22年12月10日

ニコリ181号の「第2回ペンネームセンター総選挙」で圧倒的な支持をいただいてしまいましたね、ありがとうございます!(人気投票では特にない)みなさまからの期待をいただきながら、結果として貢献できず申し訳ありません!変わらぬご愛顧をどうぞよろしくお願いいたします!(なんについての?)

タグ:

posted at 13:15:50

白岡市民(295) @Whitehill9

22年12月10日

グランクラスのあまりの快適さにスヤァしてしまいインスト和訳がPart 1しか終わらなかった。Part2は宿でやる

タグ:

posted at 12:16:41

わんど @wand_125

22年12月10日

一昨年は目指せe-sportsだったのが
今年目指せW杯になってるの、だいぶ規模が大きくなっててよい
(RTA in Japanぽいところもありますね) twitter.com/Whitehill9/sta...

タグ:

posted at 10:48:20

ajitako @ajitako

22年12月10日

なんか美術館の説明があったので大昔の話を発掘 (あさおきたんは発明者です

タグ:

posted at 10:14:07

山本達也 @PuzzleYamamoto

22年12月10日

トケタ?10を入手!
まず最初に全体を眺める時間が最高に楽しい。 pic.twitter.com/AxUyAqQ0MS

タグ:

posted at 03:07:17

初月葉桜(10887) @Xana_uzzle

22年12月10日

シンプルループ10連ガチャを4分6秒703で完走しました! myamyasdvx.herokuapp.com/sudoku.html?p=... #ペンパガチャ #シンプルループ10連ガチャRTA
1回でもハタンすると足引っ張られる

タグ: シンプルループ10連ガチャRTA ペンパガチャ

posted at 01:19:59

めるるん @melvy_mag

22年12月10日

Wordle 539 4/6

⬜⬜⬜⬜⬜
⬜⬜🟩⬜⬜
⬜⬜🟩🟩🟩
🟩🟩🟩🟩🟩

タグ:

posted at 01:06:02

わんど @wand_125

22年12月10日

フレーミー、配置系パズルの可能な最小サイズの大きさランキングの上位に位置しそう
(上位は一表出カーブデータが占めてそう)

タグ:

posted at 00:27:20

白岡市民(295) @Whitehill9

22年12月10日

#ペンパアドベント2022 10日目の記事です。
10月に開いたWSPC2022応援会の開催データ、準備したこと、今後の展望を書きました。
みんなも応援会を開催してWSPCを応援しよう!
note.com/p_citizen/n/n7...

タグ: ペンパアドベント2022

posted at 00:01:33

semiexp @semiexp

22年12月10日

CSP 使ったら 40x40 くらいまで現実的な時間で解けた

タグ:

posted at 00:00:29

@ek_bmホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

1日1ひきたし 都バスのアレ 都バスのオリ 都バスのイロ hikitashi EreMffs LMI 日本パズル選手権 ペンパガチャ shindanmaker

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

送信中

送信に失敗しました

タグを編集しました