「正二十面体の頂点 12 個に 12 個の音をうまく配置すると、正二十面体が持ってる基本的な性質によって西洋の音階の様々な性質が説明できる」というツイートで話題になった arXiv 論文を雑に読んでみた。 数学、音楽クラスタのみなさま！うちの弟が「正二十…

導入 しばしば Twitter では「午前起床」というツイートが観測される。しかし、それらは午前ではなく午後にツイートされることも少なくない。 そこから「午前起床とは何時起床なのか」という疑問が生じるのは極めて自然なことであるが、これを実際に調査した…

Go で書いた API サーバーでなかなか不思議なバグに遭遇したのでメモ。 バグの発生状況をできるだけ簡単化して記述すると以下の通り。 func handleFoo(res http.ResponseWriter, req *http.Request) { var bytes []byte = fetchBytes() // ライブラリ使用 fo…

Bolt のチュートリアル には app.message() しか取り上げられていないが、app.message() だと app_mention イベントに反応させることができない。 Bot 宛のメンションにだけ反応させたいとか、スコープを app_mentions:read だけに絞りたいときに、わざわざ …