はじめてのにき

_ ffrk

ナイトメア

• 零: ラッキーでトレイ覚醒ひいたので終了
• 15: アラネア絶とノクト奥義ひいたので、これイグニスバーもらってプロンプトチェインでいけないかな…とやってたら、白必殺無しでいけた。ノクト奥義に加えてエアステップ3回くらいうってた気がする

残りは1,2,7

風オーディン

初風チェインであるルーネスチェインひいたので、バッツ、ヴァン、ルーネス、ウララ、デュースと、特に工夫の無いパーティで適当に。属性チェインやっとそろった

雷オーディン

超必エッジがはまるということで、確かにうまいこといくなと。ただ白2の方が良くない…？という気もする

プロンプトチェインでリディアと覚醒無しアーシェ。物魔噛んでないけど意外とダメージ通るのね

闇

どうしよう。頑張れば倒せそうな気がするけど、即時異常バリアなしで頑張るのはとてもめんどくさそう

タイタン

どうしよう。クラウド絶1,2、ルーネスチェーンバーフロ、ジタン絶1バー、イグニスバー、エアリス絶2、くらいでいけそうな気もする。エアリス絶2だけレンズで、プロシェル枠が無いけどシェルだけ絶1とかでなんとかならんか

(13:30)

_ 高次元科学

https://japan.cnet.com/blog/maruyama/2019/05/01/entry_30022958/

前に飲み会でおっしゃっていたのはこういう話だったのか。なるほど、面白いなあ

僕は

https://rmaruy.hatenablog.com/entry/2019/05/01/164325

の反論に共感する立場だと思う。深層学習万能はとても疑わしい、だとしても理解はしてもいいんじゃないの、の両方に。

思ってることを追加すると

• データが大量にそろってる前提でなければ機能しない、とのことだけど、データが大量にそろっていてもさえ、古き良き prolog 世界観的な、演繹的な機構は現在の深層学習ではできないんじゃないかなぁ、と思っている。 attention とかはだいぶいい方向に行ってるとは思うのだけど。まあ https://en.wikipedia.org/wiki/AI-complete などにも書いてある話だと思う
• 計算量で知性を測るのはいかがなものか。たぶん、動的に計算回路の利用効率を上げるというような面で、上と関連する面もあるのかもしれない。
• 理解を目的としない科学を追求するのであれば、実用を目的とすることになるのだと思う。機序がわかってないけど有用そうであることが十分に検証された薬とか、おおいに結構だと思う。が、想像力が足りないのかもしれないけど、一切理解が届かない範囲まで行ってしまうと、可能な操作の提供、目的関数や検証方法ですら人類が提供できない領域に割とすぐに達してしまうんじゃないかって気がする。そこは人類の知性に縛られていても良いということなのだろうか
• 一方で、低次元を前提とする理解、人類の知性から離れた方向に科学を進める、というのは、それはそれでアリというか、まあ確かにやっていった方が良いことのように思うので、そこは同意

オッカムの剃刀信者として、単に感情的に反発してる面があるかもしれないけど…

(16:26)

_ お年より diversity

https://onezero.medium.com/ctrl-alt-delete-the-planned-obsolescence-of-old-coders-9c5f440ee68

良い。この文章、引用とかがいちいち良い感じで

“I knew I could rely on myself to do a job, but I couldn’t figure out how to rely on other people.”

とかいいな

処世術としては、若者に勝てないと思ったらそこで勝負しない、てのはしょうがないものちしてある気がする。具体的には、若い時でも勝てなかった topcoder では、今ではもっと勝てない

(17:28)

_ DEF CON Qual

ひさびさにそれなりにマジメに参加した。なんか好きな感じの、面白い問題が多かった気がしていて、問題としての完成度は微妙なところもあったけど、なんだか楽しめた。ただ自分の挙動自体はちょっとひどかったなあ…

redacted-puzzle 。見えない gif アニメ。適当に見える gif にして、くるくる回ってるので逆回転させて回転を止めると、まあなんか 8bit ずつエンコードされてますなと頑張って目でデコード。でも文字集合は 32 種類と言われてるんだが？とあれこれ考えてて5文字ごとに分解せよ、とのぽてち先生の遺言に従ったら解けた

https://twitter.com/potetisensei/status/1127730029813612544

なんというかこういうの他でもやったことあったし思いついて当然な気がするけど、まあぽてち神のおかげで時間がムダにならなかった。

know_your_mem 。 64bit 空間からフラグがマップされてるページを探すやつ。 MAP_FIXED_NOREPLACE 使って分割統治して探していくやつ書いて、 MAP_FIXED_NOREPLACE はサーバ環境にはないよ、と教えてもらう。うーん hugepage とか…など考えつつ、でもこれ僕 linux の mmap の再現実装するのに関わってたことあるはずで、なんかこれやれる方法知ってたはずだよなあ…と、色々 man を見てた。まあそのうち普通に MAP_FIXED 無しで呼んでヒントと違うのが返ってきたらそこは占有されてる、ていう簡単な解法の気付く。あとそうそう、 linux-syscall-support 良いよね。これも仕事で使ったことがあった

shellretql 。ガチ seccomp で read/write/exit しか無く、つながりっぱになってる fd=4 の MySQL へのアクセスでなんかしろって話。適当に SQL を送れる shellcode を書いて共有。色々遊びつつ、なんでかしらないけどバイナリデータを less で読んだりしてて、完全に眠かったのかゴミ化していた。問題が意味不明なので、ゴミ化状態で適当に意味不明な案を出したりしてた。結局、最後の方で問題が極端に簡単にされてチームの人が解いたようだった。ダミーデータがムダに凝っていたり、想定解の回答者無しというクソ問

hotel_california 。 TSX の HLE 問。 TSX は遊んだことがあったので、なんとなく覚えてることは共有したり。最初のコードが何をやっているかを理解して共有したので、問題の初期段階の理解には貢献した……と思いたい。そこからはなんかホントクソで、意味わからん勘違いばかりしていた。まあでも再現できる環境がなさすぎて、マシン貸し出したりもした。ぽてち先生が有効な方針を編み出し、 bata 先生が実装しはじめたあたりで、手を引けば良かったなあ。自分でも bata さんより遅れて実装してる感じで、ローカル実機や SDE で動いたなーというあたりで bata さんが解いてくださった。まあでもこの問題面白いと思ったんだよね。

shitorrent 。取り組めそうな問題もうないかなあ、と思っていたところで、 C++ コードくばられてるし、 select とかはまあ割と知ってるはず…という問題を見つけた。 FD_SET を 1024 を越えた数字に呼ぶとオーバーフローするってやつ。すぐ脆弱性見つかって方針は立って、 deadbeef に飛んだからまあ眠くてもじき終わるやろ、ということでやってた。1時間半ほどでローカルではshell取れたのだけど、リモートだとタイムアウト。近いサーバを使う、 ROP を短くする、待ち合わせをさぼる、などをして間に合うようにすると、間に合うようにはなったが、待ち合わせさぼるのがダメぽい。別の AWS インスタンスにうつる、 socat で試してバグってる気がする(勘違いだった)、など色々やっていて、ギリギリタイムアウト、みたいなところでコンテスト自体もタイムアウト。これ解けてたら決勝行けたくらい？ぽかったし申し訳なさすぎた。後になって、 AWS の情報では us-east-1 と書いてあるのに、 nslookup したら us-west-2 で、後者が正しいことに気付いたりして、まあひどかった

反省としては、集中して解くのはこう全然速度的に貢献できないので、もうちょい問題ふらふらしてアイデア出し、みたいなのの方が貢献できるかなあとか思った。最後のとか方針速く言えてれば誰かが実装してくれていたような。。

(17:51)

_ write一発

http://amaga38.hatenablog.com/entry/2019/05/13/225156#know_your_mem-%E3%83%95%E3%83%A9%E3%82%B0%E3%81%AE%E5%87%BA%E5%8A%9B

ちゃんと正攻法で解いたのに、ひどい…

(19:29)