はじめてのにき

_ 親バカ日記

31,32ヶ月

そろそろ隔月で十分な気がしてきた。最近は力も強くなっていて、割と重い扉を開けたりとビックリさせられるが、しかしそれよりも言語能力の成長が著しい。かなり会話ができているし、子しか知らない事項について聞いて帰ってきた返答が、時によってはなるほどこういうことがあったのだろう、と確定できる。「(保育園の友達の)Yちゃんがえーんしたよ」とか「ママ、カバンあっち置いてたよ」みたいな明らかに正しい記憶を話している時はもちろん、発言が若干不明瞭だがこっちの推測とあわせるとたぶんこういう話だろう、とかなりやれる。こちらからも普通に本当に答えてくれたら嬉しい質問をする。「お茶どこか知ってる？」とか。割と普通に役に立つようになってきていて、つまり、会話をしている

いくつかかわいかったのを記録しておく

• 「パパだめね、だめよ、ばつ」: ダメはともかく、「ばつ」は家では使用されない単語なので、保育園の影響だと思う。なんというか、この2歳で完全に家に依存してる存在が、外との関係をもって、影響を受けている、ってことに嬉しさを覚える
• 「いっちゃんいそがしい」: 間違いなく保育園の先生が言ってたマネだろこれ
• 「パパあっちいって」: しょっちゅう言われている。相変わらず僕の扱いは悪い
• 「ぱえる」: 食べるがぱえるになるのは、あるあるらしい。不思議。ただこれは言わなくなった
• 「みえないしないで」: 買い物カゴに平たいものを横向けに置いたところ、縦にしろという意味でした表現。「底が見えないようにするな」という意図で、なるほど知ってる語彙をうまく使っているなぁと感心
• 「遠くにいけー、はまじもいけ」: 二人でしゃぼん玉で遊んでる最中。3%くらいの確率で僕を「はまじ」と呼ぶのだけど、これがかなり好き。機嫌が良いタイミングだったので、発言の真意自体はよくわからない

(23:14)

_ adam の epsilon

のいみ

http://zna.do/epsilon

(10:33)

_ MN-Core challenge によせて

https://mncore-challenge.preferred.jp/

言い出しっぺである以外はたいしたこともせず、なんだか非常にクォリティの高いコンテストが用意されて、とても嬉しい。いや言い出しっぺだっけ？ちょっと自信がなくなってきた。まぁ「やるってことは決めましょう！」は書いたぽい

コンテストに対して自分が意識的にしていた貢献としては、トップ陣は勝手に楽しむと思うので、その他の順位帯の人でも楽しめるものに、的な意見を多く出した、というのがある。うまくいっていると良いなぁと

始まったばかりだけど、反応もなかなか良いように思う。練習段階での参加人数や盛り上がりは、予想を大きく越える、とまではいかないものの、想像できる範囲で最高、くらいの感じに思える (2,3シグマくらいのイメージ)。とても嬉しい。トップ陣のヤバさというか、既に解かれてる問題数なんかは、想像した範囲を越えてるかなぁ

趣旨としては

https://shinh.skr.jp/m/?date=20240313#p01

の「人が欲しい」の一貫で、最近「仕事するのもいいけど、飲み会でもして人増やす方が有用では？？」みたいなことをよく考えていて、そういう話

他にも副産物がある(例えばドキュメントの品質が非常に良くなった)ものの、採用が主目的なので、それとの関連を少しだけ書いておきたい気分がある

今回のコンテストは特殊な HW でのゴルフ大会ということで、通常のゴルフでやるアルゴリズム考察に加えて、 MN-Core 特有の演算器やポートのパズルを楽しむ、という側面も強いと思う。ただなんかちょっとミスマッチが起きると不運があるかもと思って書きたいところなのだけど

• こういうのを楽しめる人たちは欲しい
• 実際こういうのを楽しめる人たちが働いてる

は真なのだけど

• 仕事で実際にこういうことに使う時間が多い
• こういうのを自動化できなくて困っている

ということは、実はあまり真ではない。あまり真ではない理由はおおむね二つあり

• 少なくとも DL だと、 python で書かれた MN-Core 向けのチューニングの特に無い計算手順に対して、適切なデータ配置や計算手順を作ることができれば、アセンブリレベルの細かい最適化が多少ヌルくても、十分に性能が出ていることが多い
• とはいえ行列積などの律速要因となる重要な部分はポートパズルなどを考慮する必要があるのだけど、それも今回の問題のような、レイテンシ重視なパズルではなく、何十回も同じ処理を繰り返す時に、1要素を処理するのに何サイクルかかるか、というスループット重視でパズルを解くことになる

という話がある。なんというか、 SRAM の種別を適切に選ぶ、みたいなミクロなところでは、それほど困っていないというか、もっと大きな問題があるというか

言いかえると、「コンテストをやってみて、ゴルフができそうだから入社しました！」は、そうでもないかもしれない。「コンテストをやってみて、手でこういうのやるのはなぁ、と思ったから応募やめよう」もそうでもないかもしれない、て感じのことが書きたかったのです。あと「楽しめたけど、成績がふるわなかったから入社してもついていけない」なんかも明確に偽ですね。このコンテストを楽しめる人であれば、成績と関係なく適正がある可能性が高いと思います。実際社内のゴルフ好きたちが楽しそうに準備をして、開催の運びとなったわけです。もちろんこのコンテストを楽しめないとダメというのも偽です。社内テストでも、チーム外の人が楽しんでいたり、チームの人がスルーしていたり、割といろいろです

まぁなんか、採用目的のイベントなのだけど、実際の職務か、それとも単なるパズルゲームかと2択で聞かれると、パズルであると考えてもらった方が良いと思います。実際、業務に近い要素を色々検討したのだけど、議論を経て、より単純にパズルとしての楽しさに寄せていった、みたいな経緯もあったりします。ただ、とはいえ、通常のコードゴルフよりは職務に近い、とも言える、そういうちょっと独特な距離感ですね

さて、僕が書きたかったことは垂れ流したので、ここからが本題です。このコンテストに便乗して、個人的に賞金を出します。ただ、以下の条件とします

• コンテスト終了後、現段階での PFN 社内ベストをかき集めて一人のプレイヤーとしてコンテストに参加させたと仮定してスコア計算した時に、一位を取れていれば50万円。こっちは投稿時間は無視で同着でも OK
• FizzBuzz 最短賞の人が、現段階での PFN 社内ベスト FizzBuzz より短ければ50万円。こっちは同着ではダメ

前者、ちょっとマジメに考えてるとコーナーケースが色々ありそうで文言ややこしくなったんですが、基本的には総合一位が PFN オールスターと互角以上だったら、本来の賞金に加えて50万円、て気持ちです。がたぶん可能性としてはコンテスト一位でない人が PFN ベストを入れると一位になる可能性もある気がする？のですよね

後者はシンプルですね。 https://x.com/shinh/status/1760252565051334786 の時から書いている通り、 FizzBuzz は絶対楽しいと確信していて、有給2日くらい取って取り組んだ結果やっぱり楽しかったので、思い入れが強いのです

ちなみに、 PFN オールスターと言いつつ、おおむね一名の激ヤバゴルファーと対決する感じとなっています。僕と勝負したことあるトップ層はよくご存知だと思いますが、僕はなにをやってもせいぜいかませ犬ポジションなんで、僕のコードはオールスターに一切入ってません。自分のコードが入るようでは内部競争不足ということで、今回の試みはやっていないと思います。合計100万て、まぁ軽々しく出したいお金ではないので、「ああ、このレベルまで楽しんでくれたら気持ちよく出せるなぁ」と思えるコードを書いてくれた同僚陣に感謝です。あともちろん、 https://x.com/shinh/status/1826854715579400650 にも書いた通り、いろいろと準備にコストがかかってるので、いろいろ感謝です。なんか前々から、個人的に賞金出すってやってみたかったけど、なかなか自分で問題用意するのも難しいよね、ってんで、ちょうど良かったというのもあったりします

つまりまぁ、かなり厳しいハードルだと思っていて、とはいえ世の中の人のすごさ、特に競争のすごさというのも知っているつもりで、それぞれ30%くらいの確率で支払う必要が出るんじゃない？くらいを想像しています。想像を大きく外して、10人くらいが条件を満たして完全に社外の争いになっていたら、笑ってやってください。いやホント、1ヶ月後が楽しみです！

いちおう、趣味で勝手にやってる話を疑う人もそんなにいない人もいないと思いますけど、現段階での社内最高スコアを固めたつもりの tgz を作って sha256 取っておきました

$ sha256sum sota240828.tgz
0063a806d91403c47ff4b15c6669b0d09d506f5152c6ea3a3ebb8affe1d33e5f  sota240828.tgz

(22:42)

_ おまけ

https://shinh.skr.jp/m/?date=20240828#p01 の続き

やっぱ FizzBuzz に思い入れが強いので、追加したくなりました

• 最初に FizzBuzz でパーを出した人
• 最初に FizzBuzz で僕のコードを越えた人
• 最初に FizzBuzz 以外のいずれかの問題で、社内のベストを倒した人

にそれぞれ1万円プレゼント、ということにします

僕の FizzBuzz は、それなりにがんばったやつですが、たいしたことはないです。 sha256 は 766eb642f373a519615f158e28744df658e70617f90c44640e5a79cff9690d67 です

(00:07)

(22:08更新)

_ Binary Hacks Rebooted に寄せて

https://www.oreilly.co.jp/books/9784814400850/

これまた「やりましょう！」と言ったこと以外にはあまり貢献していないのだけど、ぽけーと眺めていると、すごいクォリティの本ができていた

Binary Hacks の良かったところって、地味に実用的な内容も多いのだけど、それはそれとして、単純な探求精神、下の方までコントロールする全能感、意味があるかはともかく楽しいことをやる遊び心、そういうのがあったのかなぁ、と。今回、著者が完全に入れ変わってるし、僕が特になんか言ったわけでもないにも関わらず、そういうノリが通底してる感じに、とても嬉しくなってしまった。 Rebooted の「本書に寄せて」でも、たかばやしさんも同じようなことを感じたんだなぁ、とこれまた嬉しくなってしまった

そういう精神性については、 Binary Hacks の「本書に寄せて」 ( http://0xcc.net/binhacks/sample.pdf ) が本当に素晴らしいと思うので、もし買うか悩んでるかたがいるのであれば、これは Rebooted にもそのまま適用できると思うので、読んでみていただくと良いように思います。いやこれいつも言ってるんですが、この shiro さんの文章は、人生で読んだトップクラスに好きな文章レベルなんですよね……

精神の連続性を感じる一方で、クォリティは良い意味で継承されなかったと感じている。正直僕の文章はあまり読み返したくないレベルでアレだし、他の人達の文章はすばらしいけど、そうは言っても相互レビューや協力してくださった方々のレビューの量や質が、 Rebooted では本当に比較にならないレベルで行なわれていた。

モチベーションがないやつは書かない方が良いだろう、と、今回何も書かないつもりだったのですが、なんだかみんなが楽しそうで、ちょっとだけ書いてみたくなって、 1 hack だけ書かせてもらいました。だけど、やっぱり、ちゃんと文章を書くってすごく大変で、想像よりはるかに時間がかかったし、書き始めたことを後悔したりしていました。本当はもう一つ、 seccomp-bpf でトレーサを作る、ってネタを書きたい気持ちもあったのですが、それはまぁ今度どこかに書きたいなぁ、と思います

特に印象に残っている部分を箇条書きにしてみる

• やっぱりみんな好きな、 DWARF で遊ぶやつ
• ソフトウェアの本なのにケーブル作れって言ってくるファームウェア自作
• 異常な浮動小数深掘りっぷり
• コンテナ・セキュリティは単純に現代には必須な内容が網羅的に紹介されていた
• 仕事で関連があったのでなつかしくなった row hammer
• hikalium さんのたのしげな文体・内容

あたりかなぁ。いろいろ忘れてしまってそうだけど

あと、著者の方々、各分野の一線の人たちで、でも分野違いで Rebooted 以前は相互に知りあいでない組みあわせが多かった中、その人たちが知りあうきっかけになったのは、良かったことなのでは？と想像していたりします。これはまさに、僕が Binary Hacks 代表のたかばやしさんのおかげで起きたことで、色んな人と知りあい、知らなかったことを知るきっかけになって、大変感謝しています。なんで、なにかそういう似たような副産物が生えてたら良いなぁ、などと

さて本題。個人的に懸賞金を出します

実は、著者のわたなべさんの指導のもと、おおむね僕が手を動かして、 Binary Hacks Rebooted のどこかに秘密のメッセージを埋める、ということをしました。比較的素直なところにあるつもりですが、メッセージを取り出すのは、それなりに大変じゃないかな、という感じのものです。いや、テストプレイが不十分なので、思ったより簡単だった、ということはありそうな気もしていますが……

なんにせよ、最初にそのメッセージを発見して、 X でリプライとしてそのメッセージを送ってくださったかたに、10万円、ということにしようかと思います。間違ったメッセージのリプライがついた場合は、単に僕がリプライに気付いてないのと誤認されると申し訳ないので、なるはやで間違ってるよ、とリプライする、ということにします

(追記) 瞬殺されました:

https://x.com/shinh/status/1830092237809533351

(19:51)