merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング（書く）、アニメ（みる）、将棋（指す）、数学・漫画（ちょっとだけ好きだけど最近やってない）、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
2022年09月05日(月)
とあるファイナリストから冗談半分で95000点も組めないと言われたので少し補足w
「（あの局面のdelta相手にmomoken飽和先打ちにしては）あまり大きくない」印象でしたが、14連鎖相当は普通に大連鎖です。
ただ、最近の最上位クラスの飽和勝負だと11万点くらいないと心許ない感じ
＃ぷよぷよ最強リーグ
タグ： ぷよぷよ最強リーグ
posted at 17:27:27
問題自体より、これがどういう問題なのかを理解するほうが難易度高い問題でした。
後手(桂馬側)はあらかじめ駒をひとつだけ置けて、玉を取れるときだけ取れるけど他は動かせない。そのあと玉が好きなだけ動ける。玉を取れたら後手の勝ち、玉が桂馬を取って生き残れたら先手の勝ち。後手を勝たせよ。 twitter.com/propara/status...
タグ：
posted at 09:44:24
あの，「UNOで最後の1枚の時に宣言し忘れるのを防止するために，残り枚数に関わらず毎回UNOと宣言する」のって駄目だったんですか……？
正しい攻略法だと思ってました。
タグ：
posted at 02:43:05
2022年09月04日(日)
伝統的な数学の記法に近づけるかどうかは別として、証明はプログラムと同様メンテナンスが必要な資産(かつ負債)なので、保守性の一部としての可読性は求められるものだと思う (実際実現できているかは別として)
タグ：
posted at 23:37:04
数学の伝統的記法が多分に曖昧性を含んでいるというのは実際そうなのだけど, 数学的記述を CS 的な形式的文脈に組み込み直す手段についての研究はたくさんあるので, 数学と CS の埋められない価値観の違いみたいに雑に片づけないでそういった努力にもこの機会に目を通してみて欲しい
タグ：
posted at 20:29:32
@mntneko_ @fineman0805 要するに、数式も自然言語も、「読む相手は人間であり、過度に非常識的な解釈が可能であることのみを根拠として他人の書いた文を無価値だったり欠陥あるものだったりと見なしたりしてこない」という前提のもとの、人と人のあいだのコミュニケーション手段なわけです。
タグ：
posted at 11:57:32
@mntneko_ @fineman0805 一方で、コンピュータと向き合っている人というのは「人間みたいにいろいろ察してくれるわけでないコンピューターに、如何にして曖昧性なく指示を出すか」ということに興味があります。よって、問題を抱えている表記、つまり「字面通りに読んだらその意味にならないじゃん」という表記に対して敏感です
タグ：
posted at 11:29:08
非公開
タグ：
posted at xx:xx:xx
2022年09月03日(土)
非公開
タグ：
posted at xx:xx:xx
一回考えてたけどツイートせずに置いておいたことを、タイムラインの話題は同じだけどあんまり関係無いツイートを見て思い出してツイートするみたいなことが多くて、文章が読めない人みたいに思われていそう
タグ：
posted at 19:18:48
絵の具を手作りするときに発色を良くする技術や同じ色を何度も再現できる技術があったんだろうけど、絵の具が工場で作られるようになったとき「他の画家に絵の具の作成を依頼したのと同じじゃん」「すごいのは工場であってあなたではないよね」みたいな批判が起きたのかな？
タグ：
posted at 12:32:57
盤面あり（主催者には無断）で棋譜中継ライブしてる人達とか主催者に無許可で棋譜を自由に使ってる人が全く罰を受けてない現状を見てると、
棋譜使用料を支払って対局終了してから
限られた条件の下で棋譜利用してる自分って
もしかしてただのバカなのか…？って思えてくる。
タグ：
posted at 09:40:39
2022年09月02日(金)
いいところ40Hzクロック信号しか扱えない脳、音の周波数はどうしてるかというと機械的にFFTしてて周波数ごとのパラレル信号。
そこからさらに左右の音源方位探索のためのmsオーダーの位相比較は遅延器とタイミング一致判定使っててFPGAの実装手法と一緒じゃねえか...と思った。 pic.twitter.com/gPucSoGe2g
タグ：
posted at 07:53:49
2022年09月01日(木)
非公開
タグ：
posted at xx:xx:xx
あと、有名絵師から学習させた画像生成AIと特定のプロ棋士の棋譜から学習させた将棋AIとは同じ問題を孕んでいるだとか、将棋AIがその棋力でプロ棋士を追い抜いたがプロ棋士という職業はなくならなかったので絵師もなくならないだとか言う人がいて「そうだよね？」とか私に同意を求められましても…。😅
タグ：
posted at 16:42:49
