いもす法というのがある: imoz.jp ようするに、多次元に累積和を拡張したもの。競技プログラミングで2次元いもす法がよく使われるらしい（筆者は競プロやらないのでよく知らない）。 そして先日Recursion Schemeについていくつか記事を書いた: blog.3qe.us b…

前回、ドドスコ問題を解いた。 blog.3qe.us 記事ではRecursion Scheme自体の話題や、各構成要素の子細には立ち入らなかったため、Recursion Schemeを理解するためには不十分だった。そこでこの記事では、再帰的な構造、FixとPattern Functorとの関係、Recurs…

さる8月1日、計算機科学の根幹を揺るがすドドスコ問題が出題され、エンジニアたちは震撼した（意味: 面白問題が出たので、なるべくヘンテコな解法を使って己の技巧を誇示するためにエンジニアたちは競ってコードを書きはじめた）。 【問題】配列{"ドド","ス…

www.youtube.com 無限に雨が流れ続けるだけの動画がYouTubeにある。どういうわけか、自分はこの雨音を聞いていると安心してくる。小学校で、雨の日には外に出て遊べないから、誰もが図書室にやってきて、少し湿った空気の中で、外の暗雲と我々の上に嵌め込ま…

今の日常がずっと続いていくだろうという期待のような感覚が存在すると思っていて、だいたいの人は普段はこのモードで暮らしている。そして時折事件とか珍しい事が起こると、非日常モードにシフトして、しばらくすると元の落ち着いた状態に戻る。日常系アニ…

昔父親が体調を悪くして近所の病院についていったことがあった。 病気のことは割愛するが、問題は診察室で一種の奇跡を見たことである。かかりつけの医者は内臓の解説をするために、製薬会社のノベルティ然としたボールペンをやおら取り出すと、「ここに肝臓…

直近のコマンドの最後の引数だけ取り出す よくやるのでこれは覚えている。直前に入力したコマンド列のうち、最後の引数だけが取り出されて置換される。 !:$ 直近のコマンドの最後の引数以外を取り出す ↑の反対のことを行う。サブコマンドのみを置換したい場…

Pythonの（といいつつCで速度を稼いでいる）Numpyという数値計算用のライブラリがあり、広く使われているのは誰もが知るところだと思う。実際には、WebエンジニアからはPandasといったフレームワークを被せて使うことが多い。 そんな中、NumpyのCommon Lisp…

動作確認した環境 zsh 5.9 (x86_64-pc-linux-gnu) GNU bash, version 4.4.23(1)-release (x86_64-suse-linux-gnu) 前置き シェル変数の展開でよく使う記法といったらだいたい${foo:-bar}(fooが空ならbarを代わりに使う)で、以下のように使うことが多い。 foo…

肯定するより否定するほうが簡単なので、自然と自分もそうなってしまいがちで、自分の選択にあまり肯定感がなくて、どうせ失敗するだろうと思っていたり、自分が買った物に対する自信が無くて、買ったもののげんなりしてしまう、みたいなことが起こる。 かつ…

最近、Web3がなにかと話題になっている。雑な本がネット焚書にあって、インプレスは本を回収する騒ぎになった。それについてはどうでもいいので言及しない。 特に金儲けみたいな意図は全く無くて、単に買うとどうなるか試してみたくて買ってみた。 bitFlyer…

百聞は一見に如かず: import pandas as pd df = pd.DataFrame( [["foo", "apple", 12], ["bar", "banana", 30], ["buzz", "apple,banana", 15], ["qux", "chocolate,banana", 51]], columns=['id','like', 'age'] ) df df こういうDataFrameがあったとする。…

プログラミングにおいてよくやるイディオムは、使っているうちに覚えていく。「覚えて習熟していくうちに無意識的にやれるようになっているもの」というカテゴリーがあると思う。こういうときはこういうデバッグ手法がある、みたいな基礎的な事柄は、毎回思…

最近話題のネコになるゲームStrayがSteamにも降ってきたので、やった。なるだけネタバレは無いように書いているつもりです。 ネコとしてマップを（といっても、ゲーム中でしばらくうろうろすることになるいくつかの拠点を除けば基本的に一本道になっている）…

「自分が何者であるか」、言い換えると自分をどう定義するかという問いには、古今東西の人間が直面してきた。特に現代人は他者を認識する機会が多いから、いつも比較してしまうだろうと思う。自分が何者であるかは死活問題になる。特に、ひねくれている自分…

2つ以上の正解があるみたいな状況でどっちかを取らされるみたいなのが苦手で、というのもどちらも選ばないという選択肢を忘れそうになってしまうからなのだけれど、日々沢山の情報を受け続けていると、「いやそれでも俺はこう思う」と自分の考えを持ち続ける…

こういうのを作りました。 ジョブに紐付いたPull Requestへのリンクが表示される 行ったこと: リンクを生成するジョブを1つ生やした 綺麗な表示はStep Summary機能 (後述) の力を借りている ジョブ実行画面からPull-Reqに戻りたい GitHub Actionsのジョブ実…

ここ最近、難しい話題や事件がたてつづけに起こって、滅入る。COVID-19の流行は終わる兆しを見せず、周期的に感染者数が増減している。みんなどこか疲れていて、マスクを外すことにあまり躊躇しなくなりつつある。世界的な話題としては、ロシアがウクライナ…

最近ちまちまEmacsでScalaを書けるようにしているのですが、そのメモ的な記事です。特に、補完の話に注目して書きます。 補完 じゃあどうすればいいの 相性の悪いプラグイン 参考elisp 01_company.el 02_lsp.el 03_scala.el 補完 補完を行うためには、まずは…

ネットには他人の意見というのが溢れていて、気を抜いていると突然コメント欄にすごいことが書かれてびっくりする、みたいな事がある。人間によってフィルタされていない生の言葉は文章としての品質も低い時があって、まず理解するためにエネルギーを吸い取…

主にパスタを盛るためのプレートを買った。直径は22cmで、食洗機に程良く収まる程度。 皿 実は、就職の際に実家にあったものを適当に拝借してきたプレートがあるのだけれど、特段自分の好みというわけでもなかった。 料理を食べない日は無いので少しでも自分…

同僚のコードをレビューしていると、たまたま複雑なロジックを使っている箇所を修正していて、付随するテストもけっこう複雑だった。APIレイヤのテストなので、JSONのスタブを書いてその通りに帰ってくることを確認する、みたいな作業を何度もやらなければな…

今日は、これまでに学習してきた Genericを拡張した LabelledGenericについて学習していく。これによって、型レベルでフィールド名や型名を扱う事ができるようになり、Shapeless が扱える処理の範囲がさらに広がる。 前回はこちら。 blog.3qe.us Literal typ…

眠れないとき、同時に眠りたくないという感情も発生しているらしいことに気付いた。眠ってしまうと何かを喪失してしまうので、眠ろうという気にならない、ような。 じゃあどうして眠りたくないのかというと、自分が全然前に進んでいないような気がするから。…

インターネットをしているとしばらくぼんやりした気分になってしまうことがある。それ自体はよくあることなのだが、自分の脳というか意識がどこに属しているのかが気になってきた。おそらく脳は自分がどこに属しているのかを知っていて、現実よりもより現実…

こういう話題: 今日 @yigarashi_9 と会話してて、「相互に依存し合ったタスクの集合からグワッとDAGを生成してトポロジカルソートして一つずつ解決していくみたいなパターンあるよね」みたいな話をしたけど、なんか名前あったっけみたいなモヤモヤが、ずっと…

開発していると、「テストが落ちるけど一時的にマージしたいからテストを通したい」ということがたまにある。そういうときにScalaTestではどうするのかについて調べてみた。 テストスイートごとignoreする 個々のテストをignoreする AnyFlatSpecを使っている…

tl;dr (f, g) mapN (_ compose _) しましょう f -> g mapN (_ <<< _)って書くとちょっとかっこいい つづき 最近ずっとCatsの記事を書いているな…… 先日、(->) r がApplicativeになるという話をした。 blog.3qe.us んで、この(->) rが2つあるときに、これらを…

MathJax = { tex: {inlineMath: [['$', '$'], ['\\(', '\\)']]} }; ScalaにはMapというデータ構造があり、辞書を表現している。 val m = Map("windy" -> "melt", "fizz" -> "buzz") m("windy") // => "melt" そして、Mapにはmapメソッドが生えていて、KeyとV…

kazuhi-ra.hatenablog.com こういう記事を見たので、普段開発にLinux (OpenSuSE Leap) を使っている自分も同様のことをしておこうかなと思ったのでシェアします。自分もキーリピート上げておきたいなと思ったのが直接のきっかけです。 マウスポインタを最大…