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

枝豆

@ek_bm

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

2019年11月24日(日)

竹谷 @buyaketa

19年11月24日

一晩寝かせて改めて見たけど、ゲスト枠に入れてもらって見に行きたいだけ(招致自体には一切関係なし)、を「世界大会日本招致を夢見て、ゲスト枠で行く」って書いちゃうの、装飾過多だと思いますよ

タグ:

posted at 23:59:05

semiexp @semiexp

19年11月24日

山登り法だとヒント数が少なくなりがち(多分強いヒント連打でゴリ押しがち)で,やっぱり強い制約には弱いらしく,簡単に黒マスが決まる問題を禁止するとまったく作れなくなる(焼きなまし法なら普通に作れる)

タグ:

posted at 23:52:51

semiexp @semiexp

19年11月24日

ヤジリンでも山登り法で問題生成は普通にできるっぽいことがわかったけど,かなり問題の傾向が違いそう

タグ:

posted at 23:49:07

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

deu @charmychachacha

19年11月24日

ABCで黄パフォ出せると本当にうれしい

タグ:

posted at 22:58:58

deu @charmychachacha

19年11月24日

zundamochi_1117さんのAtCoder Beginner Contest 146での成績:206位
パフォーマンス:2030相当
レーティング:1937→1947 (+10) :)
#AtCoder atcoder.jp/users/zundamoc...

タグ: AtCoder

posted at 22:58:16

deu @charmychachacha

19年11月24日

しかしDにグラフ来ると焦るな(実装方針が定まらなくて20分くらいかかった)

タグ:

posted at 22:52:54

SP1 @SP1_winter

19年11月24日

屈伸先でJCがQuizKnockにめっちゃハマってるのを見て、めっちゃ流行ってるというのを実感しました

タグ:

posted at 22:51:59

utime @utime1204

19年11月24日

ハバネロ、今回は公開ないっぽいので、学祭には来るのが確実。

タグ:

posted at 22:50:31

deu @charmychachacha

19年11月24日

Cでにぶたんするの頭いいな(昨日のEもにぶたんが思いつかなかったからにぶたんが苦手)

タグ:

posted at 22:49:14

deu @charmychachacha

19年11月24日

CとEが難しかった(Cで1ケースだけ落ちる原因がなかなかわからなかった)

タグ:

posted at 22:46:26

deu @charmychachacha

19年11月24日

C 桁数Dを決定したあと (X-B*D)/A だと次の桁数に行ってしまう可能性を見落として1WA
D dfsを書くのにまだ慣れない
E zero-sum rangesの強化版.各項から1を引いて累積和をKで割った余りで分類.K項以上になってはいけないので各余りについて尺取りorにぶたんで頑張る
F ゴールから貪欲に

タグ:

posted at 22:43:24

deu @charmychachacha

19年11月24日

全完した

タグ:

posted at 22:26:06

SP1 @SP1_winter

19年11月24日

おもちゃに夢中で飯忘れてた、いかんいかん

タグ:

posted at 22:21:31

SP1 @SP1_winter

19年11月24日

まあまずは作ってみるこったな。

タグ:

posted at 22:19:00

SP1 @SP1_winter

19年11月24日

むしろ形を記憶する必要のあるPentominnoesより、記憶しないで済むファイブセルズの方が楽かもしれない。分割系でも、分割する形が決まってればまだ書けそう。一方で天体ショーなどはしんどそう。

タグ:

posted at 22:17:12

SP1 @SP1_winter

19年11月24日

数字配置系はかなり簡単っぽい。数独とかしかり。ここから練習かな。話題のNon-Cons. Sudokuも、追加ルールが局所的なので問題なさそう。性能がどうかはしらんけど。

タグ:

posted at 22:14:44

SP1 @SP1_winter

19年11月24日

バトルシップの場合なら「ななめ禁」を追加すればかなり探索も早くなりそう。

タグ:

posted at 22:13:13

SP1 @SP1_winter

19年11月24日

バトルシップくらいならまだなんとかなると思う。長方形型で個数の管理もまだできそう(10/15個の艦をどこに置くか、で管理するのかな)。いずれにせよ配置系は、接触禁という局所ヒントと列にある個数はまだ書けそうなので、配置するものの管理さえできれば大丈夫そう。

タグ:

posted at 22:12:22

SP1 @SP1_winter

19年11月24日

ペントミノ配置系は結構気になるよね。PentopiaとかPentominoes(ペントミノ配置するやつ)とか。分割系のPentominousも配置と思えばどうか。問題はペントミノの「形」をどうやって認識させるか/管理させるかなんだけどなぁ。

タグ:

posted at 22:09:47

SP1 @SP1_winter

19年11月24日

一方で、配置系、とくに単一配置系(美術館とか)はかなり書きやすそう。スターバトルは領域の記述(問題から取り込むところ)さえできればやさしいか。複数配置(たとえばバトルシップやシンプルなペントミノプレース)は置く物体の管理がややだるい?とくにペントミノ系。

タグ:

posted at 22:06:50

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月24日

スリリンとか内外いいかえ使えるやんと思ったけど結局内部外部連結条件がありめんどさ変わらなさそう。性能は変わるかもだけど。

タグ:

posted at 22:02:17

SP1 @SP1_winter

19年11月24日

大域条件を言い換えるのが激ヤバで、たとえば単一ループとかマス連結がしんどいっぽいと。

タグ:

posted at 22:01:02

SP1 @SP1_winter

19年11月24日

なるほど四角に切れは分割系じゃなくて長方形の配置パズルとするのね。だからまだ普通に書けると。

タグ:

posted at 21:58:05

SP1 @SP1_winter

19年11月24日

見つける前に貼ってくれてた()

タグ:

posted at 21:53:19

SP1 @SP1_winter

19年11月24日

いやこれsugarスクリプトを勝手に生成してくれんの偉大すぎるわ

タグ:

posted at 21:48:06

SP1 @SP1_winter

19年11月24日

CurveData Converter見てる。たぶん図形ごとに曲がり角+端点を管理して、それにマス(に対応する数字)を当てはめるということをしてる。あとは端点同士同じ直線上に乗るか判定してるのかな?

タグ:

posted at 21:46:20

SP1 @SP1_winter

19年11月24日

ようやく旧石器時代から弥生時代くらいまで来れた気がする

タグ:

posted at 21:39:23

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

19年11月24日

今日は半袖で出かけてもよかったかも。

タグ:

posted at 21:37:56

SP1 @SP1_winter

19年11月24日

こんなかんじです pic.twitter.com/gRcickfaIw

タグ:

posted at 21:36:10

SP1 @SP1_winter

19年11月24日

スクショのっけようとしたら普通に本名が載ってて焦った やまあだいたいばれとるけど一応ね...

タグ:

posted at 21:33:39

SP1 @SP1_winter

19年11月24日

ひとまずわんどさんのCurveData Converterを用いて自分の作ったカーブデータが唯一解であることを確認した。すご。
wandsbox125.web.app/puzzle-tools/p...
puzsq.sakura.ne.jp/main/puzzle_pl...

タグ:

posted at 21:31:10

竹谷 @buyaketa

19年11月24日

池尻から駒場に歩いて行こうとしたものの、道を間違えて池ノ上~東大生産研コースに突入。行き止まりと見えてるのに行けない場所が多すぎて迷路だった

タグ:

posted at 21:09:39

SP1 @SP1_winter

19年11月24日

遊ぶぞー

タグ:

posted at 21:05:48

SP1 @SP1_winter

19年11月24日

多大なご援助のおかげでようやくSugarが使えるようになった

タグ:

posted at 21:05:37

初月葉桜(10887) @Xana_uzzle

19年11月24日

dualとは違うけどこんなのなら去年作った twitter.com/Xana_uzzle/sta...

タグ:

posted at 20:53:50

deu @charmychachacha

19年11月24日

眠いけどABC出ます(週末全然疲れが取れなかった)

タグ:

posted at 20:50:29

非公開

タグ:

posted at xx:xx:xx

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

19年11月24日

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

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

タグ: 日本パズル選手権

posted at 20:36:10

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

19年11月24日

【解答】

Q1の答えは「④アルファベット」。
下の枠は上の文で使われている文字の種類を表している。

タグ:

posted at 20:35:43

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

焼きもうふ @pronter

19年11月24日

@wand_125 ホームページ内に、管理人さんが各パズルについて語っているページがあって、その中の情報です。
以下、一部抜粋。
『2年以上かけて製作しました。
累計製作時間は、1000時間は越えていそうです。(^^;A)汗汗
でもご安心(?)下さい。
私の想像していた程、難しいものになりませんでした。』

タグ:

posted at 20:17:44

SP1 @SP1_winter

19年11月24日

主催者様に許可をいただいたので、明日21時から「青い厚揚げ杯」のヤジリンを解く配信をしたいと思います。きてねー twitter.com/aoiatuage/stat...

タグ:

posted at 20:14: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

焼きもうふ @pronter

19年11月24日

自分もガコ2を作ってた(ガコには2種類のルールがあるので、区別のために『2』を付けています)。

タグ:

posted at 19:33:17

焼きもうふ @pronter

19年11月24日

ところで、さっきのシンプルガコ、三叉路リンクとしても解けます。
※三叉路リンク...ガコ2で名高い「パズルのおもちゃ箱」のパズルのひとつ。線を引いてすべての数字をつなげる。数字は線の端点になる。ほかに端点は存在しない。数字はそのマスから伸びる線が最初に分岐するまでの距離。

タグ:

posted at 19:30:34

utime @utime1204

19年11月24日

今日行けなくてすみません。結局⑤は解かれましたか?

タグ:

posted at 19:30:20

パズル党東京支部 @puzzletokyo

19年11月24日

駒場祭は終了しました。
お越し頂いた皆様、ありがとうございました。
駒場祭で配布した冊子を公開しております。先程リンクをツイートしましたブログをご確認ください。
解答につきましてはしばらくお待ちください。

タグ:

posted at 19:26:35

焼きもうふ @pronter

19年11月24日

シンプルガコ、ガコよりもむしろ、ナンバーチェーンというパズルに挙動が近い気がする。
※ナンバーチェーン...「My Shelf」というかつてあったパズルサイトのオリジナルパズル。すべてのマスを0以上の数字で埋める。数字は「タテヨコナナメに接するマスに、自身と同じ数字がいくつ入るか」を表す。

タグ:

posted at 19:22:52

非公開

タグ:

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

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

19年11月24日

家にいったん帰る余裕がなかったので、荷物が多いまま次の予定へ。

タグ:

posted at 17:43:07

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

19年11月24日

ピアノを弾いてました。

タグ:

posted at 17:40:25

パズル党東京支部 @puzzletokyo

19年11月24日

『駒場祭の問題冊子の公開』パズル党東京支部ブログ|puzzletokyo.seesaa.net/article/471718...

タグ:

posted at 17:05:02

パズル党東京支部 @puzzletokyo

19年11月24日

108合体数独が無事完成しました!

タグ:

posted at 16:17:02

にしなんとか @chebunanntoka

19年11月24日

運良く参加できて脱出も成功した!!一緒に行った面子のおかげです、ありがとう #パスティール

タグ: パスティール

posted at 16:09:24

白岡市民(295) @Whitehill9

19年11月24日

駒場祭離脱。うし串民の活動報告ですが、4牛串でした。五月祭では2桁を目指していきたいと思います。

タグ:

posted at 16:08:44

非公開

タグ:

posted at xx:xx:xx

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

19年11月24日

色紙!…も少し気になるけど、やっぱり漫画は絵と物語込みで好き、みたいなところがあるので単行本とかを買おう。

タグ:

posted at 15:25:18

パズル党東京支部 @puzzletokyo

19年11月24日

配布しておりました冊子の方が品切れとなりました。
お越し下さった方々、ありがとうございました。
なお、本冊子の問題のpdfは予定を早めて今日中に同好会サイトにアップロードすることにします。今回冊子を手に取れなかった方はそちらをよろしくお願いします。

タグ:

posted at 15:08:04

SP1 @SP1_winter

19年11月24日

もとはといえばbrew minisatができなかったところから来てるけど、どのみちgcc問題にぶち当たってた可能性はあるな

タグ:

posted at 15:00:57

SP1 @SP1_winter

19年11月24日

ぼくのincludeどこいったん...

タグ:

posted at 14:56:03

SP1 @SP1_winter

19年11月24日

Xcodeさんなんでgcc4.2.1なん。。。

タグ:

posted at 14:55:32

SP1 @SP1_winter

19年11月24日

・調べると/usr/includeがいない!
・なのでそれを入れようとする
・が、最新のXcodeの仕様ではそれを復元できないっぽい
・というわけでせっかく入れたgcc5がなんか使えません
・使えないとminisatコンパイルできないっぽいです
・え?詰んだ?
という感じです

タグ:

posted at 14:54:20

SP1 @SP1_winter

19年11月24日

やったことまとめ
・minisat導入したい
・ダウンロードしてコンパイルしようとしたら失敗。これはXcodeのgccのバージョン(4.2.1だった)が古いせいらしい
・なのでHomebrewを使ってgcc5.5.0をダウンロードし、これを使うようにした
・しかしこれもコンパイルエラー。理由はincludeされていないため

タグ:

posted at 14:51:53

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

19年11月24日

ページを部分的に切り抜いて、次のページと重ね合わせたりめくったりして遊べるパズルの本とかつくれないかなあ。

タグ:

posted at 14:45:21

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

19年11月24日

最近お気に入りの作家さんたち何名かに感想を伝えることができたのでよかった。

タグ:

posted at 14:42:09

非公開

タグ:

posted at xx:xx:xx

deu @charmychachacha

19年11月24日

解けそうな問題がなくなるまでやります #GigaCode2019

タグ: GigaCode2019

posted at 13:27:54

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

19年11月24日

スペース、す、ぬ、Kの列は絶対に見るぞ…と思ったところでなんとなく既視感。

タグ:

posted at 13:16:45

SP1 @SP1_winter

19年11月24日

手取り足取り

タグ:

posted at 12:43:54

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

19年11月24日

遅くなったけどおでかけ。上着なしでも良かったかも。

タグ:

posted at 12:18:52

SP1 @SP1_winter

19年11月24日

gccは5.5.0を使うようになったっぽい

タグ:

posted at 12:10:07

SP1 @SP1_winter

19年11月24日

なんかいい感じになってきたか?(なってない)

タグ:

posted at 12:04:15

パズル党東京支部 @puzzletokyo

19年11月24日

おかげさまで多くのお客様にお越しいただき、配布しております冊子の方が品薄になってまいりました。
冊子を確実に受け取りたいかたはお早めにお越しください!

タグ:

posted at 12:02:43

SP1 @SP1_winter

19年11月24日

「加えて、Apple 用に /utils/System.cc を次のように変更します。」🤔🤔🤔😖😭

タグ:

posted at 12:01:34

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月24日

シェルとは?

タグ:

posted at 11:58:34

SP1 @SP1_winter

19年11月24日

現在おそらくgcc5系がインストールされていないのが原因でminisatのコンパイルができていないですね。というわけでbrew install gcc@5(おそらくこれでいいはず)で何かを拾ってきたもののどう設定すればいいか分からず困ってるなうです。

タグ:

posted at 11:54:06

SP1 @SP1_winter

19年11月24日

完全に「SATソルバー環境を作るパズル」になってる。お祈りなう。

タグ:

posted at 11:39:19

白岡市民(295) @Whitehill9

19年11月24日

両手に牛串

タグ:

posted at 11:37:09

非公開

タグ:

posted at xx:xx:xx

白岡市民(295) @Whitehill9

19年11月24日

1牛串してから行きます

タグ:

posted at 11:32:00

にしなんとか @chebunanntoka

19年11月24日

駒場祭とパズいち被るの何

タグ:

posted at 11:27:26

にしなんとか @chebunanntoka

19年11月24日

駒場祭行くぞ

タグ:

posted at 11:27:04

わんど @wand_125

19年11月24日

@SP1_winter 送ったリンク2つとそこから辿れるリンクを組み合わせる必要があった気がします

タグ:

posted at 11:15:54

SP1 @SP1_winter

19年11月24日

しゃーないから頑張って取ってくるか...

タグ:

posted at 11:04:33

SP1 @SP1_winter

19年11月24日

No available formula with the name "minisat". は?

タグ:

posted at 11:03:26

SP1 @SP1_winter

19年11月24日

brewでminisatインストールできひんやん!キレそう

タグ:

posted at 10:59:43

初月葉桜(10887) @Xana_uzzle

19年11月24日

今移動中です

タグ:

posted at 10:13: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月24日

せっかくやしmacくんをいろいろカスタマイズせなあかんね

タグ:

posted at 08:39:50

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

19年11月24日

SATソルバーをどうやって高速にするかという方向性も面白そうではあるが、それは今はよくて、まずはパズルのルールを制約モデル化して遊びたいな。

タグ:

posted at 08:16:58

SP1 @SP1_winter

19年11月24日

ソルバーの導入はわんどさんに教わったやつを参考にしてみるか。

タグ:

posted at 08:11:27

SP1 @SP1_winter

19年11月24日

人間がやるべきことは、解きたいパズルの制約を正しく書き出すことで、できるならSATソルバーくんが解きやすい形でモデル化するのがよい、みたいな感じか。たしかにこれならできそう。

タグ:

posted at 08:09:26

SP1 @SP1_winter

19年11月24日

「パズルをSATソルバーで解く」のは「パズルの制約を書き出す→制約を論理式(CNF)に直す→SATソルバーくんに投げる→ソルバーくん強い!解ける!」という流れで、Sugarは制約を論理式に直す場所までやってくれて便利、という感じでいいのかな?

タグ:

posted at 08:07:51

非公開

タグ:

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

めるーめるん @melvy_puz

19年11月24日

coffee_beansさんのDISCO presents ディスカバリーチャンネル コードコンテスト2020 予選での成績:571位
パフォーマンス:1666相当
レーティング:1378→1411 (+33) :)
Highestを更新し、3 級になりました!
#AtCoder atcoder.jp/users/coffee_b...
おお,だいぶ伸びた

タグ: AtCoder

posted at 00:02:12

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました