の呟きは 38
- (UPD ) #
hatena-oauth
https://gist.github.com/neetsdkasu/4a26ced27af45a71a9c9b7c41bc22b0e- (UPD ) #
ブクマ制御をやってみる
http://developer.hatena.ne.jp/ja/documents/bookmark/
vice versa とは・・・?
組んだことない実装は時間かかるね・・・
(omitted)
(omitted)
練習にと適当に探してみたけど
https://www.spoj.com/problems/GREED/
これ、トポソじゃダメなんか?
shower time
ん?メール届いてないが・・・
もしかして、いよいよオワコンか?CDCLソルバーとやらすごいのか・・・
矛盾からの節学習・・・しゅごい
CSPソルバーとは・・・?
- (UPD ) #
まったく何もわからぬ・・・俺の理解力の限界・・・
SATソルバーもCSPソルバーも性能比較の競技会があるらしい・・・しゅごい
ttps://www.jstage.jst.go.jp/article/jssst/27/4/27_4_4_183/_pdf制約プログラミング
まるで分からん・・・難しいすぎる・・・
https://ja.wikipedia.org/wiki/%E5%88%B6%E7%B4%84%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0Prologとやら
難しいすぎる・・・
https://ja.wikipedia.org/wiki/Prologホーン節・・・ほーん、まるで分からん・・・難しい・・
https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%BC%E3%83%B3%E7%AF%80論理プログラミング
まるでわからん・・・難しい
https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0
Sugarとやらが有名(?)らしいけど
https://cspsat.gitlab.io/sugar/
https://gitlab.com/cspsat/prog-sugar
スターが一つだけしかない・・・(おそらく利用者の多くはデベロッパーではないため・・・か?
SATソルバーは
minisatというのが有名らしいminisatはこれか・・・
https://github.com/niklasso/minisatなるほど
わからん・・・難しい
https://jvndb.jvn.jp/ja/contents/2020/JVNDB-2020-014185.html
マジかあ・・・https://jvndb.jvn.jp/ja/contents/2020/JVNDB-2020-014197.html
XSSかあ
投稿されたhtmlソースとかをエスケープなしに表示できちゃうやつだっけ?関係ないけど
CI関係とかって
サプライチェーンアタックに弱そう
[86-6] 中原くんの過保護な妹【86】 / ほっぺげ / まんがライフWIN http://mangalifewin.takeshobo.co.jp/rensai/nakahara/nakahara-086/23085/
高校生がこれは・・・中学生でもアレだぞhttps://dic.nicovideo.jp/a/%E8%A8%80%E3%81%A3%E3%81%A6%E3%81%84%E3%81%AA%E3%81%84%E5%8F%B0%E8%A9%9E
信長が秀吉を猿と呼ぶのは作り話・・・?