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

枝豆

@ek_bm

  • いいね数 318,604/239,302
  • フォロー 428 フォロワー 553 ツイート 5,744
  • 現在地
並び順 : 新→古 | 古→新

2019年11月25日(月)

非公開

タグ:

posted at xx:xx:xx

にしなんとか @chebunanntoka

19年11月25日

HPL#2 不参加です…すみません

タグ:

posted at 23:55:24

にしなんとか @chebunanntoka

19年11月25日

えっ12/8仕事やんけ。すみません…

タグ:

posted at 23:55:02

semiexp @semiexp

19年11月25日

(あと,このサイトは,競プロに出会うよりも前に DFS や BFS などの探索アルゴリズムの基礎を知るきっかけになったサイトとして印象深い)

タグ:

posted at 23:45:42

非公開

タグ:

posted at xx:xx:xx

semiexp @semiexp

19年11月25日

ペンシルパズルではないけど「コンピュータ&パズル (www.ic-net.or.jp/home/takaken/i...)」は面白いパズルゲームが多いのでおすすめです

タグ:

posted at 23:39:38

焼きもうふ @pronter

19年11月25日

「パズルのおもちゃ箱」から「気になるお隣さん」を作ってみた。らくらく。
・盤面をいくつかの部屋に分割する
・どの部屋にも丸と四角がひとつずつ入る
・同じ部屋に入った丸と四角のコトバを続けて読むと、その部屋の性質を表す文章になる
opt-pan.github.io/pedit-v2/?m=so... pic.twitter.com/5Rz0etdYnu

タグ:

posted at 23:38:03

semiexp @semiexp

19年11月25日

「パズルのおもちゃ箱」懐かしいな

タグ:

posted at 23:30:12

SP1 @SP1_winter

19年11月25日

いやたぶんもっと前からあるんだろうけど、文献がたどれないため分からん...

タグ:

posted at 23:27:32

SP1 @SP1_winter

19年11月25日

そうだった(JZC枝豆ラウンドか)

タグ:

posted at 23:26:15

SP1 @SP1_winter

19年11月25日

AがB個みたいなやつだっけ

タグ:

posted at 23:24:56

SP1 @SP1_winter

19年11月25日

そもそもガコのルール知らん...

タグ:

posted at 23:24:30

焼きもうふ @pronter

19年11月25日

シンプルガコもいいけど、ガコが増えてほしい...

タグ:

posted at 23:23:14

SP1 @SP1_winter

19年11月25日

今日投稿したシンプルガコだけど、理詰めが何にもわからないから教えてほしい

タグ:

posted at 23:22:20

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月25日

来ていただいた方ありがとうございます。途中途切れてすんませんでした。この配信を参考に、みんなも参加してみてね~

タグ:

posted at 22:57:45

白岡市民(295) @Whitehill9

19年11月25日

Palindrome良問すぎ泣いた

タグ:

posted at 22:52:54

白岡市民(295) @Whitehill9

19年11月25日

白岡4(し)3(みん)です

タグ:

posted at 22:52:13

deu @charmychachacha

19年11月25日

うちの人がswitchで遊んでいるようだ

タグ:

posted at 21:49:50

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

19年11月25日

ペンケース、だいぶ昔から買い替えていないので、使い始めてもう25年とかになるのでは…。

タグ:

posted at 21:49:08

SP1 @SP1_winter

19年11月25日

青い厚揚げ杯解く 続き www.youtube.com/watch?v=tdfw0b... @YouTubeさんから 途切れたようです、すいません><

タグ:

posted at 21:47:04

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月25日

青い厚揚げ杯解く www.youtube.com/watch?v=_1Y0y7... @YouTubeさんから

タグ:

posted at 21:02:25

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月25日

ちょっとまってね

タグ:

posted at 21:01:07

日本パズル連盟 WPC体験会8/26開催 @jppuzzles

19年11月25日

#日本パズル選手権 2019 懇親会パズル Q3】

今回の問題の制限時間は30秒です。解答は明日発表予定。 pic.twitter.com/WLTttS94zf

タグ: 日本パズル選手権

posted at 20:59:19

日本パズル連盟 WPC体験会8/26開催 @jppuzzles

19年11月25日

【解答】

Q2の答えは「①4画」。
□に入る漢字は「友」。

タグ:

posted at 20:58:20

非公開

タグ:

posted at xx:xx:xx

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

19年11月25日

スマホを装飾する気にはならないのだけど、ペンケースには飾りが増えていくのは、自分の中での重要度の差なのかな。

タグ:

posted at 20:15:48

今井洋輔(パズル屋たまにジャグラー) @puzzle_101

19年11月25日

(PUZZLE)
うちにあったWPC関連書籍。
関係各所の主要はあるだろうか。 pic.twitter.com/C2h43OxwMS

タグ:

posted at 19:46:27

初月葉桜(10887) @Xana_uzzle

19年11月25日

ニコリの〆切が近いので作り足してる

タグ:

posted at 19:40:23

SP1 @SP1_winter

19年11月25日

あ、21時から配信です。めっちゃ眠いけど...

タグ:

posted at 19:36:50

SP1 @SP1_winter

19年11月25日

文法真面目に読むか...

タグ:

posted at 19:35:57

SP1 @SP1_winter

19年11月25日

試行錯誤性の高い数字埋めパズルは割とソルバーの守備範囲かもしれない。と思ってDoppelBlockでも書きたいなと思ったけど、黒マスの処理がわりとだるいな。準alldifferentと「はさむ和」をどう書けばかんたんなんだろう。

タグ:

posted at 19:34:21

稲葉直貴(パズル作家) @puzlab

19年11月25日

こだまとひかりって普通はどっちが混んでるものなんでしょうか。

タグ:

posted at 18:59:55

稲葉直貴(パズル作家) @puzlab

19年11月25日

@puzzletiger 品川から乗ったんですが、あるのぞみが満席なら次に来るのぞみもやはり満席だろうと推測しました。ちなみに、次に来たこだまも席はほとんど埋まっているくらいの込み具合でした。

タグ:

posted at 18:49:51

非公開

タグ:

posted at xx:xx:xx

稲葉直貴(パズル作家) @puzlab

19年11月25日

さっきの問題、どうするべきだったのか詳しい人教えてください。

タグ:

posted at 18:42:02

SP1 @SP1_winter

19年11月25日

ところで、昨日の魔法陣のソルバーに「ある数字はちょうど一回現れる」を追加してみたが、逆に性能が悪くなった。さすがに変数が多すぎたか。countを使ったのが悪いかもだけど、そういうこともあるのね。

タグ:

posted at 18:35:09

SP1 @SP1_winter

19年11月25日

シンプルガコは割とSATソルバー君の得意分野っぽいな。ルールもかんたんだし。countが便利。

タグ:

posted at 18:32:38

SP1 @SP1_winter

19年11月25日

シンプルガコを作った。ルールはリンク参照。理詰めが何もわからないけど、ソルバー君曰く唯一解らしい。
puzsq.sakura.ne.jp/main/puzzle_pl... pic.twitter.com/JSRBdiRlJW

タグ:

posted at 18:30:54

クィアウルフ(ダイナモでなぐるマン) @xevs99

19年11月25日

はーいパズルの人たちはこれをいれるんだよー。でもナイトバグモードを触ったらダメだよ!

Andrea Sabbatini「Parks Landscapes - Logic Game」 apps.apple.com/jp/app/parks-l...

タグ:

posted at 18:11:16

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

19年11月25日

更正はする?される?

タグ:

posted at 17:53:13

稲葉直貴(パズル作家) @puzlab

19年11月25日

『東京からの帰りの新幹線ホームでの出来事』

座りたかったので、混んでいたのぞみをスルーし、次のこだまに乗ることに。しかし、その後にひかりが来る。座れるなら早い方が良い。だが、ひかりの座席が埋まっていた場合、何のために待ったかわからない。どうすれば良い、どうすれば…。

タグ:

posted at 17:14:35

めるるん @melvy_mag

19年11月25日

@charmychachacha どっちでもいいがそれは一つかな

タグ:

posted at 17:00:02

deu @charmychachacha

19年11月25日

@melvy_mag AtCoderとAcceptedかな?

タグ:

posted at 16:57:07

初月葉桜(10887) @Xana_uzzle

19年11月25日

┃          ┃
┃     回回   ┃
┃      回   ┃
┃      回   ┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃

#shindanmaker shindanmaker.com/902876

タグ: shindanmaker

posted at 15:37:16

Tad Komori @pawakun

19年11月25日

┃          ┃
┃          ┃
┃          ┃
┃    回回    ┃
┃口口口口口回口口口口┃
┃口口口口口回口口口口┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃

_人人人人人_
> DOUBLE <
 ̄Y^Y^Y…
#shindanmaker
shindanmaker.com/902876

タグ: shindanmaker

posted at 15:34:09

にしなんとか @chebunanntoka

19年11月25日

┃          ┃
┃          ┃
┃   回回     ┃
┃    回回    ┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃

#shindanmaker
shindanmaker.com/902876

タグ: shindanmaker

posted at 15:26:05

初月葉桜(10887) @Xana_uzzle

19年11月25日

このツイートのすぐ後に見つかりました()

タグ:

posted at 14:09:41

初月葉桜(10887) @Xana_uzzle

19年11月25日

筆箱持って帰ってきたと思ってたけど見つからないし学館に持ってかれた可能性がある(あまり可能性は高くないが)

タグ:

posted at 14:08:45

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

utime @utime1204

19年11月25日

そろそろ成宮由愛さんにパズル好き属性が付く。

タグ:

posted at 12:45:14

初月葉桜(10887) @Xana_uzzle

19年11月25日

残り25市もあるのか

タグ:

posted at 12:41:24

初月葉桜(10887) @Xana_uzzle

19年11月25日

昨日は出てこなかった香川県と宮崎県の3文字の市2つ目が出てきた

タグ:

posted at 12:41:01

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

utime @utime1204

19年11月25日

@puzzle_pencil 理解。ゆっくりで大丈夫です

タグ:

posted at 11:42:10

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

deu @charmychachacha

19年11月25日

@melvy_mag いぇい!

タグ:

posted at 09:41:32

めるるん @melvy_mag

19年11月25日

@charmychachacha おめでとうっすー

タグ:

posted at 08:33:12

初月葉桜(10887) @Xana_uzzle

19年11月25日

遅ればせながら初回10連 pic.twitter.com/7OUatWhuWL

タグ:

posted at 08:33:00

deu @charmychachacha

19年11月25日

Twitterに登録した日を覚えていますか?#MyTwitterAnniversary pic.twitter.com/68HVyFJkeb

タグ: MyTwitterAnniversary

posted at 08:29:21

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月25日

あと、とりあえず直近は個々の問題に対処するつもりだけど、なにかしらの入力(ぱずぷれとかでもよい)に対応してSugarスクリプトを生成する部分など、「側」の部分もできたらなお楽しそう。

タグ:

posted at 02:51:29

SP1 @SP1_winter

19年11月25日

なんかこう、もっとパソコンさんと仲良くなりたいですね

タグ:

posted at 02:44:38

SP1 @SP1_winter

19年11月25日

人力でできる場合「よしできるな!」ってなって労力を省みない悪い癖がある。いやまあ数オリは証明できれば勝ちだったんですよ(そういうことなんか?)

タグ:

posted at 02:40:14

わんど @wand_125

19年11月25日

けど、展開するとCSPになる拡張文法あってもいいよなあ......

タグ:

posted at 02:39:13

SP1 @SP1_winter

19年11月25日

@wand_125 なるほど、たしかに他の言語で出せばかんたんでしたね...

タグ:

posted at 02:39:10

わんど @wand_125

19年11月25日

@SP1_winter PythonやRubyなど好きな言語で制約を出力するスクリプトを書くと良さそう

タグ:

posted at 02:38:17

SP1 @SP1_winter

19年11月25日

ところでSugarにfor文が欲しい。いちいち書くんだるい。

タグ:

posted at 02:33:13

SP1 @SP1_winter

19年11月25日

これ、たとえば予約(hidden tripleとか)を使う問題について、何も仕込んでないとSATソルバー君は「わからん!よし!仮定だ!」ってなるけど、予約の式を仕込んでおくと「おーわかるわかるこれね!」ってなってスピード向上する感じなんかなぁ

タグ:

posted at 02:31:49

SP1 @SP1_winter

19年11月25日

数独をSATソルバーで解くときも、「hidden系」の手筋を仕込んでおくことで性能向上するらしい。つまり「数は1から9まで+1列9個の数字がすべて異なる」だけじゃなく、そこから演繹される「どの数字も1列のどこかに現れる」を入れておくとよい。

タグ:

posted at 02:29:38

SP1 @SP1_winter

19年11月25日

後で見るとき用に証明を残しておく。中央に接する4マスの和をS, 中央マスをC, 四隅の和をXとすると、魔法陣の制約よりS+65=X*2+Cが成り立ちます。X=25だと不等式評価によりS=10, C=25と確定しますが、このときS+X=35となり、異なる8数の和の最小36を下回って矛盾します。

タグ:

posted at 02:24:36

SP1 @SP1_winter

19年11月25日

これだいぶおもろいな。いいおもちゃを見つけてしまった。

タグ:

posted at 02:20:40

SP1 @SP1_winter

19年11月25日

ソルバーの性質的に「分かりやすい箇所はすぐ決める」「分からんかったらすぐ仮定(バックトラック?)」をしてるらしくて、人間にはわかるけどソルバーくんにはつらそうな評価式を仕込むことで性能爆上げすることは今後もありそう(てかそういうのを探すあそびでもあるか)

タグ:

posted at 02:20:08

SP1 @SP1_winter

19年11月25日

さっきの魔法陣探索だけど、大事だった評価式を入れたら矛盾ケースでも高速に動いてくれた。こういうガイドが必要なのね。

タグ:

posted at 02:16:01

SP1 @SP1_winter

19年11月25日

ポーランド記法慣れねぇ

タグ:

posted at 02:14:41

SP1 @SP1_winter

19年11月25日

四隅の和が25の場合も、例の中央隣接4マスの和が10, 中央が25であることを追加したらすぐ矛盾を返してくれた。ここまではSATソルバー君にガイドしてやる必要がありそう。

タグ:

posted at 01:57:36

SP1 @SP1_winter

19年11月25日

ちなみに四隅の和が26の場合中央は評価として25,24,23の3択なんだけど、どの場合も解があるらしい。このへんはSATソルバー君優秀。

タグ:

posted at 01:55:31

SP1 @SP1_winter

19年11月25日

WindowsだとCtrlの位置にMacではOptionがあるので、Macでアホほどβを出してしまう。セーブしてるつもりなんだがなぁ。

タグ:

posted at 01:51:48

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月25日

絶妙な数値設定で笑う

タグ:

posted at 01:47:38

SP1 @SP1_winter

19年11月25日

というわけで、これが四隅の和が最小となるケースです。いい問題だった... twitter.com/SP1_winter/sta...

タグ:

posted at 01:47:17

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月25日

SATソルバーに勝つ人類(まだ回してる)

タグ:

posted at 01:45:22

SP1 @SP1_winter

19年11月25日

@ark184 たしかに。計算したら(例の4マス)-中央+65=四隅*2で、四隅が25なのは評価一致ケースなんですね。そしてこの場合、四隅+(例の4マス)=35<36となり、矛盾した!!

タグ:

posted at 01:44:51

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月25日

四隅の和が26となる魔法陣の例。もしかしてR24C3とR3C24に制約かかったりする? pic.twitter.com/wx9iEIxmv3

タグ:

posted at 01:33:52

SP1 @SP1_winter

19年11月25日

四隅の和が27になる例はあるらしい。今26を投げているがこれは時間かかったけど存在すると返してくれた。それ以上は不明。

タグ:

posted at 01:29:01

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月25日

ただ愚直に書き下しただけなので、解空間が狭い(もしくはない)と時間かかるっぽい。たとえばさっきのサイズ5の魔法陣のソースを使って四隅の和の最小を出そうとしてるけど、四隅の和が25とかどう?ってSATソルバーくんに聞いてもなかなか返事してくれない。

タグ:

posted at 01:23:40

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月25日

習作として、サイズ5の魔法陣で中央が25となるものの一例をSATソルバーくんに作ってもらった。これ、いいな。 pic.twitter.com/szsrOdjHiL

タグ:

posted at 01:09:52

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

アイ @tigereye_werewe

19年11月25日

桂馬見えなさ過ぎてつらい
らくらくで10分溶けた

タグ:

posted at 00:42:38

SP1 @SP1_winter

19年11月25日

Sugarで数独解くソース見たけど、allDifferent有能すぎひんか???(いやまあそれだけのパズルといえばそうだけど)(性能改善のためにはもう少し遊べそう、hidden系手筋追加できひんかな)

タグ:

posted at 00:33:28

竹谷 @buyaketa

19年11月25日

パズルが直接仕事に役に立っているかというとあやしいけど、新しい技術を習得するときに、スリリンの早解き練習をした経験がベースになっているとよく思う。理論を解析して反復練習すべき要素を抽出する方法論や、中級と上級の間にある長くて高い壁の存在など

タグ:

posted at 00:11:24

SP1 @SP1_winter

19年11月25日

ごきげんななめでパスを色分けするの、見やすすぎてずるいまであるな

タグ:

posted at 00:00:50

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました