黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2017年03月12日(日)







#数楽 haskellのあまりのワケワカメさに耐えられず本を買ったw >
amzn.to/2meO0uF
Haskellによる関数プログラミングの思考法 著者がbirdってなんだかアレ
タグ: 数楽
posted at 18:42:41


非公開
タグ:
posted at xx:xx:xx

マインクラフトがどういうゲームかを何も知らずにサバイバルモードでいきなり始めたらすぐに死んだ。すぐに死ぬゲームをずっと遊んで無かったのでかなり新鮮に感じた。クリエイティブモードにしてまったりぼーっと建築する方が好みかも。
タグ:
posted at 18:02:08

他にも「Minecraftの家庭内サーバーを立ててみんなで遊ぶ」というのを最も楽に実現する方法を教えてくれる人がいると助かる。うちでは5人を超えて遊ぶことは無さそうなのでLogMeIn Hamachiを使って実現している。
タグ:
posted at 18:00:29

今日はひっさびさにCDの内容をパソコンに取り込む作業をしていた。ExactAudioCopyを使ってwav+cueで取り込んで、cueファイルをxrecode IIに食わせてエンコードした。同等の作業を「普通の人でもやる気になれる方法」でやる方法があると助かる。
タグ:
posted at 17:58:11

#数楽 @sunchanuiguru なるほど!n^3になることのこんな自明な説明があったとは。中心つき六角数1を1×1×1の立方体だと思って、それをCHex_2でくるむと一辺2の立方体ができる!n^4-(n-1)^4が四次元立方体の皮ともみなせることになりますね。 pic.twitter.com/W0HCZWE3So
タグ: 数楽
posted at 16:51:15


@temmusu_n @genkuroki その中心つき六角数というのがnの3乗になるというのは、「立方体を斜めから見ると六角形に見える。」ということですね。 #数楽
タグ: 数楽
posted at 07:43:15


#数楽 続き。角谷の不動点定理の設定ではΓはコンパクトでp:Γ→Dは全射でpのファイバーはすべて可縮になる。ゆえにVietoris–Begleの定理より、pはホモロジー群の同型を誘導する。
en.m.wikipedia.org/wiki/Vietoris–Begle_mapping_theorem
タグ: 数楽
posted at 07:20:50

#数楽 角谷の不動点定理の設定でリンク先の仮定が成立していることを示せれば、角谷の不動点定理の純位相幾何的な証明が得られたことになります。射影p:Γ→DがΓとDおよび∂Γと∂Dのホモロジー群の同型を誘導することを示せば十分。続く
twitter.com/genkuroki/stat...
タグ: 数楽
posted at 07:13:01










